A Better Uncle For OWL - Nominal Schemas for Integrating Rules and Ontologies

TitleA Better Uncle For OWL - Nominal Schemas for Integrating Rules and Ontologies
Publication TypeConference Paper
Year of Publication2011
AuthorsMarkus Krotzsch, Frederick Maier, Adila Alfa Krisnadhi, Pascal Hitzler
Conference NameInternational World Wide Web Conference (WWW2011)
PublisherProceedings of the 20th International World Wide Web Conference (WWW2011)
Conference LocationNew York
KeywordsDatalog, Description Logic, Semantic Web Rule Language, SROIQ, tractability, Web Ontology Language
Abstract

We propose a description-logic style extension of OWL 2 with nominal schemas which can be used like 'variable nominal classes' within axioms. This feature allows ontology languages to express arbitrary DL-safe rules (as expressible in SWRL or RIF) in their native syntax. We show that adding nominal schemas to OWL 2 does not increase the worst-case reasoning complexity, and we identify a novel tractable language SROELV_3(⊓, X) that is versatile enough to capture the lightweight languages OWL EL and OWL RL.

Full Text

Markus Krotzsch, Frederick Maier, Adila Alfa Krisnadhi, Pascal Hitzler In: S. Sadagopan, Krithi Ramamritham, Arun Kumar, M.P. Ravindra, Elisa Bertino, Ravi Kumar (eds.), WWW '11 20th International World Wide Web Conference, Hyderabad, India, March/April 2011. ACM, New York, 2011, pp. 645-654.

Editor S. Sadagopan

Related Files: