Ontologies are nowadays one of the most prominent formalisms used in the area of Semantic Web for knowledge representation. Several efforts have been made by the W3C in order to define OWL (Web Ontology Language) and by developers in order to develop reasoners able to deal with ontologies defined by means of OWL. Unfortunately, the goals of the working groups for standard languages definition rarely meet the ones of reasoners developers and viceversa. In this paper we present ROWLKit , a query answering system for ontologies compliant with OWL 2 QL, a profile of OWL 2 that is inspired by DL-LiteR, one of the language of the DL-Lite family. In particular we show how to extend QuOnto, a pre-existing reasoner for DL-LiteR in order to implement the features of OWL 2 QL not natively supported by QuOnto thus bridging the gap between the standard language and the system implementation. We show the efficacy of our approach presenting experimental results based on the University Ontology Benchmark.
[1]
Diego Calvanese,et al.
QuOnto: Querying Ontologies
,
2005,
AAAI.
[2]
Diego Calvanese,et al.
The Description Logic Handbook: Theory, Implementation, and Applications
,
2003,
Description Logic Handbook.
[3]
Markus Stocker,et al.
Owlgres: A Scalable OWL Reasoner
,
2008,
OWLED.
[4]
Diego Calvanese,et al.
Data Complexity of Query Answering in Description Logics
,
2006,
Description Logics.
[5]
Li Ma,et al.
Towards a Complete OWL Ontology Benchmark
,
2006,
ESWC.
[6]
Diego Calvanese,et al.
Tractable Reasoning and Efficient Query Answering in Description Logics: The DL-Lite Family
,
2007,
Journal of Automated Reasoning.
[7]
Serge Abiteboul,et al.
Foundations of Databases
,
1994
.
[8]
Anand Rajaraman,et al.
Conjunctive query containment revisited
,
2000,
Theor. Comput. Sci..
[9]
Antonella Poggi,et al.
When OWL met DL-Lite
,
2008,
SWAP.