Proof explanation for the semantic web using defeasible logic
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 ZeginisAuthors Info & Claims
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 ZeginisAuthors Info & ClaimsPages 186 - 197
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 (a RuleML language extension) for agent communication, which is a common scenario in the Semantic Web. The system in essence implements a proof layer for nonmonotonic rules on the Semantic Web.
References
[1]
Grosof, B.N., Horrocks, I., Volz, R., Decker, S.: Description logic programs: combining logic programs with description logic. In: WWW, pp. 48-57 (2003).
[2]
Levy, A.Y., Rousset, M.C.: Combining Horn rules and description logics in CARIN. Artificial Intelligence 104(1-2), 165-209 (1998).
[3]
Rosati, R.: On the decidability and complexity of integrating ontologies and rules. WSJ 3(1), 41-60 (2005).
[4]
Sintek, M., Decker, S.: TRIPLE - A Query, Inference, and Transformation Language for the Semantic Web. In: International Semantic Web Conference, pp. 364-378 (2002).
[5]
Horrocks, I., Patel-Schneider, P.F.: A proposal for an OWL Rules Language. In: WWW2004: Proceedings of the 13th international conference on World Wide Web, pp. 723-731. ACM Press, New York (2004).
[6]
RuleML: The RuleML Initiative website (2006), http://www.ruleml.org/
[7]
Antoniou, G., Bikakis, A.: DR-Prolog: A System for Defeasible Reasoning with Rules and Ontologies on the Semantic Web. IEEE Transactions on Knowledge and Data Engineering (accepted for publication).
[8]
Bassiliades, N., Antoniou, G., Vlahavas, I.P.: Dr-device: A defeasible logic system for the semantic web. In: Ohlbach, H.J., Schaffert, S. (eds.) PPSWR 2004. LNCS, vol. 3208, pp. 134-148. Springer, Heidelberg (2004).
[9]
Grosof, B.N., Gandhe, M.D., Finin, T.W.: SweetJess: Translating DAMLRuleML to JESS. In: RuleML (2002).
[10]
Eiter, T., Ianni, G., Schindlauer, R., Tompits, H.: dlvhex: A System for Integrating Multiple Semantics in an Answer-Set Programming Framework. In: WLP, pp. 206-210 (2006).
[11]
Antoniou, G., Billington, D., Governatori, G., Maher, M.J.: Representation results for defeasible logic. ACM Trans. Comput. Logic 2(2), 255-287 (2001).
[12]
Grosof, B.N.: Prioritized conflict handing for logic programs. In: ILPS 1997: Proceedings of the 1997 international symposium on Logic programming, pp. 197-211. MIT Press, Cambridge, MA (1997).
[13]
Antoniou, G., Maher, M.J., Billington, D.: Defeasible logic versus logic programming without negation as failure. J. Log. Program 42(1), 47-57 (2000).
[14]
Governatori, G., Maher, M.J., Antoniou, G., Billington, D.: Argumentation semantics for defeasible logic. J. Log. and Comput. 14(5), 675-702 (2004).
[15]
Antoniou, G., Billington, D., Governatori, G., Maher, M.J.: Embedding defeasible logic into logic programming. Theory Pract. Log. Program. 6(6), 703-735 (2006).
[16]
Maher, M.J., Rock, A., Antoniou, G., Billington, D., Miller, T.: Efficient defeasible reasoning systems. International Journal on Artificial Intelligence Tools 10(4), 483-501 (2001).
[17]
JADE: Java Agent Development Framework (2006), http://jade.tilab.com/
[18]
Barwise, J., Etchemendy, J.: The language of first-order logic. Center for the study of Language and Information (1993).
[19]
Shortliffe, E.: Computer-based medical consultations: MYCIN. American Elsevier, New York (1976).
[20]
Swartout, W., Paris, C., Moore, J.: Explanations in knowledge systems: Design for explainable expert systems. IEEE Expert: Intelligent Systems and Their Applications 06(3), 58-64 (1991).
[21]
McGuinness, D.L., Borgida, A.: Explaining subsumption in description logics. IJCAI (1), 816-821 (1995).
[22]
McGuinness, D.L., da Silva, P.P.: Explaining answers from the semantic web: the inference web approach. J. Web Sem. 1(4), 397-413 (2004).
- Proof explanation for the semantic web using defeasible logic
Recommendations
Proof Explanation for the Semantic Web Using Defeasible Logic
Knowledge Science, Engineering and ManagementAbstractIn 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 ...
A Modal Defeasible Reasoner of Deontic Logic for the Semantic Web
Defeasible logic is a non-monotonic formalism that deals with incomplete and conflicting information, whereas modal logic deals with the concepts of necessity and possibility. These types of logics play a significant role in the emerging Semantic 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 ApplicationsIn 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-...
Comments
Information & Contributors
Information
Published In
Sponsors
- AFOSR: AFOSR
Publisher
Springer-Verlag
Berlin, Heidelberg
Publication History
Published: 28 November 2007
Qualifiers
- Article
Contributors
Other Metrics
Bibliometrics & Citations
Bibliometrics
Article Metrics
- 0Total Citations
- 5Total Downloads
- Downloads (Last 12 months)0
- Downloads (Last 6 weeks)0
Reflects downloads up to 23 Jan 2025