Nick Bassiliades
580 California St., Suite 400
San Francisco, CA, 94104
Reasoning and Proofing Services for Semantic Web Agents
2011, … Joint Conference on …
Sign up for access to the world's latest research
Abstract
The Semantic Web aims to offer an interoperable environment that will allow users to safely delegate complex actions to intelligent agents. Much work has been done for agents' interoperability; especially in the areas of ontology-based metadata and rule-based reasoning. Nevertheless, the SW proof layer has been neglected so far, although it is vital for agents and humans to understand how a result came about, in order to increase the trust in the interchanged information. This paper focuses on the implementation of third party SW reasoning and proofing services wrapped as agents in a multi-agent framework. This way, agents can exchange and justify their arguments without the need to conform to a common rule paradigm. Via external reasoning and proofing services, the receiving agent can grasp the semantics of the received rule set and check the validity of the inferred results.
References (6)
- Hendler, 2001] J. Hendler. Agents and the Semantic Web. IEEE Intelligent Systems, 16(2):30-37, 2001. [Kravari et al., 2010a] K. Kravari, E. Kontopoulos, and N. Bassiliades. EMERALD: A Multi-Agent System for Knowledge-based Reasoning Interoperability in the Semantic Web. In Proceedings of the 6th Hellenic Con- ference on Artificial Intelligence (SETN 2010), LNCS, Vol. 6040, pp. 173-182, Springer, 2010a. [Kravari et al., 2010b] K. Kravari, E. Kontopoulos, and N. Bassiliades. Trusted Reasoning Services for Semantic Web Agents. Informatica, International Journal of Computing and Informatics, 34(4):429-440, 2010b. [Bassiliades et al., 2006] N. Bassiliades, G. Antoniou, and I. Vlahavas. A Defeasible Logic Reasoner for the Se- mantic Web. IJSWIS 2(1):1-41, 2006. [Boley and Tabet, 2000] H. Boley, and S. Tabet. RuleML: The RuleML Standardization Initiative, http://www.ruleml.org/, 2000.
- Berners-Lee et al., 2001] T. Berners-Lee, J. Hendler, and O. Lassila. The Semantic Web. Scientific American Magazine, 284(5):34-43, 2001. (Revised 2008). [Wang et al., 2005] M. Wang, M. Purvis, and M. Nowostawski. An Internal Agent Architecture Incorpo- rating Standard Reasoning Components and Standards- based Agent Communication. In Proceedings of IAT'05, 58-64, Washington, DC, IEEE Computer Soci- ety, 2005.
- Purvis et al., 2002] M. Purvis, S. Cranefield, M. Nowostawski, and D. Carter. Opal: A Multi-Level In- frastructure for Agent-Oriented Software Development. Information Science Discussion Paper Series, number 2002/01, ISSN 1172-602, University of Otago, Dune- din, New Zealand, 2002.
- Nute, 1987] D. Nute. Defeasible Reasoning. In Proceed- ingsof the 20th International Conference on Systems Science, 470-477. IEEE, 1987.
- Maher, 2001] M.J. Maher. Propositional defeasible logic has linear complexity. Theory and Practice of Logic Programming, 1(6):691-711, 2001. [Bassiliades and Vlahavas, 2006] N. Bassiliades, and I. Vlahavas. R-DEVICE: An Object-Oriented Knowledge Base System for RDF Metadata. International Journal on Semantic Web and Information Systems, 2(2):24-90, 2006. [Antoniou and Bikakis, 2007] G. Antoniou, and A. Bi- kakis. DR-Prolog: A System for Defeasible Reasoning with Rules and Ontologies on the SW. IEEE Transac- tions on Knowledge and Data Engineering, 19,2, 2007. [Antoniou et al, 2008] G. Antoniou, A. Bikakis, N. Di- maresis, and G. Governatori. Proof Explanation for a Nonmonotonic Semantic Web Rules Language. Data and Knowledge Engineering, 64(3)662-687, 2008. [CS-566 Project, 2010] CS-566 Project, http://www.csd.uoc.gr/~hy566/ project2010.html, 2010. [Antoniou et al, 2001] G. Antoniou, D. Billington, G. Gov- ernatori, and M.J. Maher. Representation results for de- feasible logic. ACM Trans. Comput. Logic, 2(2):255- 287, 2001. [Lam and Governatori, 2009] H. Lam, and G. Governatori. The Making of SPINdle. International Symposium on Rule Interchange and Applications (RuleML-2009), pp. 315-322, Springer, 2009.
- Kozlenkov et al., 2006] A. Kozlenkov, R. Penaloza, V. Nigam, L. Royer, G. Dawelbait, and M. Schroeder. Prova: Rule-based Java Scripting for Distributed Web Applications: A Case Study in Bioinformatics. Reactiv- ity on the Web Workshop, Munich, 2006. [Kravari et al., 2011] K. Kravari, T. Osmun, H. Boley, and N. Bassiliades. Cross-Community Interoperation Be- tween the EMERALD and Rule Responder Multi- Agent Systems. In Proceedings of the 5th International Symposium on Rules: Research Based and Industry Fo- cused (RuleML-2011) co-located with IJCAI-11, Barce- lona, Spain, 19-21 July 2011. [Paschke et al., 2007] A. Paschke, H. Boley, A. Kozlenkov, and B. Craig. Rule responder: RuleML- based Agents for Distributed Collaboration on the Pragmatic Web. In Proceedings of the 2nd Interna- tional Conference on Pragmatic Web, 17-28, vol. 280. ACM, 2007.