ELP: Tractable Rules for OWL 2
Published on Nov 24, 20083596 Views
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 ext