Journal article icon

Journal article

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 complexity, and we identify a novel tractable language SROELV3(?,×) that is versatile enough to capture the lightweight languages OWL EL a...

Expand abstract

Actions


Access Document


Publisher copy:
10.1145/1963405.1963496

Authors


Contributors

Role:
Editor
Role:
Editor
Role:
Editor
Role:
Editor
Role:
Editor
Publisher:
ACM Publisher's website
Journal:
WWW
Pages:
645-654
Publication date:
2011-01-01
DOI:
Language:
English
Keywords:
Pubs id:
pubs:385252
UUID:
uuid:6832e758-e4c0-4de9-8406-2dc40dcc7c66
Local pid:
pubs:385252
Source identifiers:
385252
Deposit date:
2013-11-17

Terms of use


Views and Downloads






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

TO TOP