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

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… (More)
DOI: 10.1145/1963405.1963496

1 Figure or Table

Topics

Statistics

010203020112012201320142015201620172018
Citations per Year

104 Citations

Semantic Scholar estimates that this publication has 104 citations based on the available data.

See our FAQ for additional information.

  • Presentations referencing similar topics