ELP: Tractable Rules for OWL 2

TitleELP: Tractable Rules for OWL 2
Publication TypeMiscellaneous
Year of Publication2008
AuthorsMarkus Krotzsch, Sebastian Rudolph, Pascal Hitzler

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.

Full Text

Sebastian Rudolph, Tuvshintur Tserendorj, Pascal Hitzler, 'ELP: Tractable Rules for OWL 2,' Second International Conference, RR, Karlsruhe, Germany, October/November 2008, pp. 150-164.
pages: 150-164
year: 2008
hasEditor: D. Calvanese and G. Lausen
venue name: International Conference, RR, 2008