The Description Logic Handbook
The Description Logic Handbook
Pellet: A practical OWL-DL reasoner
Web Semantics: Science, Services and Agents on the World Wide Web
ELP: Tractable Rules for OWL 2
ISWC '08 Proceedings of the 7th International Conference on The Semantic Web
IJCAI'05 Proceedings of the 19th international joint conference on Artificial intelligence
Foundations of Semantic Web Technologies
Foundations of Semantic Web Technologies
Query Answering for OWL-DL with rules
Web Semantics: Science, Services and Agents on the World Wide Web
Efficient inferencing for OWL EL
JELIA'10 Proceedings of the 12th European conference on Logics in artificial intelligence
Description Logic Rules
A better uncle for OWL: nominal schemas for integrating rules and ontologies
Proceedings of the 20th international conference on World wide web
RW'11 Proceedings of the 7th international conference on Reasoning web: semantic technologies for the web of data
Recent advances in integrating OWL and rules (technical communication)
RR'12 Proceedings of the 6th international conference on Web Reasoning and Rule Systems
A tableau algorithm for description logics with nominal schema
RR'12 Proceedings of the 6th international conference on Web Reasoning and Rule Systems
Hi-index | 0.00 |
Extending description logics with so-called nominal schemas has been shown to be a major step towards integrating description logics with rules paradigms. However, establishing efficient algorithms for reasoning with nominal schemas has so far been a challenge. In this paper, we present an algorithm to reason with the description logic fragment $\mathcal{ELROV}_{n}$, a fragment that extends $\mathcal{EL}^{++}$ with nominal schemas. We also report on an implementation and experimental evaluation of the algorithm, which shows that our approach is indeed rather efficient.