Integrating Semantic Web and Software Agents: Exchanging RIF and BDI Rules

Software agents and rules are both used for creating flexibility. Exchanging rules between Semantic Web and agents can ensure consistency in rules and support easy updating and changing of rules. The Rule Interchange Format RIF is a new W3C recommendation Semantic Web standard for exchanging rules among disparate systems. Yet, the contribution of RIF in rules exchange between Semantic Web and software agents is unclear. The BDI architectural style is regarded as the predominant approach for the implementation of intelligent agents. This paper proposes a development for integrating RIF and BDI agents to enhance agent reasoning capabilities. This approach consists of an integration architecture and equivalence principles for rule translation. The equivalence principles are demonstrated using examples. The results show that the approach allows the integration of RIF with BDI agent programming and realize the translation between the two systems.

[1]  Victor Malyshkin,et al.  Assembling of Parallel Programs for Large Scale Numerical Modeling , 2010 .

[2]  Marcos Ruano-Mayoral,et al.  Partner Relationship Management: Semantic Extension of CRM Systems for the Partner Searching and Management in R&D Environments , 2012 .

[3]  Michael Wooldridge,et al.  Reasoning about rational agents , 2000, Intelligent robots and autonomous agents.

[4]  Rafael H. Bordini,et al.  JASDL: A Practical Programming Approach Combining Agent and Semantic Web Technologies , 2008, DALT.

[5]  Loïc Martínez,et al.  Blind User Interfacing: Requirements, Models and a Framework , 2012 .

[6]  Rafael H. Bordini,et al.  BDI agent programming in AgentSpeak using Jason , 2006 .

[7]  Ronald G. Ross,et al.  Principles of the business rule approach: Ronald G. Ross, Addison-Wesley Information Technology Series, February 2003, 256pp., price £30.99, ISBN 0-201-78893-4 , 2004, Int. J. Inf. Manag..

[8]  Raja Ramanathan,et al.  Service-Driven Approaches to Architecture and Enterprise Integration , 2013 .

[9]  B. Dwolatzky,et al.  Agile Software Methods: State-of-the-Art , 2007 .

[10]  Marijn Janssen,et al.  Agent-Based Simulation for Evaluating Flexible and Agile Business Processes: Separating Knowledge Rules, Process Rules and Information Resources , 2010, EOMAS.

[11]  Brian Logan,et al.  Modularity and Compositionality in Jason , 2009, PROMAS.

[12]  James A. Hendler,et al.  From the Semantic Web to social machines: A research challenge for AI on the World Wide Web , 2010, Artif. Intell..

[13]  Pandian Vasant,et al.  Innovative Hybrid Genetic Algorithms and Line Search Method for Industrial Production Management , 2010 .

[14]  Marin Litoiu,et al.  Migrating Legacy Applications - Challenges in Service Oriented Architecture and Cloud Computing Environments , 2013, Migrating Legacy Applications.

[15]  Guido Governatori,et al.  A Contract Agreement Policy-Based Workflow Methodology for Agents Interacting in the Semantic Web , 2010, RuleML.

[16]  Bernard Wong Different Views of Software Quality , 2006 .

[17]  Wil M. P. van der Aalst,et al.  A Declarative Approach for Flexible Business Processes Management , 2006, Business Process Management Workshops.

[18]  Pierre F. Tiako,et al.  Software Applications: Concepts, Methodologies, Tools, and Applications , 2009 .

[19]  Jacky Estublier,et al.  Model Driven Integration of Heterogeneous Software Artifacts in Service Oriented Computing , 2013 .

[20]  Ilkka Niemelä,et al.  Logic programs with stable model semantics as a constraint programming paradigm , 1999, Annals of Mathematics and Artificial Intelligence.

[21]  Bram Klievink,et al.  A Flexible, Event-Driven, Service-Oriented Architecture for Orchestrating Service Delivery , 2009, IEEE Intelligent Systems.

[22]  Peter Norvig,et al.  Artificial intelligence - a modern approach, 2nd Edition , 2003, Prentice Hall series in artificial intelligence.

[23]  Michael Wooldridge,et al.  Programming Multi-Agent Systems in AgentSpeak using Jason (Wiley Series in Agent Technology) , 2007 .

[24]  Peter Norvig,et al.  Artificial Intelligence: A Modern Approach , 1995 .

[25]  Davide Ancona,et al.  Languages for Programming BDI-style Agents: an Overview , 2005, WOA.

[26]  Wendy Hall,et al.  The Semantic Web Revisited , 2006, IEEE Intelligent Systems.

[27]  Fumie Costen,et al.  Opportunities and challenges in porting a parallel code from a tightly-coupled system to the distributed EU Grid, enabling Grids for E-sciencE , 2012 .

[28]  Shiping Chen,et al.  Dynamic Business Collaborations Through Contract Services , 2011, Int. J. Syst. Serv. Oriented Eng..

[29]  Mike P. Papazoglou,et al.  A Framework for Business Rule Driven Web Service Composition , 2003, ER.

[30]  Joanna Leng,et al.  Handbook of Research on Computational Science and Engineering: Theory and Practice , 2011 .

[31]  Mohamed Khalgui,et al.  A UML-Compliant Approach for Intelligent Reconfiguration of Embedded Control Systems , 2013 .

[32]  Shazia Wasim Sadiq,et al.  A Survey of Comparative Business Process Modeling Approaches , 2007, BIS.

[33]  Michael Luck,et al.  Agent technology, Computing as Interaction: A Roadmap for Agent Based Computing , 2005 .

[34]  Yuh-Jong Hu,et al.  Challenges for Rule Systems on the Web , 2009, RuleML.

[35]  L. Li,et al.  Enhancing competitive edge through knowledge management in implementing ERP systems , 2006 .

[36]  G Stix,et al.  The mice that warred. , 2001, Scientific American.

[37]  Alfred Horn,et al.  On sentences which are true of direct unions of algebras , 1951, Journal of Symbolic Logic.

[38]  Álvaro F. Moreira,et al.  Proving the Asymmetry Thesis Principles for a BDI Agent-Oriented Programming Language , 2002, Computational Logic in Multi-Agent Systems.

[39]  Huajun Chen,et al.  The Semantic Web , 2011, Lecture Notes in Computer Science.

[40]  Richard Vidgen,et al.  Agile and Lean Service-Oriented Development: Foundations, Theory, and Practice , 2012 .

[41]  Michael Kifer,et al.  RIF Framework for Logic Dialects , 2009 .

[42]  Alexander Verbraeck,et al.  An agent-based simulation testbed for evaluating internet-based matching mechanisms , 2005, Simul. Model. Pract. Theory.

[43]  Xiaocheng Ge,et al.  Agile Development of Security-Critical Enterprise System , 2013 .

[44]  Dickson K. W. Chiu Mobile and Web Innovations in Systems and Service-Oriented Engineering , 2012 .