tutorial

Agents and knowledge interoperability in the semantic web era

Author:

Nick BassiliadesAuthors Info & Claims

WIMS '12: Proceedings of the 2nd International Conference on Web Intelligence, Mining and Semantics

Article No.: 7, Pages 1 - 13

https://doi.org/10.1145/2254129.2254140

Published: 13 June 2012 Publication History

Abstract

This tutorial will discuss about issues, technologies and tools that concern the way that the Semantic Web affects knowledge and information interchange among intelligent agents in multi-agent systems, as well as reasoning interoperability. First, the tutorial will discuss how semantic web rules and ontologies interact with each other in order to be used as the agent's internal knowledge base for environment awareness and decision making. Then, interoperability between reasoning systems for agents will be discussed. The issues involved in all the previous discussion will be exemplified using actual implemented tools for semantic web reasoning in multi-agents systems.

References

[1]

Antoniou, G., & Harmelen, F. (2004). A Semantic Web Primer. Cooperative Information Systems. MIT Press.

Digital Library

[2]

Antoniou, G., Damasio, C. V., Grosof, B., Horrocks, I., Kifer, M., Maluszynski, J., & Patel-Schneider, P. F. (2005). Combining Rules and Ontologies. A Survey. Reasoning on the Web with Rules and Semantics, REWERSE Deliverables.

[3]

Baader, F. and Sattler, U. (2001). An overview of tableau algorithms for description logics. Studia Logica, 69(1), 5-40. Springer.

[4]

Baral, C. (2003). Knowledge Representation, Reasoning, and Declarative Problem Solving. Cambridge University Press.

Digital Library

[5]

Bassiliades N., and Vlahavas I. 2006. R-DEVICE: An Object-Oriented Knowledge Base System for RDF Metadata. Int. J. on Semantic Web and Information Systems, 2(2): 24--90.

[6]

Bassiliades, N., Antoniou, G., and Vlahavas, I. 2006. A Defeasible Logic Reasoner for the Semantic Web. Int. J. on Semantic Web and Information Systems, 2(1):1--41.

[7]

Bellifemine, F., Caire, G., Poggi, A., and Rimassa, G. 2003. JADE: A white Paper. EXP in search of innovation, Vol. 3, No. 3. (2003), pp. 6--19.

[8]

Berners-Lee, T., Hendler, J., & Lassila, O. (2001). The Semantic Web. Scientific American Magazine, 284(5), 34--43.

[9]

Boley, H. 2006. The RuleML Family of Web Rule Languages. In Principles and Practice of Semantic Web Reasoning. Springer, 1--17.

Digital Library

[10]

Boley, H.; Kifer, M.; "A Guide to the Basic Logic Dialect for Rule Interchange on the Web," IEEE Trans. on Knowledge and Data Engineering, 22(11), pp.1593--1608, Nov. 2010.

Digital Library

[11]

de Bruijn, J., Lara, R., Polleres, A., & Fensel, D. (2005). OWL DL vs. OWL Flight: Conceptual Modeling and Reasoning for the Semantic Web. In Proc. of the Int. Conf. on World Wide Web (pp. 623--632), ACM Press.

Digital Library

[12]

Drabent, W., Henriksson, J., & Maluszynski, J. (2007). HD-rules: A Hybrid System Interfacing Prolog with DL-reasoners. In Proc. of Applications of Logic Programming to the Web, Semantic Web and Semantic Web Services. Vol. 287 (pp. 76--90). CEUR-WS.

[13]

Eiter, T., Lukasiewicz, T., Schindlauer, R., & Tompits, H. (2004). Combining Answer Set Programming with Description Logics for the Semantic Web. In Proc. of the Int. Conf. of Knowledge Representation and Reasoning (pp. 141--151). Morgan Kaufmann.

[14]

Forgy, C. L. (1982). Rete: A Fast Algorithm for the Many Pattern/Many Object Pattern Match Problem. Artificial Intelligence, 19(1), 17--37.

Digital Library

[15]

Friedman-Hill, E. (2008). Jess, the Rule Engine for the Java Platform. http://herzberg.ca.sandia.gov/

[16]

Genesereth M, Fikes R (1992) Knowledge Interchange Format Version 3.0 Reference Manual. Technical Report, Logic Group, Computer Science Dept., Stanford University.

[17]

Grosof, B. N., Horrocks, I., Volz, R., & Decker, S. (2003). Description Logic Programs: Combining Logic Programs with Description Logic. In Proc. of the Int. Conf. on World Wide Web (pp. 48--57). ACM Press.

Digital Library

[18]

Hayes, P. (2004). RDF Semantics. http://www.w3.org/TR/rdf-mt/.

[19]

Hendler, J. 2001. Agents and the Semantic Web. IEEE Intelligent Systems, 16(2):30--37.

Digital Library

[20]

Heymans, S., Predoiu, L., Feier, C., de Bruijn, J., & Van Nieuwenborgh, D. (2006). G-Hybrid Knowledge Bases. Proc. Workshop on Applications of Logic Programming in the Semantic Web and Semantic Web Services. Vol. 196. CEUR-WS.

[21]

Hitzler, P., & Vrandecic, D. (2005). The SCREECH OWL Reasoner - Scalable approximate ABox reasoning for OWL. International Semantic Web Conference, Software Demo.

[22]

Horrocks, I., & Sattler, U. (2004). Decidability of SHIQ with Complex Role Inclusion Axioms. Artificial Intelligence, 160(1), 79--104. Elsevier.

Digital Library

[23]

Horrocks, I., Li, L., Turi, D., & Bechhofer, S. (2004). The Instance Store: Description Logic Reasoning with Large Numbers of Individuals. In Proceedings of the Workshop on Description Logics. Vol. 104 (pp. 31--40). CEUR-WS.

[24]

Horrocks, I., Patel-Schneider, P. F., Boley, H., Tabet, S., Grosof, B., & Dean, M. (2004). SWRL: A Semantic Web Rule Language Combining OWL and RuleML. Technical report, W3C Member Submission.

[25]

Horst, H. J. (2004). Extending the RDFS Entailment Lemma, In Proc. Int. Semantic Web Conf. (pp. 77--91). Springer.

Digital Library

[26]

Horst, H. J. (2005). Completeness, Decidability and Complexity of Entailment for RDF Schema and a Semantic Extension Involving the OWL Vocabulary, Journal of Web Semantics, 3(2--3), 79--115.

Digital Library

[27]

Kattenstroth, H., May, W., & Schenk, F. (2007). Combining OWL with F-Logic Rules and Defaults. In Proc. of the Int. Workshop on Applications of Logic Programming to the Web, Semantic Web and Semantic Web Services. Vol. 287 (pp. 60--75). CEUR-WS.

[28]

Kifer, M., Lausen, D., & Wu, J. (1995). Logical Foundations of Object-Oriented and Frame-Based Languages. Journal of ACM, 42(4), 741--843.

Digital Library

[29]

Kozlenkov, A., Penaloza, R., Nigam, V., Royer, L., Dawelbait, G., and Schroeder, M. 2006. Prova: Rule-based Java Scripting for Distributed Web Applications: A Case Study in Bioinformatics. Workshop on Reactivity on the Web at the International Conference on Extending Database Technology (EDBT 2006). Springer, pp.899--908.

Digital Library

[30]

Kravari K., Kastori G., Bassiliades N., Governatori G., "A Contract Agreement Policy-Based Workflow Methodology for Agents Interacting in the Semantic Web", Semantic Web Rules, Proc. 4th Int. Web Rule Symposium (RuleML 2010), Springer, 6403, pp. 225--239, Washington, DC, USA, 2010.

Digital Library

[31]

Kravari, K., Kontopoulos, E., and Bassiliades, N. 2009. Towards a Knowledge-based Framework for Agents Interacting in the Semantic Web, IEEE/WIC/ACM Int. Conf. on Intelligent Agent Technology (IAT'09), Vol. 2, pp. 482--485.

Digital Library

[32]

Kravari, K., Kontopoulos, E., and Bassiliades, N. 2010. Trusted Reasoning Services for Semantic Web Agents, Informatica: International Journal of Computing and Informatics, 34(4), pp. 429--440.

[33]

Lam, H., and Governatori, G. 2009. The Making of SPINdle. RuleML-2009 Int. Symp. on Rule Interchange and Applications, Springer, pp. 315--322.

Digital Library

[34]

Levy, A. Y., & Rousset, M. (1998). Combining Horn Rules and Description Logics in CARIN. Artificial Intelligence, 104(1--2), 165--209. Elsevier.

Digital Library

[35]

Maher MJ (2001) Propositional defeasible logic has linear complexity. Theory and Practice of Logic Programming 1(6):691--711.

Digital Library

[36]

Meditskos G. and Bassiliades N., Rule-based OWL Reasoning Systems: Implementations, Strengths and Weaknesses, Handbook of Research on Emerging Rule-Based Languages and Technologies: Open Solutions and Approaches, IGI Global (2009), ISBN: 978-1-60566-402-6.

[37]

Meditskos G., Bassiliades N., "Combining a DL Reasoner and a Rule Engine for Improving Entailment-based OWL Reasoning", Proc. 7th Int. Semantic Web Conf. (ISWC-2008), 26--30 Oct 2008, Karlsruhe, Germany, Springer, LNCS, Vol. 5318, pp. 277--292, 2008.

Digital Library

[38]

Meditskos G., Bassiliades N., "DLEJena: A Practical Forward-Chaining OWL 2 RL Reasoner Combining Jena and Pellet", Journal of Web Semantics, 8(1), pp. 89--94, 2010.

Digital Library

[39]

Meditskos G., Bassiliades N., CLIPS--OWL: A framework for providing object-oriented extensional ontology queries in a production rule engine, Data & Knowledge Engineering, 70(7), 2011, pp. 661--681.

Digital Library

[40]

Meditskos, G., & Bassiliades, N. (2008). A Rule-Based Object-Oriented OWL Reasoner. IEEE Transactions on Knowledge and Data Engineering, 20, 397--410.

Digital Library

[41]

Mei, J., Lin, & Z., Boley, H. (2007). ALC: An Integration of Description Logic and General Rules, In Proceedings of the Web Reasoning and Rule Systems (pp. 163--177). Springer.

Digital Library

[42]

Motik, B., Horrocks, I., Rosati, R., & Sattler, U. (2006). Can OWL and Logic Programming Live Together Happily Ever After?. Proc. of the Int. Semantic Web Conf. (pp. 501--514). Springer.

Digital Library

[43]

Nute, D. 1987. Defeasible Reasoning, 20th Int. Conference on Systems Science, IEEE Press, pp. 470--477.

[44]

Patel-Schneider, P. F., & Horrocks, I. (2006). Position Paper: A Comparison of Two Modelling Paradigms in the Semantic Web. In Proc. of the Int. Conf. on World Wide Web (pp 3--12). ACM Press.

Digital Library

[45]

Prud'hommeaux, E., & Seaborne, A. (2008). SPARQL Query Language for RDF. Retrieved April 14, 2008, from http://www.w3.org/TR/rdf-sparql-query/.

[46]

RDF Working Group, Resource Description Framework (RDF), W3C, http://www.w3.org/RDF/

[47]

Reynolds, D. 2010. OWL 2 RL in RIF. W3C Working Group Note 22 June 2010. Available at: http://www.w3.org/TR/rif-owl-rl/#Background_OWL_2_RL, last access: Nov. 2011.

[48]

Riley, G. (2008). CLIPS: A Tool for Building Expert Systems. http://www.ghg.net/clips/CLIPS.html

[49]

Rosati, R. (1999). Towards expressive KR systems integrating datalog and description logics: preliminary report. In Proceedings of the International Workshop on Description Logics. Vol. 22 (pp. 160--164). CEUR-WS.

[50]

Rosati, R. (2005). Semantic and Computational Advantages of the Safe Integration of Ontologies and Rules. In Proceedings of Principles and Practice of Semantic Web Reasoning (pp. 50--64). Springer.

Digital Library

[51]

Sirin, E., Parsia, B., Grau, B. C., Kalyanpur, A., & Katz, Y. (2007). Pellet: A Practical OWL-DL Reasoner. Web Semantics: Science, Services and Agents on the World Wide Web, 5(2), 51--53.

Digital Library

[52]

The Foundation for Intelligent Physical Agents (FIPA): Specifications. 2002. http://www.fipa.org/specifications.

[53]

W3C OWL Working Group. 2009. OWL 2 Web Ontology Language Document Overview. W3C Recommendation 27 October 2009. http://www.w3.org/TR/owl2-overview/.

[54]

Wagner G et al. (2005) R2ML: A General Approach for Marking up Rules. Dagstuhl Seminar Proceedings 05371, Principles and Practices of Semantic Web Reasoning

[55]

Wagner, G., Antoniou, G., Tabet, S., & Boley, H. (2004). The Abstract Syntax of RuleML - Towards a General Web Rule Language Framework. In Proc. Int. Conf. on Web Intelligence (pp. 628--631). IEEE Computer Society.

Digital Library

[56]

Wang, K., Billington, D., Blee, J., & Antoniou, G. (2004). Combining Description Logic and Defeasible Logic for the Semantic Web, In Proc. of Rules and Rule Markup Languages for the Semantic Web (pp. 170--181). Springer.

Cited By

Pandey RSrivastava NBajpai A(2023)Ontology and Description Logic for E-LearningArchitecture and Technological Advancements of Education 4.010.4018/978-1-6684-9285-7.ch015(339-360)Online publication date: 20-Oct-2023
https://doi.org/10.4018/978-1-6684-9285-7.ch015
Aguayo-Canela FAlaiz-Moretón HGarcía-Ordás MBenítez-Andrades JBenavides CGarcía-Rodríguez I(2021)Enriched multi-agent middleware for building rule-based distributed security solutions for IoT environmentsThe Journal of Supercomputing10.1007/s11227-021-03797-2Online publication date: 19-Apr-2021
https://doi.org/10.1007/s11227-021-03797-2
Aguayo-Canela FAlaiz-Moretón HGarcía-Ordás MBenítez-Andrades JBenavides CNovais PGarcía-Rodríguez I(2021)Middleware-based multi-agent development environment for building and testing distributed intelligent systemsCluster Computing10.1007/s10586-021-03270-yOnline publication date: 25-Mar-2021
https://doi.org/10.1007/s10586-021-03270-y
Show More Cited By

Index Terms

Agents and knowledge interoperability in the semantic web era

Recommendations

OWL2Jess: a transformational implementation of the OWL semantics
ISPA'05: Proceedings of the 2005 international conference on Parallel and Distributed Processing and Applications

The wide scale usage of OWL for the formalization of real-world ontologies is currently influenced by important limitations which concern both its expressivity and the efficiency of OWL specific reasoning tools. While the expressivity limitations may be ...
Description logic programs: combining logic programs with description logic
WWW '03: Proceedings of the 12th international conference on World Wide Web

We show how to interoperate, semantically and inferentially, between the leading Semantic Web approaches to rules (RuleML Logic Programs) and ontologies (OWL/DAML+OIL Description Logic) via analyzing their expressive intersection. To do so, we define a ...
Translating owl and semantic web rules into prolog: Moving toward description logic programs

We are researching the interaction between the rule and the ontology layers of the Semantic Web, by comparing two options: 1) using OWL and its rule extension SWRL to develop an integrated ontology/rule language, and 2) layering rules on top of an ...

Comments

Information & Contributors

Information

Published In

cover image ACM Other conferences

WIMS '12: Proceedings of the 2nd International Conference on Web Intelligence, Mining and Semantics

June 2012

571 pages

ISBN:9781450309158

DOI:10.1145/2254129

Conference Chair:
Dumitru Dan Burdescu
University of Craiova, Romania
,
Program Chairs:
Rajendra Akerkar
Western Norway Research Institute, Norway
,
Costin Bădică
SUniversity of Craiova, Romania

Copyright © 2012 Author.

Sponsors

UCV: University of Craiova
WNRI: Western Norway Research Institute

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 13 June 2012

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Author Tags

Qualifiers

Tutorial

Conference

WIMS '12

Sponsor:

UCV
WNRI

WIMS '12: 2nd International Conference on Web Intelligence, Mining and Semantics

June 13 - 15, 2012

Craiova, Romania

Acceptance Rates

Overall Acceptance Rate 140 of 278 submissions, 50%

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

5
Total Citations
View Citations
331
Total Downloads

Downloads (Last 12 months)1
Downloads (Last 6 weeks)0

Reflects downloads up to 27 Feb 2025

Other Metrics

View Author Metrics

Citations

Cited By

Pandey RSrivastava NBajpai A(2023)Ontology and Description Logic for E-LearningArchitecture and Technological Advancements of Education 4.010.4018/978-1-6684-9285-7.ch015(339-360)Online publication date: 20-Oct-2023
https://doi.org/10.4018/978-1-6684-9285-7.ch015
Aguayo-Canela FAlaiz-Moretón HGarcía-Ordás MBenítez-Andrades JBenavides CGarcía-Rodríguez I(2021)Enriched multi-agent middleware for building rule-based distributed security solutions for IoT environmentsThe Journal of Supercomputing10.1007/s11227-021-03797-2Online publication date: 19-Apr-2021
https://doi.org/10.1007/s11227-021-03797-2
Aguayo-Canela FAlaiz-Moretón HGarcía-Ordás MBenítez-Andrades JBenavides CNovais PGarcía-Rodríguez I(2021)Middleware-based multi-agent development environment for building and testing distributed intelligent systemsCluster Computing10.1007/s10586-021-03270-yOnline publication date: 25-Mar-2021
https://doi.org/10.1007/s10586-021-03270-y
Aguayo-Canela FAlaiz-Moretón HGarcía-Rodríguez IBenavides-Cuéllar CBenítez-Andrades JNovais P(2019)A FIPA-Compliant Framework for Integrating Rule Engines into Software Agents for Supporting Communication and Collaboration in a Multiagent PlatformNew Knowledge in Information Systems and Technologies10.1007/978-3-030-16184-2_13(124-133)Online publication date: 30-Mar-2019
https://doi.org/10.1007/978-3-030-16184-2_13
Akerkar RBassiliades NDavies JErmolayev VAkerkar RBassiliades NDavies JErmolayev V(2014)Research and Applications in Web Intelligence, Mining, and SemanticsProceedings of the 4th International Conference on Web Intelligence, Mining and Semantics (WIMS14)10.1145/2611040.2611045(1-6)Online publication date: 2-Jun-2014
https://dl.acm.org/doi/10.1145/2611040.2611045

View Options

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Full Access

Get this Publication

View options

PDF

View or Download as a PDF file.

eReader

View online with eReader.

Figures

Tables

Media

View Table of Conten