Abstract
The ultimate vision of the Semantic Web (SW) is to offer an interoperable and information-rich web environment that will allow users to safely delegate complex actions to intelligent agents. Much work has been done for agents’ interoperability; a plethora of proposals and standards for ontology-based metadata and rule-based reasoning are already widely used. Nevertheless, the SW proof layer has been neglected so far, although it is vital for SW agents and human users 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.
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
Hendler, J.: Agents and the Semantic Web. IEEE Intelligent Systems 16(2), 30–37 (2001)
Kravari, K., Kontopoulos, E., Bassiliades, N.: EMERALD: A Multi-Agent System for Knowledge-based Reasoning Interoperability in the Semantic Web. In: Konstantopoulos, S., Perantonis, S., Karkaletsis, V., Spyropoulos, C.D., Vouros, G. (eds.) SETN 2010. LNCS, vol. 6040, pp. 173–182. Springer, Heidelberg (2010)
JESS, the Rule Engine for the Java Platform, http://www.jessrules.com/
Kravari, K., Kontopoulos, E., Bassiliades, N.: Trusted Reasoning Services for Semantic Web Agents. Informatica: Int. J. of Computing and Informatics 34(4), 429–440 (2010)
Bassiliades, N., Antoniou, G., Vlahavas, I.: A Defeasible Logic Reasoner for the Semantic Web. IJSWIS 2(1), 1–41 (2006)
Boley, H., Tabet, S.: RuleML: The RuleML Standardization Initiative (2000), http://www.ruleml.org/
Berners-Lee, T., Hendler, J., Lassila, O.: The Semantic Web. Scientific American Magazine 284(5), 34–43 (2001) (revised 2008)
FIPA Specifications, http://www.fipa.org/specifications/
Resource Description Framework (RDF) Model and Syntax Specification, http://www.w3.org/TR/PR-rdf-syntax/
Mule ESB, http://www.mulesoft.org
Ball, M., Boley, H., Hirtle, D., Mei, J., Spencer, B.: The OO jDREW reference implementation of ruleML. In: Adi, A., Stoutenburg, S., Tabet, S. (eds.) RuleML 2005. LNCS, vol. 3791, pp. 218–223. Springer, Heidelberg (2005)
Wang, M., Purvis, M., Nowostawski, M.: An Internal Agent Architecture Incorporating Standard Reasoning Components and Standards-based Agent Communication. In: IEEE/WIC/ACM International Conference on Intelligent Agent Technology (IAT 2005), pp. 58–64. IEEE Computer Society, Washington, DC (2005)
Purvis, M., Cranefield, S., Nowostawski, M., Carter, D.: Opal: A Multi-Level Infrastructure for Agent-Oriented Software Development. In: Information Science Discussion Paper Series, number 2002/01. University of Otago, Dunedin, New Zealand (2002) ISSN 1172-602
Dastani, M., van Riemsdijk, M.B., Meyer, J.-J.C.: Programming multi-agent systems in 3APL. In: Bordini, R.H., Dastani, M., Dix, J., El Fallah Seghrouchni, A. (eds.) Multi-Agent Programming: Languages, Platforms and Applications. Springer, Berlin (2005)
Nowostawski, M.: Kea Enterprise Agents Documentation (2001)
Boley, H., Kifer, M.: A Guide to the Basic Logic Dialect for Rule Interchange on the Web. IEEE Transactions on Knowledge and Data Engineering, 1593–1608 (2010)
Nute, D.: Defeasible Reasoning. In: 20th Int. C. on Systems Science, pp. 470–477. IEEE, Los Alamitos (1987)
Maher, M.J.: Propositional defeasible logic has linear complexity. Theory and Practice of Logic Programming 1(6), 691–711 (2001)
Bassiliades, N., Vlahavas, I.: R-DEVICE: An Object-Oriented Knowledge Base System for RDF Metadata. Int. Journal on Semantic Web and Information Systems 2(2), 24–90 (2006)
Kozlenkov, A., Penaloza, R., Nigam, V., Royer, L., Dawelbait, G., Schröder, M.: Prova: Rule-based Java Scripting for Distributed Web Applications: A Case Study in Bioinformatics. In: Grust, T., Höpfner, H., Illarramendi, A., Jablonski, S., Fischer, F., Müller, S., Patranjan, P.-L., Sattler, K.-U., Spiliopoulou, M., Wijsen, J. (eds.) EDBT 2006. LNCS, vol. 4254, pp. 899–908. Springer, Heidelberg (2006)
Lam, H., Governatori, G.: The Making of SPINdle. In: Governatori, G., Hall, J., Paschke, A. (eds.) RuleML 2009. LNCS, vol. 5858, pp. 315–322. Springer, Heidelberg (2009)
Antoniou, G., Bikakis, A.: DR-Prolog: A System for Defeasible Reasoning with Rules and Ontologies on the SW. IEEE Transactions on Knowledge and Data Engineering 19, 2 (2007)
Semantic Web Knowledge Middleware, http://139.91.183.30:9090/SWKM/
Paschke, A., Boley, H., Kozlenkov, A., Craig, B.: Rule responder: RuleML-based Agents for Distributed Collaboration on the Pragmatic Web. In: 2nd International Conference on Pragmatic Web, vol. 280, pp. 17–28. ACM, New York (2007)
Antoniou, G., Bikakis, A., Dimaresis, N., Governatori, G.: Proof Explanation for a Non-monotonic Semantic Web Rules Language. Data and Knowledge Engineering 64(3), 662–687 (2008)
CS-566 Project 2010, http://www.csd.uoc.gr/~hy566/project2010.html
Antoniou, G., Billington, D., Governatori, G., Maher, M.J.: Representation results for defeasible logic. ACM Trans. Comput. Logic 2(2), 255–287 (2001)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2011 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Kravari, K., Papatheodorou, K., Antoniou, G., Bassiliades, N. (2011). Extending a Multi-agent Reasoning Interoperability Framework with Services for the Semantic Web Logic and Proof Layers. In: Bassiliades, N., Governatori, G., Paschke, A. (eds) Rule-Based Reasoning, Programming, and Applications. RuleML 2011. Lecture Notes in Computer Science, vol 6826. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-22546-8_4
Download citation
DOI: https://doi.org/10.1007/978-3-642-22546-8_4
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-22545-1
Online ISBN: 978-3-642-22546-8
eBook Packages: Computer ScienceComputer Science (R0)