Italiano
	TOOLS FOR THE QUONTO SYSTEM: CONVERSION BETWEEN OWL AND DL-LITEF WITH PROTÉGÉ-OWL PLUG-IN by Manuel Dioturni and Maurizio Iacovella Poster introduced to 2007 International Workshop on Description Logics (DL2007) - Brixen-Bressanone, Italy, 8–10 June, 2007

The QuOnto System was developed to implement efficient reasoning algorithms over Knowledge Bases with large amount of instances. It is based on a particular Description Logic, called DL-Lite_F.

Protégé is an open-source ontology editor based on Java that has a plug-in architecture which makes it flexible and easy to be extended. In addition it can read and write ontologies in OWL format, that is the standard language proposed by W3C.

This features have driven the idea to use it as a framework to manage some element of the QuOnto System.

The first work for this objective is to translate ontologies written in OWL language to an XML document following the proprietary XML Schema used as TBox input for QuOnto. The translation from OWL to DL-Lite_F is not always possible because DL-Lite_F is a strict subset of OWL, in particular of OWL-Lite, the least expressive fragment of OWL, which presents some constructs (e.g., some kinds of role restrictions) that cannot be expressed in DL-Lite_F, and that make reasoning in OWL-Lite not-tractable if the formalism is not restricted; so it makes the ontology check necessary to know if it is DL-Lite_F expressible, and in this case, we would submit it to the QuOnto engine.

Read the Paper

Image: Description Logic logo