Orel: Database-Driven Reasoning for OWL 2 Profiles.
We describe Orel, a reasoning system for an ontology language which subsumes both the EL and the RL profile of the recently standardised web ontology language OWL 2. Orel performs consequence-driven reasoning on the database level which is always sound. It is guaranteed to be complete if the ontolog...
| मुख्य लेखकों: | , , |
|---|---|
| अन्य लेखक: | |
| स्वरूप: | Journal article |
| भाषा: | English |
| प्रकाशित: |
CEUR-WS.org
2010
|