Journal article icon

Journal article

ELP: Tractable Rules for OWL 2.

Abstract:

We introduce as a decidable fragment of the Semantic Web Rule Language (SWRL) that admits reasoning in polynomial time. is based on the tractable description logic , and encompasses an extended notion of the recently proposed DL rules for that logic. Thus extends with a number of features introduced by the forthcoming OWL 2, such as disjoint roles, local reflexivity, certain range restrictions, and the universal role. We present a reasoning algorithm based on a translation of to Datalog, and ...

Expand abstract

Actions


Access Document


Authors


Krötzsch, M More by this author
Rudolph, S More by this author
Hitzler, P More by this author

Contributors

Role:
Editor
Role:
Editor
Role:
Editor
Role:
Editor
Role:
Editor
Expand contributors...
Publisher:
Springer Publisher's website
Journal:
International Semantic Web Conference
Volume:
5318
Pages:
649-664
Publication date:
2008
DOI:
EISSN:
1611-3349
ISSN:
0302-9743
URN:
uuid:f9cfc28a-e7fa-4eea-83f7-ae9e14067be9
Source identifiers:
334591
Local pid:
pubs:334591
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