LPIS Home Page
Google Search

Title: A Defeasible Logic Reasoner for the Semantic Web
Author(s): N. Bassiliades, G. Antoniou, I. Vlahavas.
Availability: Click here to download the PDF (Acrobat Reader) file (16 pages).
Keywords: RDF, rules, reasoning, defeasible logic, rule markup languages, semantic brokering.
Appeared in: Third International Workshop on Rules and Rule Markup Languages for the Semantic Web (RuleML 2004), G. Antoniou, H. Boley (Ed.), Springer-Verlag, LNCS 3323, pp. 49-64, Hiroshima, Japan, 8 Nov. 2004, 2004.
Abstract: 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. This paper describes these scenarios in more detail, and reports on the implementation of a system for defeasible reasoning on the Web. The system is called DR-DEVICE and is capable of reasoning about RDF metadata over multiple Web sources using defeasible logic rules. The system is imple-mented on top of CLIPS production rule system and builds upon R-DEVICE, an earlier deductive rule system over RDF metadata 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 OO-RuleML syntax. The opera-tional semantics of defeasible logic are implemented through compilation into the generic rule language of R-DEVICE. The paper includes a complete exam-ple of a semantic web broker that reasons about apartment renting.
See also : DR-DEVICE

        This paper has been cited by the following:

1 L. Cecchi, P. Fillottrani, G. Simari., "An Analysis of the Computational Complexity of DeLP: Preliminary Report", CACIC'05, 11mo. Congreso Argentino de Ciencias de la Computación, pages 1170-1181, Concordia, Argentina. October 2005.
2 Burek, P., Grabos, R. "Dually Structured Concepts in the Semantic Web: Answer Set Programming Approach", The Semantic Web: Research and Applications. Proceedings of the Second European Semantic Web Conference, ESWC 2005, Gómez-Pérez, A., Euzenat, J. (eds.), Heraklion, Crete, Greece, Springer-Verlag, LNCS, Vol. 3532, p. 377-391, 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 Thomas Skylogiannis, “Automated Negotiation and Semantic Brokering with Intelligent Agents Using Defeasible Logic”, Msc Thesis, Department of Computer Science, University of Crete, January 2005.
5 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.
6 Sergio Alejandro Gomez, Carlos Ivan Chesnevar, Guillermo Ricardo Simari, "Incorporating Defeasible Knowledge and Argumentative Reasoning in Web-based Forms", Proc. of the 3rd Intl. Workshop on Intelligent Techniques for Web Personalization (ITWP 2005), in 19th Intl. Joint Conf. in Artificial Intelligence (IIJCAI 2005), Edimburgh, UK, July 2005.
7 Carlos I. Chesnevar, Ana G. Maguitman, Guillermo R. Simari, “Argument-Based Critics and Recommenders: A Qualitative Perspective on User Support Systems”, Journal of Data and Knowledge Engineering, Vol. 59, No. 2, pp. 293-319, 2006.
8 Laura A. Cecchi, Pablo R. Fillottrani, Guillermo R. Simari, "On the Complexity of DeLP through Game Semantics", 11th Int. Workshop on Non-Monotonic Reasoning (NMR-06), Lake District area, UK, 30 May - 1 June, 2006, pp. 386-394. on-line proceedings at: http://www2.in.tu-clausthal.de/~tmbehrens /NMR_Proc_TR4.pdf
9 Laura A. Cecchi, Pablo Fillottrani, Guillermo Simari, "Sobre la Complejidad y el Poder Expresivo de DeLP a traves de la Semantica basada en Juegos", Proc. 8th Workshop de Investigadores en Ciencias de la Computacion (WICC 2006), pp. 133-136, Universidad de Morón, Buenos Aires, Argentina, 2006.
10 Laura A. Cecchi, Pablo Fillottrani, Guillermo Simari, "Complejidad Computacional y Descriptiva de la Programacion en Logica Rebatible", Proc. 9th Workshop de Investigadores en Ciencias de la Computacion (WICC 2007), pp. 58-61, Universidad Nacional de la Patagonia, San Juan Bosco, Argentina, 2007.
11 Harold Boley, "Are Your Rules Online? Four Web Rule Essentials", Keynote speech at Int. RuleML Symposium on Rule Interchange and Applications (RuleML-2007), October 25-26, 2007, Orlando, Florida, USA, Springer-Verlag, LNCS 4824, pp. 7–24.
12 C. Chesnevar, A. Maguitman, G. Simari, "Recommender Systems based on Argumentation”, in Emerging Artificial Intelligence Applications in Computer Engineering, I. Maglogiannis, K. Karpouzis, J. Soldatos, eds., Series Frontiers in Artificial Intelligence and Applications, Vol. 160, pp. 53-70, IOS Press, 2007.
13 Sergio Alejandro Gomez, Carlos Ivan Chesnevar and Guillermo Ricardo Simari, "Defeasible Reasoning in Web-Based Forms through Argumentation", International Journal of Information Technology and Decision Making (IJITDM), Vol. 7, Issue 1, pp. 71-101, March 2008.
14 Lai-Chen Lu, “Automatic Electronic Business Collaboration Based On Intelligent Agent Technology”, PhD Thesis, Department of Computer Science and Engineering, Tatung University, Korea, June 2009.
15 Rossella Rubino, “An Implementation of Temporal Defeasible Logic for Legal Reasoning”, PhD Thesis, PhD Thesis, Centro Interdipartimentale di Ricerca in Storia del Diritto, Filosofia e Sociologia del Diritto e Informatica Giuridica, University of Bolognia, 2009.
16 Cecchi, Laura ; Fillotranni, Pablo Ruben ; Simari, Guillermo Ricardo; “Complejidad de la programacion en logica rebatible”, XI Workshop de Investigadores en Ciencias de la Computacion (WICC 2009), RedUNCI, pp. 153-156.
17 Joshi, Manish; Bhavsar, Virendra; Boley, Harold, “A Knowledge Representation Model for Matchmaking Systems in e-Marketplaces”, Proc. 11th International Conference on Electronic Commerce (ICEC 2009), http://nparc.cisti-icist.nrc-cnrc.gc.ca/npsi/ctrl?action=rtdoc&an=15073194&lang=en.
18 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.
19 Laura A. Cecchi, Guillermo R. Simari, “DeLP marking procedure for dialectical trees is PSPACE-complete”, XVII Argentine Congress of Computer Science, Computer Science & Technology Series, Red De Universidades Con Carreras En Informatica, Universidad Nacional de La Plata, 2012, pp. 275-286, ISBN 978-950-34-0885-8