Journal article icon

Journal article

Nominal Schemas for Integrating Rules and Description Logics.

Abstract:
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.

Actions


Authors


Krötzsch, M More by this author
Krisnadhi, AA More by this author
Hitzler, P More by this author

Contributors

Role:
Editor
Role:
Editor
Publisher:
CEUR-WS.org Publisher's website
Journal:
Description Logics
Volume:
745
Pages:
268-278
Publication date:
2011
ISSN:
1613-0073
URN:
uuid:587ad30a-61b8-45d0-8354-21ff412b8dad
Source identifiers:
385254
Local pid:
pubs:385254
Language:
English

Terms of use


Metrics



If you are the owner of this record, you can report an update to it here: Report update to this record

TO TOP