Semantical considerations on nonmonotonic logic
Artificial Intelligence
Applications of circumscription to formalizing common-sense knowledge
Artificial Intelligence
On the relationship between circumscription and negation as failure
Artificial Intelligence
The Description Logic Handbook
The Description Logic Handbook
Embedding non-ground logic programs into autoepistemic logic for knowledge-base combination
IJCAI'07 Proceedings of the 20th international joint conference on Artifical intelligence
A faithful integration of description logics with logic programming
IJCAI'07 Proceedings of the 20th international joint conference on Artifical intelligence
Nonmonotonic databases and epistemic queries
IJCAI'91 Proceedings of the 12th international joint conference on Artificial intelligence - Volume 1
On the decidability and complexity of integrating ontologies and rules
Web Semantics: Science, Services and Agents on the World Wide Web
On representational issues about combinations of classical theories with nonmonotonic rules
KSEM'06 Proceedings of the First international conference on Knowledge Science, Engineering and Management
Semantic and computational advantages of the safe integration of ontologies and rules
PPSWR'05 Proceedings of the Third international conference on Principles and Practice of Semantic Web Reasoning
| Hi-index | 0.00 |
In this paper, we propose DLclog, a new hybrid formalism combining Description Logics(DL) and Logic Programming(LP) for Semantic Web serving as an extension to DL + log[17]. By DLclog, users can reason nonmonotonically with DL ontology. We introduce negative dl-atoms to the bodies of the rules, and extend Nonmonotonic Semantics (NM-Semantics) of DL + log to evaluate dl-atoms with circumscriptive models of DL ontology in the sense of parallel circumscription. In this way, negative dl-atoms are treated nonmonotonically, while the formalism still remains faithful to NM-Semantics, DL and LP. We also present a decision procedure for the extended semantics based on a restricted form of DLclog, in which DL ontologies are written with ALCIO or ALCQO and roles are not allowed to occur in negative dl-atoms.