Journal of Logic Programming
The well-founded semantics for general logic programs
Journal of the ACM (JACM)
Logical foundations of object-oriented and frame-based languages
Journal of the ACM (JACM)
Fixpoint semantics for logic programming a survey
Theoretical Computer Science
Practical Reasoning for Expressive Description Logics
LPAR '99 Proceedings of the 6th International Conference on Logic Programming and Automated Reasoning
Any-world assumptions in logic programming
Theoretical Computer Science
Nonmonotonic databases and epistemic queries
IJCAI'91 Proceedings of the 12th international joint conference on Artificial intelligence - Volume 1
Effective integration of declarative rules with external evaluations for semantic-web reasoning
ESWC'06 Proceedings of the 3rd European conference on The Semantic Web: research and applications
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
Normalization of relations and ontologies
AIKED'11 Proceedings of the 10th WSEAS international conference on Artificial intelligence, knowledge engineering and data bases
Integration proposal for description logic and attributive logic: towards semantic web rules
Transactions on computational collective intelligence II
Local closed world reasoning with description logics under the well-founded semantics
Artificial Intelligence
PROTON: A Prolog Reasoner for Temporal ONtologies in OWL
Expert Systems with Applications: An International Journal
Hi-index | 0.00 |
The W3C standard OWL provides a decidable language for representing ontologies. While its use is rapidly spreading, efforts are being made by researchers worldwide to augment OWL with additional expressive features or by interlacing it with other forms of knowledge representation, in order to make it applicable for even further purposes. In this paper, we integrate OWL with one of the most successful and most widely used forms of knowledge representation, namely Prolog, and present a hybrid approach which layers Prolog on top of OWL in such a way that the open-world semantics of OWL becomes directly accessible within the Prolog system.