Nominal Schemas for Integrating Rules and Description Logics

From International Center for Computational Logic

Toggle side column

Nominal Schemas for Integrating Rules and Description Logics

Markus KrötzschMarkus Krötzsch,  Frederick MaierFrederick Maier,  Adila Alfa KrisnadhiAdila Alfa Krisnadhi,  Pascal HitzlerPascal Hitzler
Markus Krötzsch, Frederick Maier, Adila Alfa Krisnadhi, Pascal Hitzler
Nominal Schemas for Integrating Rules and Description Logics
In Riccardo Rosati, Sebastian Rudolph, Michael Zakharyaschev, eds., Proc. 24th International Workshop on Description Logics (DL'11), volume 745 of CEUR Workshop Proceedings, July 2011. CEUR-WS.org
  • KurzfassungAbstract
    We propose an extension of SROIQ with nominal schemas which can be used like "variable nominal concepts" within axioms. This feature allows us to express arbitrary DL-safe rules in description logic syntax. We show that adding nominal schemas to SROIQ does not increase its worst-case reasoning complexity, and we identify a family of tractable DLs SROELVn that allow for restricted use of nominal schemas.
  • Bemerkung: Note: This is a condensed version of the conference paper A Better Uncle For OWL:Nominal Schemas for Integrating Rules and Ontologies that appeared at WWW 2011.
  • Forschungsgruppe:Research Group: Wissensbasierte SystemeKnowledge-Based Systems
@inproceedings{KMKH2011,
  author    = {Markus Kr{\"{o}}tzsch and Frederick Maier and Adila Alfa
               Krisnadhi and Pascal Hitzler},
  title     = {Nominal Schemas for Integrating Rules and Description Logics},
  editor    = {Riccardo Rosati and Sebastian Rudolph and Michael Zakharyaschev},
  booktitle = {Proc. 24th International Workshop on Description Logics (DL'11)},
  series    = {CEUR Workshop Proceedings},
  volume    = {745},
  publisher = {CEUR-WS.org},
  year      = {2011},
  month     = {July}
}