Ontology reasoning in the SHOQ(D) description logic
IJCAI'01 Proceedings of the 17th international joint conference on Artificial intelligence - Volume 1
Query Answering for OWL-DL with rules
Web Semantics: Science, Services and Agents on the World Wide Web
A better uncle for OWL: nominal schemas for integrating rules and ontologies
Proceedings of the 20th international conference on World wide web
Recent advances in integrating OWL and rules (technical communication)
RR'12 Proceedings of the 6th international conference on Web Reasoning and Rule Systems
Recent advances in integrating OWL and rules (technical communication)
RR'12 Proceedings of the 6th international conference on Web Reasoning and Rule Systems
Towards an efficient algorithm to reason over description logics extended with nominal schemas
RR'13 Proceedings of the 7th international conference on Web Reasoning and Rule Systems
IJCAI'13 Proceedings of the Twenty-Third international joint conference on Artificial Intelligence
Hi-index | 0.00 |
Nominalschema is an expressive description logic (DL) construct that was proposed in recent efforts to integrate DLs and (logic programming) rule-based paradigms for the Semantic Web [1] represented by two "diverging" W3C standards: the DL-based Web Ontology Language (OWL) [2] whose major variant, OWL 2 DL, is based on the description logic (DL) ${\mathcal{SROIQ}}$ [3]; and the rulebased Rule Interchange Format (RIF) whose core variant, called RIF Core [4], is essentially Datalog, i.e., function-free Horn logic.