%0 Journal Article %1 Antoniou2007 %A Antoniou, Grigoris %A Bikakis, Antonis %A Nikosdimaresis, %A Genetzakis, Manolis %A Georgalis, Giannis %A Governatori, Guido %A Karouzaki, Efie %A Kazepis, Nikolas %A Kosmadakis, Dimitris %A Kritsotakis, Manolis %A Lilis, Giannis %A Papadogiannakis, Antonis %A Pediaditis, Panagiotis %A Terzakis, Constantinos %A Theodosaki, Rena %A Zeginis, Dimitris %D 2007 %J KSEM 2007, LNAI %K kiwi %P 12 %T Proof Explanation for the Semantic Web Using Defeasible Logic %V 4798 %X 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 SemanticWeb. The system in essence implements a proof layer for nonmonotonic rules on the Semantic Web.

@article{Antoniou2007, 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 SemanticWeb. The system in essence implements a proof layer for nonmonotonic rules on the Semantic Web.}, added-at = {2008-11-14T13:33:38.000+0100}, author = {Antoniou, Grigoris and Bikakis, Antonis and Nikosdimaresis and Genetzakis, Manolis and Georgalis, Giannis and Governatori, Guido and Karouzaki, Efie and Kazepis, Nikolas and Kosmadakis, Dimitris and Kritsotakis, Manolis and Lilis, Giannis and Papadogiannakis, Antonis and Pediaditis, Panagiotis and Terzakis, Constantinos and Theodosaki, Rena and Zeginis, Dimitris}, biburl = {https://www.bibsonomy.org/bibtex/2cf836f4b6b3a2f8094391eef06b3c13a/fraktalek}, citeulike-article-id = {3508718}, interhash = {4c729286c327cfd55be0fa9f892d6fd9}, intrahash = {cf836f4b6b3a2f8094391eef06b3c13a}, journal = {KSEM 2007, LNAI}, keywords = {kiwi}, pages = 12, posted-at = {2008-11-13 14:13:52}, priority = {2}, timestamp = {2008-11-14T13:33:40.000+0100}, title = {Proof Explanation for the Semantic Web Using Defeasible Logic}, volume = 4798, year = 2007 }