Inproceedings4025

PublikationenPublications

• Nach AutorBy Author
  • Markus KrötzschMarkus Krötzsch
  • Pascal HitzlerPascal Hitzler
• Nach ForschungsgruppeBy Research Group
  • Knowledge SystemsKnowledge-Based Systems

Toggle side column

A Better Uncle for OWL: Nominal Schemas for Integrating Rules and Ontologies

Markus KrötzschMarkus Krötzsch,  Frederick MaierFrederick Maier,  Adila KrisnadhiAdila Krisnadhi,  Pascal HitzlerPascal Hitzler

• ISBN: 978-1-4503-0632-4
• Download
• DOI Link

Markus Krötzsch, Frederick Maier, Adila Krisnadhi, Pascal Hitzler
A Better Uncle for OWL: Nominal Schemas for Integrating Rules and Ontologies
Proc. 20th International Conference on World Wide Web (WWW'11), 645-654, March 2011. ACM

• Details
• Bibtex

• KurzfassungAbstract
  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(∩, x) that is versatile enough to capture the lightweight languages OWL EL and OWL RL.
• Weitere Informationen unter:Further Information: Link
• Forschungsgruppe:Research Group: Knowledge SystemsKnowledge-Based Systems

@inproceedings{KMKH2011,
  author    = {Markus Kr{\"{o}}tzsch and Frederick Maier and Adila Krisnadhi and
               Pascal Hitzler},
  title     = {A Better Uncle for {OWL:} Nominal Schemas for Integrating Rules
               and Ontologies},
  booktitle = {Proc. 20th International Conference on World Wide Web (WWW'11)},
  publisher = {ACM},
  year      = {2011},
  month     = {March},
  pages     = {645-654},
  doi       = {10.1145/1963405.1963496}
}