|
Year 2007
Support tools for the
QuOnto System
The thesis describes the development of an ontology editor (Protégé) extension
by plug-in, to provide that editor with the opportunity to invoke a specific
automatic reasoner (QuOnto) over the defined ontology, in order to make
inferences over it (logic deduction, consistency check, etc.).
Tools for the QuOnto System:
conversion between OWL and DL-LiteF with Protégé-OWL Plug-in
The authors have investigated the idea of using Protégé-OWL plug-in capabilities to
develop tools to help using and testing QuOnto, a query answering system based on DL-Lite;
in particular a tool has been developed for OWL to DL-LiteF conversion, thus allowing ontologies
created with (or imported in) Protégé being used as Knowledge Bases for the QuOnto System.
Logics and Semantic Web: theories and applications
The Semantic Web appears as a revolutionary project, promising outstanding advantages for the
modern society, especially for the "high technology" field. Although Semantic Web has been discussed for years,
it's still far from being a standard and, conversely, it's largely unknown by the majority of people.
A possible reason for this little growth of such a promising technology resides in the adopted approach
and specifically in its lack of originality: the revolution of World Wide Web stems from the integration
of the "web model" with the Hypertext technology, while the Semantic Web doesn't seems to offer
some comparable innovation elements. It seems largely a re-engineering of the current Web structure, and
although recent researches on Semantic Web agree with this interpretation, it's worth to consider also an
operative approach and really innovative logic models for an effective Semantic Web evolution.
From Semantic Web to Epistematics
How semantic is semantic web? Can machines through semantic web technologies
really gain access to meaning, to the reference of words to things?
In this paper we'll show how the heart of these technologies is actually
the representation of a knowledge, and its logical-deductive processing
thanks to automatic reasoners.
|
