A better uncle for OWL nominal schemas for integrating rules and ontologies

Markus Krötzsch, Frederick Maier, Adila Alfa Krisnadhi, Pascal Hitzler

Research output: Chapter in Book/Report/Conference proceedingConference contribution

64 Citations (Scopus)

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 SROELV3(?,×) that is versatile enough to capture the lightweight languages OWL EL and OWL RL.

Original languageEnglish
Title of host publicationProceedings of the 20th International Conference on World Wide Web, WWW 2011
Pages645-654
Number of pages10
DOIs
Publication statusPublished - 1 Dec 2011
Event20th International Conference on World Wide Web, WWW 2011 - Hyderabad, India
Duration: 28 Mar 20111 Apr 2011

Publication series

NameProceedings of the 20th International Conference on World Wide Web, WWW 2011

Conference

Conference20th International Conference on World Wide Web, WWW 2011
CountryIndia
CityHyderabad
Period28/03/111/04/11

Keywords

  • Datalog
  • Description logic
  • Semantic web rule language
  • SROIQ
  • Tractability
  • Web ontology language

Fingerprint Dive into the research topics of 'A better uncle for OWL nominal schemas for integrating rules and ontologies'. Together they form a unique fingerprint.

  • Cite this

    Krötzsch, M., Maier, F., Krisnadhi, A. A., & Hitzler, P. (2011). A better uncle for OWL nominal schemas for integrating rules and ontologies. In Proceedings of the 20th International Conference on World Wide Web, WWW 2011 (pp. 645-654). (Proceedings of the 20th International Conference on World Wide Web, WWW 2011). https://doi.org/10.1145/1963405.1963496