IJCAR '01 Proceedings of the First International Joint Conference on Automated Reasoning
The DLV system for knowledge representation and reasoning
ACM Transactions on Computational Logic (TOCL)
A uniform integration of higher-order reasoning and external evaluations in answer-set programming
IJCAI'05 Proceedings of the 19th international joint conference on Artificial intelligence
| Hi-index | 0.00 |
The next step in the development of the Semantic Web is the realisation of the Rules, Logic, and Proof layers, which will be developed on top of the Ontology layer, and which should offer sophisticated representation and reasoning capabilities. The aim of this project is to investigate methods and techniques how nonmonotonic logic programming can be successfully and efficiently applied for integrating the Rules and the Ontology layer. In particular, it is crucial to allow for building rules on top of ontologies, that is, for rule-based systems that use vocabulary specified in ontology knowledge bases. Another type of combination is to build ontologies on top of rules, which means that ontological definitions are supplemented by rules or imported from rules. Our approach combines both kinds of couplings in one single framework. At the same time, we want to enrich Semantic Web reasoning by nonmonotonic reasoning methods, focussing on those closely related to Answer Set Programming. Among these are the use of defaults, closed-world reasoning and multiple model generation.