0.25
0.5
0.75
1.25
1.5
1.75
2
Pushing the Boundaries of Tractable Ontology Reasoning
Published on Dec 19, 20142124 Views
We identify a class of Horn ontologies for which standard reasoning tasks such as instance checking and classification are tractable. The class is general enough to include the OWL 2 EL, QL, and RL pro
Related categories
Chapter list
Pushing the Boundaries of Tractable Ontology Reasoning00:00
Untitled00:00
Web Ontology Language (OWL)00:12
Scheme01:42
Evaluation Results04:09
Evaluation Results05:31
Horn-SHOIQ Normal Form05:59
Horn-SHOIQ Reasoning07:43
Safe Roles08:53
Safe Roles10:40
Existential Dependencies Graph10:45
Existential Dependencies Graph12:07
RSA Reasoning Algorithm13:39
Future Work14:37
Thank you!15:14