Proof explanation for a nonmonotonic Semantic Web rules language

Authors:
Grigoris Antoniou;Antonis Bikakis;Nikos Dimaresis;Manolis Genetzakis;Giannis Georgalis;Guido Governatori;Efie Karouzaki;Nikolas Kazepis;Dimitris Kosmadakis;Manolis Kritsotakis;Giannis Lilis;Antonis Papadogiannakis;Panagiotis Pediaditis;Constantinos Terzakis;Rena Theodosaki;Dimitris Zeginis
Affiliations:
Institute of Computer Science, FO.R.T.H., Vassilika Vouton, P.O. Box 1385, GR 71110 Heraklion, Greece;Institute of Computer Science, FO.R.T.H., Vassilika Vouton, P.O. Box 1385, GR 71110 Heraklion, Greece;Institute of Computer Science, FO.R.T.H., Vassilika Vouton, P.O. Box 1385, GR 71110 Heraklion, Greece;Institute of Computer Science, FO.R.T.H., Vassilika Vouton, P.O. Box 1385, GR 71110 Heraklion, Greece;Institute of Computer Science, FO.R.T.H., Vassilika Vouton, P.O. Box 1385, GR 71110 Heraklion, Greece;School of ITEE, The University of Queensland, Australia;Institute of Computer Science, FO.R.T.H., Vassilika Vouton, P.O. Box 1385, GR 71110 Heraklion, Greece;Institute of Computer Science, FO.R.T.H., Vassilika Vouton, P.O. Box 1385, GR 71110 Heraklion, Greece;Institute of Computer Science, FO.R.T.H., Vassilika Vouton, P.O. Box 1385, GR 71110 Heraklion, Greece;Institute of Computer Science, FO.R.T.H., Vassilika Vouton, P.O. Box 1385, GR 71110 Heraklion, Greece;Institute of Computer Science, FO.R.T.H., Vassilika Vouton, P.O. Box 1385, GR 71110 Heraklion, Greece;Institute of Computer Science, FO.R.T.H., Vassilika Vouton, P.O. Box 1385, GR 71110 Heraklion, Greece;Institute of Computer Science, FO.R.T.H., Vassilika Vouton, P.O. Box 1385, GR 71110 Heraklion, Greece;Institute of Computer Science, FO.R.T.H., Vassilika Vouton, P.O. Box 1385, GR 71110 Heraklion, Greece;Institute of Computer Science, FO.R.T.H., Vassilika Vouton, P.O. Box 1385, GR 71110 Heraklion, Greece;Institute of Computer Science, FO.R.T.H., Vassilika Vouton, P.O. Box 1385, GR 71110 Heraklion, Greece
Venue:
Data & Knowledge Engineering
Year:
2008

Citing 18
Cited 9

Prioritized conflict handing for logic programs

ILPS '97 Proceedings of the 1997 international symposium on Logic programming
Combining Horn rules and description logics in CARIN

Artificial Intelligence
Representation results for defeasible logic

ACM Transactions on Computational Logic (TOCL)
Explanations in Knowledge Systems: Design for Explainable Expert Systems

IEEE Expert: Intelligent Systems and Their Applications
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
Explaining reasoning in description logics

Explaining reasoning in description logics
A proposal for an owl rules language

Proceedings of the 13th international conference on World Wide Web
DR-NEGOTIATE - A System for Automated Agent Negotiation with Defeasible Logic-Based Strategies

EEE '05 Proceedings of the 2005 IEEE International Conference on e-Technology, e-Commerce and e-Service (EEE'05) on e-Technology, e-Commerce and e-Service
Argumentation Semantics for Defeasible Logic

Journal of Logic and Computation
A proof markup language for semantic web services

Information Systems - Special issue: The semantic web and web services
Temporalised normative positions in defeasible logic

ICAIL '05 Proceedings of the 10th international conference on Artificial intelligence and law
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
DR-BROKERING: A semantic brokering system

Knowledge-Based Systems
Explaining subsumption in description logics

IJCAI'95 Proceedings of the 14th international joint conference on Artificial intelligence - Volume 1
Explaining answers from the Semantic Web: the Inference Web approach

Web Semantics: Science, Services and Agents on the World Wide Web
On the decidability and complexity of integrating ontologies and rules

Web Semantics: Science, Services and Agents on the World Wide Web

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

SETN '08 Proceedings of the 5th Hellenic conference on Artificial Intelligence: Theories, Models and Applications
Visualization of Proofs in Defeasible Logic

RuleML '08 Proceedings of the International Symposium on Rule Representation, Interchange and Reasoning on the Web
Semantics preserving SPARQL-to-SQL translation

Data & Knowledge Engineering
Constraint acquisition for Entity-Relationship models

Data & Knowledge Engineering
Modelling and reasoning languages for social networks policies

EDOC'09 Proceedings of the 13th IEEE international conference on Enterprise Distributed Object Computing
RDFProv: A relational RDF store for querying and managing scientific workflow provenance

Data & Knowledge Engineering
Visualizing Semantic Web proofs of defeasible logic in the DR-DEVICE system

Knowledge-Based Systems
Extending a multi-agent reasoning interoperability framework with services for the semantic web logic and proof layers

RuleML'2011 Proceedings of the 5th international conference on Rule-based reasoning, programming, and applications
Reasoning and proofing services for semantic web agents

IJCAI'11 Proceedings of the Twenty-Second international joint conference on Artificial Intelligence - Volume Volume Three

Quantified Score

Hi-index	0.00

Visualization

Abstract

In this work, we present the design and implementation of a system for proof explanation in the Semantic Web, based on defeasible reasoning. Trust is a vital feature for Semantic Web. If users (humans and agents) are to use and integrate system answers, they must trust them. Thus, systems should be able to explain their actions, sources, and beliefs. Our system produces automatically proof explanations using a popular logic programming system (XSB), by interpreting the output from the proof's trace and converting it into a meaningful representation. It also supports an XML representation for agent communication, which is a common scenario in the Semantic Web. In this paper, we present the design and implementation of the system, a RuleML language extension for the representation of a proof explanation, and we give some examples of the system. The system in essence implements a proof layer for nonmonotonic rules on the Semantic Web.