Matches in ScholarlyData for { <https://w3id.org/scholarlydata/inproceedings/iswc2008/paper/research/347> ?p ?o. }
Showing items 1 to 15 of
15
with 100 items per page.
- 347 creator markus-kroetzsch.
- 347 creator pascal-hitzler.
- 347 creator sebastian-rudolph.
- 347 type InProceedings.
- 347 label "ELP: Tractable Rules for OWL 2".
- 347 sameAs 347.
- 347 abstract "We introduce ELP as a decidable fragment of the Semantic Web Rule Language (SWRL) that admits reasoning in polynomial time. ELP is based on the tractable description logic EL++, and encompasses an extended notion of the recently proposed DL rules for that logic. Thus ELP extends EL++ 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 ELP to Datalog, and this translation also enables the seamless integration of DL-safe rules into ELP. While reasoning with DL-safe rules as such is already highly intractable, we show that DL-safe rules based on the Description Logic Programming (DLP) fragment of OWL 2 can be admitted in ELP without losing tractability.".
- 347 hasAuthorList authorList.
- 347 hasTopic Semantic_Web.
- 347 isPartOf proceedings.
- 347 keyword "Datalog".
- 347 keyword "Description logics".
- 347 keyword "OWL 2".
- 347 keyword "SWRL".
- 347 title "ELP: Tractable Rules for OWL 2".