论文信息 - Efficient Inferencing for OWL EL

Efficient Inferencing for OWL EL

We develop inferencing methods for SROEL(∩, ×) - a DL that subsumes the main features of the W3C recommendation OWL EL -, and present a framework for studying materialisation calculi based on datalog. The latter is used to investigate the resource requirements for inferencing, and we can show that certain SROEL(∩, ×) feature combinations must lead to increased space upper bounds in any materialisation calculus, suggesting that efficient implementations are easier to obtain for suitably chosen fragments of SROEL(∩, ×).

Markus Krötzsch

[1] Bernardo Cuenca Grau,et al. OWL 2 Web Ontology Language: Profiles , 2009 .

[2] Yevgeny Kazakov,et al. Classifying ELH Ontologies In SQL Databases , 2009, OWLED.

[3] Ian Horrocks,et al. The Even More Irresistible SROIQ , 2006, KR.

[4] Sebastian Rudolph,et al. Description Logic Reasoning with Decision Diagrams: Compiling SHIQ to Disjunctive Datalog , 2008, SEMWEB.

[5] Steffen Staab,et al. The Semantic Web - ISWC 2008, 7th International Semantic Web Conference, ISWC 2008, Karlsruhe, Germany, October 26-30, 2008. Proceedings , 2008, SEMWEB.

[6] Sebastian Rudolph,et al. ELP: Tractable Rules for OWL 2 , 2008, SEMWEB.

[7] Franz Baader,et al. Pushing the EL Envelope , 2005, IJCAI.

[8] Boris Motik,et al. A Comparison of Reasoning Techniques for Querying Large Description Logic ABoxes , 2006, LPAR.

[9] Frank Wolter,et al. Monodic fragments of first-order temporal logics: 2000-2001 A.D , 2001, LPAR.

[10] Ian Horrocks,et al. The Even More Irresistible $\mathcal{SROIQ}$ , 2006 .

[11] Franz Baader,et al. Pushing the EL Envelope Further , 2008, OWLED.

[12] Serge Abiteboul,et al. Foundations of Databases , 1994 .

[13] Peter F. Patel-Schneider,et al. OWL 2 Web Ontology Language , 2009 .

[14] Markus Krötzsch,et al. Effi cient Inferencing for the Description Logic Underlying OWL EL , 2010 .

[15] Sebastian Rudolph,et al. Orel: Database-Driven Reasoning for OWL 2 Profiles , 2010, Description Logics.