LPIS Home Page
Google Search

Title: DR-DEVICE: A Defeasible Logic System for the Semantic Web
Author(s): N. Bassiliades, G. Antoniou, I. Vlahavas.
Availability: Click here to download the PDF (Acrobat Reader) file (15 pages).
Keywords: rules, reasoning, defeasible logic, rule markup languages, semantic brokering.
Appeared in: Second International Workshop on Principles and Practice of Semantic Web Reasoning (PPSWR04), Sebastian Schaffert (Ed.), Springer-Verlag, LNCS 3208, pp. 134-148, St Malo, France, 6-10 Sept., 2004.
Abstract: This paper presents DR-DEVICE, a system for defeasible reasoning on the Web. Defeasible reasoning is a rule-based approach for efficient reasoning with incomplete and inconsistent information. Such reasoning is, among others, useful for ontology integration, where conflicting information arises naturally; and for the modeling of business rules and policies, where rules with exceptions are often used. In this paper we describe these scenarios in more detail along with the implementation of the DR-DEVICE system, which is capable of reasoning about RDF data over multiple Web sources using defeasible logic rules. The system is implemented on top of CLIPS production rule system and builds upon R-DEVICE, an earlier deductive rule system over RDF data that also supports derived attribute and aggregate attribute rules. Rules can be expressed either in a native CLIPS-like language, or in an extension of the OORuleML syntax. The operational semantics of defeasible logic are implemented through compilation into the generic rule language of R-DEVICE. The paper includes a use case of a semantic web broker that reasons defeasibly about renting apartments based on buyer's requirements (expressed RuleML defeasible logic rules) and seller's advertisements (expressed in RDF).
See also : DR-DEVICE

        This paper has been cited by the following:

1 Matteo Baldoni, Cristina Baroglio, and Nicola Henze, "Personalization for the Semantic Web", Reasoning Web, First International REWERSE Summer School 2005, N. Eisinger and J. Maluszynski (Eds.), LNCS Tutorials, Vol. 3564, Springer-Verlag, pp. 173–212, Malta, July 2005.
2 Governatori, G., "Representing business contracts in RuleML", International Journal of Cooperative Information Systems, 14 (2-3), pp. 181-216, 2005.
3 Guido Governatori, Duy Pham Hoang, “A Semantic Web Based Architecture for e-Contracts in Defeasible Logic”, Proc. International Conference on Rules and Rule Markup Languages for the Semantic Web (RuleML-2005), A. Adi, S. Stoutenburg, S. Tabet (Ed.), Springer-Verlag, LNCS 3791, pp. 145 - 159, Galway, Ireland, 10-12 November, 2005.
4 M. Dastani, G. Governatori, A. Rotolo, L. van der Torre, “Programming Cognitive Agents in Defeasible Logic”. Proceedings LPAR'05, Springer, LNAI, Vol. 3835, pp. 621-636, 2005.
5 Palmirani, M. and Riveret, R. (2005), A Multiagent System for Managing Normative Consolidation, In: Proceedings of The 4th Workshop on the Law and Electronic Agents (LEA 2005), pp. 21-31.
6 Guido Governatori, Duy Pham Hoang, "DR-CONTRACT: An Architecture for e-Contracts in Defeasible Logic", In Claudio Bartolini, Guido Governatori, and Zoran Milosevic (eds). Proceedings on the 2nd EDOC Workshop on Contract Architectures and Languages (CoALa 2005). Enschede, NL, 20 September 2005. IEEE Press.
7 Governatori, Guido and Rotolo, Antonino and Sartor, Giovanni (2005) Temporalised Normative Positions in Defeasible Logic. In Gardner, Anne, Eds. Proceedings of the 10th International Conference on Artificial Intelligence and Law (ICAIL-05), 6-10 June, 2005, Bologna, Italy.
8 Hui Dong, Zhimin Wang, Robert A, Morris, “Rule based Security Policy management forWeb Service Integration”, Technical Report, Department of Computer Science, University of Massachusetts Boston, 2006. (available at: http://efg.cs.umb.edu/pubs/securityRules.pdf).
9 Guido Governatori, Antonino Rotolo and Vineet Padmanabhan, "The Cost of Social Agents", In 5th International Conference on Autonomous Agents and Multi-Agent Systems (AAMAS06), May 8–12 2006, Hakodate, Hokkaido, Japan, ACM Press, pp. 513-520, 2006.
10 Hirankitti, V., Xuan, V.T., "A meta-logical approach for reasoning with semantic web ontologies", Proceedings of the 4th IEEE International Conference on Research, Innovation and Vision for the Future, RIVF'06, pp. 229-236.
11 Philip Smart, Alia I. Abdelmoty, Baher A. El-Geresy, Christopher B. Jones, "A Framework for combining Rules and Geo-ontologies", Proc. 1st Int. Conf on Web Reasoning and Rule Systsems (RR 2007), Innsbruck, Austria, June 2007, LNCS 4524, Springer, pp. 133-147.
12 Jie Bao, “Representing and reasoning with modular ontologies”, PhD Dissertation, Computer Science Dept., Iowa State University, USA, 2007.
13 Regis Riveret, Monica Palmirani, Antonino Rotolo, "Legal Consolidation formalised in Defeasible Logic and based on Agents", Proceedings of the V Legislative XML Workshop, pp. 117-135, 2007.
14 G. Governatori, A. Rotolo, R. Riveret, M. Palmirani, G. Sartor, "Variants of Temporal Defeasible Logics for Modelling Norm Modifications", 11th International Conference on Artificial Intelligence and Law (ICAIL ’07), June 4-8, 2007, Palo Alto, CA USA, pp.
15 Riveret, R., Rotolo, A. and Governatori, G. (2007). Interaction between Normative Systems and Cognitive Agents in Temporal Modal Defeasible Logic. In: Boella, G., Torre, L. v. d. and Verhagen, H. Normative Multi-Agent Systems (NorMAS), Dagstuhl, Germany.
16 Governatori, Guido, Rotolo, Antonino, "BIO Logical Agents: Norms, Beliefs, Intentions in Defeasible Logic", Normative Multi-agent Systems, Dagstuhl Seminar Proceedings, 2007.
17 Guido Governatori and Antonino Rotolo, "Changing Legal Systems: Abrogation and Annulment. Part I: Revision of Defeasible Theories", 9th Int. Conf. on Deontic Logic in Computer Science (DEON2008), Luxemburg, July 2008, LNAI, Vol. 5076, pp. 3-18.
18 Governatori, Guido and Rotolo, Antonino. Changing Legal Systems: Abrogation and Annulment. Part II: Temporalised Defeasible Logic. In: 3rd International Workshop on Normative Multiagent Systems (NorMAS 2008), Luxembourg, 15-16 July 2008.
19 Duy Hoang Pham, Guido Governatori, and Simon Raboczi, "Agents adapt to majority behaviours", Proceedings of The 2008 IEEE International Conference on Research, Innovation and Vision for the Future, 2008. RIVF’08. Ho Chi Minh City, 13–17 July.
20 Regis Riveret, "Interactions Between Normative Systems And Software Cognitive Agents: A Formalization In Temporal Modal Defeasible Logic", PhD Thesis, Centro Interdipartimentale di Ricerca in Storia del Diritto, Filosofia e Sociologia del Diritto e Informatica Giuridica, University of Bolognia, 2008.
21 Billington, D., "Propositional clausal defeasible logic", Logics in Artificial Intelligence, Proceedings 11th European Conf., JELIA 2008, Dresden, Germany, Sep 28-Oct 1 2008. LNAI, 5293, pp. 34-47, 2008.
22 Governatori, G., Rotolo, A., "BIO logical agents: Norms, beliefs, intentions in defeasible logic", Autonomous Agents and Multi-Agent Systems, 17 (1), pp. 36-69, 2008.
23 A. Rotolo, G. Sartor and C. Smith, "Good Faith in Contract Negotiation and Performance", International Journal of Business Process, Integration and Management, Forthcoming.
24 R. Rubino, “An Implementation of Temporal Defeasible Logic for Legal Reasoning”, PhD Thesis, Centro Interdipartimentale di Ricerca in Storia del Diritto, Filosofia e Sociologia del Diritto e Informatica Giuridica, University of Bolognia, 2009.
25 G. Giannikis, “Symbolic Representations and Common-sense Reasoning in Open Multi-agent Systems”, PhD thesis, University of Thessaly, Dept. of Computer and Communications Engineering, Volos, Greece, June 2009.
26 Mwangi Josephine Wambui, “Software Agents for Projects Identification – The Case of CDF Projects”, MSc thesis, School of Computing and Informatics, University Of Nairobi, Kenya, June 2009.
27 Duy Hoang Pham, “Efficient Representation and Effective Reasoning for Multi-Agent Systems”, PhD thesis, School of Information Technology and Electrical Engineering, University Of Queensland, Australia, April 2010.
28 Janjua, N.K.; Hussain, F.K.; , "Rule-Based Business Policies Specification, Reasoning and Integration for Business Process Model Extraction," Broadband and Wireless Computing, Communication and Applications (BWCCA), 2011 International Conference on , vol., no., pp.51-56, 26-28 Oct. 2011
29 Janjua, Naeem Khalid; Hussain, Farookh Khadeer; , "Defeasible Reasoning Based Argumentative Web-IDSS for Virtual Teams (VTs)," Web Intelligence and Intelligent Agent Technology (WI-IAT), 2011 IEEE/WIC/ACM International Conference on , vol.3, no., pp.330-334, 22-27 Aug. 2011
30 Billington, D., “A defeasible logic for clauses”, (2011) Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 7106 LNAI, pp. 472-480.
31 Janjua, Naeem; Hussain, Farookh; Hussain, Omar; "Semantic information and knowledge integration through argumentative reasoning to support intelligent decision making", Information Systems Frontiers, pp. 1-26, 2012.
32 Sergio Alejandro Gomez and Guillermo Simari, “Ontology Merging Using Belief Revision and Defeasible Logic Programming”, Workshop Agentes y sistemas inteligentes (WASI), XVIII Congreso Argentino de Ciencias de la Computación, Red de Universidades con Carreras en Informática (RedUNCI), 8-12 Oct 2012.
33 Chan, L.W., Hexel, R., Wen, L., “Integrating non-monotonic reasoning into high level component-based modelling using behavior trees”, (2012) Frontiers in Artificial Intelligence and Applications, 246, pp. 21-40.
34 Naeem Khalid Janjua, Farookh Khadeer Hussain, Web@IDSS – Argumentation-enabled Web-based IDSS for reasoning over incomplete and conflicting information, Knowledge-Based Systems, Volume 32, August 2012, pp. 9-27.
35 Chan, L.W., Hexel, R., Wen, L., “Rule-based behaviour engineering: Integrated, intuitive formal rule modeling”, (2013) Proceedings of the Australian Software Engineering Conference, ASWEC, art. no. 6601289, pp. 20-29.
36 Sergio Alejandro Gómez, Guillermo Ricardo Simari, “Merging of Ontologies Using Belief Revision and Defeasible Logic Programming”, Revista Iberoamericana de Inteligencia Artificial, Vol 16, No 52 (2013). Pp. 16-18.
37 Naeem Khalid Janjua, A Defeasible Logic Programming-Based Framework to Support Argumentation in Semantic Web Applications, Springer Theses, ISBN 978-3-319-03948-0, 2014.