
0.25
0.5
0.75
1.25
1.5
1.75
2
Pushing the Boundaries of Tractable Ontology Reasoning
Published on Feb 4, 20252126 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
Presentation
Pushing the Boundaries of Tractable Ontology Reasoning00:00
Untitled00:00
Web Ontology Language (OWL)00:12
Scheme01:42
Evaluation Results05:31
Horn-SHOIQ Normal Form05:59
Horn-SHOIQ Reasoning07:43
Safe Roles10:40
Existential Dependencies Graph10:45
RSA Reasoning Algorithm13:39
Future Work14:37
Thank you!15:14