The DR-Prolog Tool Suite for Defeasible Reasoning and Proof Explanation in the Semantic Web

Authors:
Antonis Bikakis;Constantinos Papatheodorou;Grigoris Antoniou
Affiliations:
Institute of Computer Science, FO.R.T.H., Heraklion, Greece and Computer Science Department of University of Crete, Greece;Computer Science Department of University of Crete, Greece;Institute of Computer Science, FO.R.T.H., Heraklion, Greece and Computer Science Department of University of Crete, Greece
Venue:
SETN '08 Proceedings of the 5th Hellenic conference on Artificial Intelligence: Theories, Models and Applications
Year:
2008

Citing 9
Cited 1

Combining Horn rules and description logics in CARIN

Artificial Intelligence
TRIPLE - A Query, Inference, and Transformation Language for the Semantic Web

ISWC '02 Proceedings of the First International Semantic Web Conference on The Semantic Web
Description logic programs: combining logic programs with description logic

WWW '03 Proceedings of the 12th international conference on World Wide Web
A proposal for an owl rules language

Proceedings of the 13th international conference on World Wide Web
Embedding defeasible logic into logic programming

Theory and Practice of Logic Programming
DR-Prolog: A System for Defeasible Reasoning with Rules and Ontologies on the Semantic Web

IEEE Transactions on Knowledge and Data Engineering
Proof explanation for a nonmonotonic Semantic Web rules language

Data & Knowledge Engineering
On the decidability and complexity of integrating ontologies and rules

Web Semantics: Science, Services and Agents on the World Wide Web
A system for modal and deontic defeasible reasoning

AI'07 Proceedings of the 20th Australian joint conference on Advances in artificial intelligence

Visualizing Semantic Web proofs of defeasible logic in the DR-DEVICE system

Knowledge-Based Systems

Quantified Score

Hi-index	0.00

Visualization

Abstract

In this work we present the design and general architecture of DR-Prolog, a system for defeasible reasoning and proof explanation in the Semantic Web, and the implementation of three different tools that constitute the DR-Prolog Tool Suite: (a) the DR-Prolog API; (b) the DR-Prolog Web application; and (c) the DR-Prolog desktop application. DR-Prolog supports reasoning with Defeasible Logic theories and ontological knowledge in RDF(S) and OWL, is compatible with RuleML, and enables extracting meaningful proof explanations for the answers it computes.