Abstract
In this work we present the design and implementation of a multi-agent environment for serving proof explanations in the Semantic Web. The system allows users or agents to issue queries, on a given RDF& rules knowledge base and automatically produces proof explanations for answers produced by a popular programming system (JENA), by interpreting the output from the proof’s trace and converting it into a meaningful representation. It also supports an XML representation (a R2ML language extension) for agent communication, which is a common scenario in the Semantic Web. The system in essence implements a proof layer for rules on the Semantic Web empowering trust between agents and users.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Antoniou, G., van Harmelen, F.: A Semantic Web Primer. MIT Press, Cambridge
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)
Barwise, J., Etchemendy, J.: The language of first-order logic. Center for the study of Language and Information (1993)
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)
Berners-Lee, T., Hendler, J., Lassila, O.: The Semantic Web, May 17, 2001. Scientific American Magazine (2001)
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)
Extensible Markup Language, http://www.w3.org/XML/
Foundation for Intelligent Physical Agents, http://www.fipa.org/index.html
Grosof, B.N., Horrocks, I., Volz, R., Decker, S.: Description logic programs: combining logic programs with description logic. WWW 48, 57 (2003)
Grosof, B.N., Gandhe, M.D., Finin, T.W.: SweetJess: Translating DAMLRuleML to JESS. In: RuleML (2002)
Horrocks, I., Patel-Schneider, P.F.: A proposal for an OWL Rules Language. In: WWW 2004: Proceedings of the 13th international conference on World Wide Web, pp. 723–731. ACM Press, New York (2004)
Java Agent DEvelopment Framework, http://jade.tilab.com/
Jena – A Semantic Web Framework for Java, http://jena.sourceforge.net/
Levy, A.Y., Rousset, M.C.: Combining Horn rules and description logics in CARIN. Artificial Intelligence 104(1-2) 165, 209 (1998)
McGuinness, D.L., Borgida, A.: Explaining subsumption in description logics. In: IJCAI, vol. (1), pp. 816–821 (1995)
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)
Rosati, R.: On the decidability and complexity of integrating ontologies and rules. WSJ 3(1), 41–60 (2005)
RuleML: The RuleML Initiative website (2006), http://www.ruleml.org/
Shortliffe, E.: Computer-based medical consultations: MYCIN. American Elsevier, New York (1976)
Sintek, M., Decker, S.: TRIPLE - A Query, Inference, and Transformation Language for the Semantic Web. In: International Semantic Web Conference, pp. 364–378 (2002)
Sotiriou, C., Piccart, M.J.: Taking gene-expression profiling to the clinic: when will molecular signatures become relevant to patient care? Nature Reviews 7, 545–553 (2007)
Swartout, W., Paris, C., Moore, J.: Explanations in knowledge systems: Design for explain able expert systems. IEEE Expert: Intelligent Systems and Their Applications 06(3), 58–64 (1991)
The REWERSE I1 Rule Markup Language, http://oxygen.informatik.tu-cottbus.de/rewerse-i1/?q=R2ML
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 2008 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Antoniou, G. et al. (2008). A Multi-agent Environment for Serving Proof Explanations in the Semantic Web. In: Darzentas, J., Vouros, G.A., Vosinakis, S., Arnellos, A. (eds) Artificial Intelligence: Theories, Models and Applications. SETN 2008. Lecture Notes in Computer Science(), vol 5138. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-87881-0_4
Download citation
DOI: https://doi.org/10.1007/978-3-540-87881-0_4
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-87880-3
Online ISBN: 978-3-540-87881-0
eBook Packages: Computer ScienceComputer Science (R0)