Unchain My EL Reasoner
We study a restriction of the classification procedure for EL++ where the inference rule for complex role inclusion axioms (RIAs) is applied in a ``left-linear'' way in analogy with the well-known procedure for computing the transitive closure of a binary relation. We introduce a notion of...
| Main Authors: | , , |
|---|---|
| Format: | Conference item |
| Published: |
CEUR−WS.org
2011
|