| 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 (35 pages).
|
| Keywords: |
defeasible logic, RDF, reasoning, rule markup languages, rules, semantic brokering.
|
| Appeared in: |
International Journal on Semantic Web and Information Systems, Amit Sheth , Miltiadis D. Lytras (Ed.), IDEA Group Publishing, Vol. 2, No. 1, pp. 1-41, 2006.
|
| 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 ex-ceptions 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 implemented 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 operational semantics of defeasible logic are implemented through compilation into the generic rule language of R-DEVICE. The paper also presents a full semantic web broker example for apartment renting. |
| See also : |
DR-DEVICE
|
This paper has been cited by the following:
| 1 |
Pontelli, E.; Tran Cao Son; Baral, C., "A Framework for Composition and Inter-operation of Rules in the Semantic Web," 2nd International Conference on Rules and Rule Markup Languages for the Semantic Web, IEEE, pp.39-50, Nov. 2006 |
| 2 |
Arjona J.L., Corchuelo R., Ruiz D., Toro M., "From Wrapping to Knowledge", IEEE Transactions on Knowledge and Data Engineering, 19(2), pp. 310-323, 2007. |
| 3 |
Tao Jiang, Ah-Hwee Tan, Ke Wang, "Mining Generalized Associations of Semantic Relations from Textual Web Content", IEEE Transactions on Knowledge and Data Engineering, 19(2), pp. 164-179, 2007. |
| 4 |
Tsinaraki C., Polydoros P., Christodoulakis S., "Interoperability Support between MPEG-7/21 and OWL in DS-MIRF", IEEE Transactions on Knowledge and Data Engineering, 19(2), pp. 219-232, 2007. |
| 5 |
Yufei Li, Yuan Wang, Xiaotao Huang, "A Relation-Based Search Engine in Semantic Web", IEEE Transactions on Knowledge and Data Engineering, 19(2), pp. 273-282, 2007. |
| 6 |
Pan J.Z., Horrocks I., "RDFS(FA): Connecting RDF(S) and OWL DL", IEEE Transactions on Knowledge and Data Engineering, 19(2), pp. 192-206, 2007. |
| 7 |
Pan J.Z., "A Flexible Ontology Reasoning Architecture for the Semantic Web", IEEE Transactions on Knowledge and Data Engineering, 19(2), pp. 246-260, 2007. |
| 8 |
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), World Scientific Publishing Company, Singapore, March 2007 (in press). |
| 9 |
El Hassan Bezzazi, "Counterfactuals and hybrid reasoning in an ontology of law articles", The Inter-Networked World: ISD Theory, Practice, and Education. Springer-Verlag, 2007. |
| 10 |
Βασίλειος Ε. Παπαταξιάρχης, «Τεχνολογίες Αναπαράστασης Γνώσης και Συμπερασμού: Η Περίπτωση ενός Έξυπνου Βοηθού Προπονητή Ποδοσφαίρου», Διπλωματική Εργασία, Πρόγραμμα Μεταπτυχιακών Σπουδών, Τμήμα Πληροφορικής και Τηλεπικοινωνιών, Εθνικό και Καποδιστριακό Πανεπιστήμιο Αθηνών, Νοέμβριος 2008. |
| 11 |
Boella, G.; Governatori, G.; Hulstijn, J.; Riveret, R.; Rotolo, A.; van der Torre, L.; , "Time and Defeasibility in FIPA ACL Semantics," Web Intelligence and Intelligent Agent Technology, 2008. WI-IAT '08. IEEE/WIC/ACM International Conference on , vol.3, no., pp.634-637, 9-12 Dec. 2008 |
| 12 |
Duy Hoang Pham, Guido Governatori, Simon Raboczi, Andrew Newman, and Subhasis Thakur, "On Extending RuleML for Modal Defeasible Logic", "Rule Representation, Interchange and Reasoning on the Web", Proc. 2008 International Symposium on Rule Interchange and Applications (RuleML-2008), Orlando, Florida, USA, 30-31 Oct. 2008, Springer, LNCS, Vol. 5321, pp. 89–103, 2008. |
| 13 |
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. |
| 14 |
Hande Zirtiloglu, Pinar Yolum, "Ranking semantic information for e-government: complaints management", Proceedings of the first international workshop on Ontology-supported business intelligence, ACM International Conference Proceeding Series, Vol. 308, Karlsruhe, Germany, Oct 27, 2008. |
| 15 |
Yevgen Biletskiy, Girish R. Ranganathan, Harold Boley, "RuleML-based learning object interoperability on the Semantic Web", International Journal of Interactive Technology and Smart Education, 5(1), 2008, pp. 39-58. |
| 16 |
Rossella Rubino and Antonino Rotolo, "A Java Implementation of Temporal Defeasible Logic", G. Governatori, J. Hall, and A. Paschke (Eds.): Rule Interchange and Applications, International Symposium, Proceedings RuleML 2009, Las Vegas, Nevada, USA, November 5-7, Springer, LNCS 5858, pp. 297–304, 2009. |
| 17 |
V. Papataxiarhis, V. Tsetsos, I. Karali, P. Stamatopoulos, S. Hadjiefthymiades. "Developing Rule-Based Applications for the Web: Methodologies and Tools". Chapter XVI in "Handbook of Research on Emerging Rule-Based Languages and Technologies: Open Solutions and Approaches", Information Science Reference, ISBN 978-1-60566-402-6, May 2009. |
| 18 |
Guido Governatori and Antonino Rotolo, “Changing legal systems: legal abrogations and annulments in Defeasible Logic”, Logic Journal of IGPL, accepted for publication, 2009. |
| 19 |
M. D. Lytras, E. Sakkopoulos, P. Ordonez de Pablos, “Semantic Web and Knowledge Management for the health domain: state of the art and challenges for the Seventh Framework Programme (FP7) of the European Union (2007-2013)”, International Journal of Technology Management, Vol. 47, No. 1-3, 2009, pp. 239 – 249. |
| 20 |
Guido Governatori, Vineet Padmanabhan, Antonino Rotolo, and Abdul Sattar, “A defeasible logic for modelling policy-based intentions and motivational attitudes”, Logic Journal of IGPL, 17(3), pp. 227-265, 2009. |
| 21 |
Ho-Pun Lam and Guido Governatori, "The Making of SPINdle", G. Governatori, J. Hall, and A. Paschke (Eds.): Rule Interchange and Applications, International Symposium, Proceedings RuleML 2009, Las Vegas, Nevada, USA, November 5-7, Springer, LNCS 5858, pp. 315–322, 2009. |
| 22 |
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. |
| 23 |
Guido Governatori, Renato Iannella, "Modelling and Reasoning Languages for Social Networks Policies", 2009 IEEE International Enterprise Distributed Object Computing Conference (edoc 2009), pp. 193-200. |
| 24 |
Guido Governatori and Duy Hoang Pham (2009), “DR-CONTRACT: An Architecture for e-Contracts in Defeasible Logic”, Int. J. Business Process Integration and Management, accepted for publication. |
| 25 |
Guido Governatori, Antonino Rotolo, Rossella Rubino, "Implementing Temporal Defeasible Logic for Modeling Legal Reasoning", 3rd Juris-Informatics Workshop (Jurisin 2009), LNCS, Springer, 2010. |
| 26 |
Ho-Pun Lam and Guido Governatori, "On the problem of computing Ambiguity Propagation and Well-Founded Semantics in Defeasible Logic", M. Dean at al. (eds), RuleML 2010, The 4th International Web Rule Symposium, LNCS 6403, Springer, pp. 119–127, 2010. |
| 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 |
Zhang, Y.-H., Fu, F.-R., Yu, C., “Semantic Web Service Selection based on QoS Ontology”, (2010) ICINA 2010 - 2010 International Conference on Information, Networking and Automation, Proceedings, 2, art. no. 5636464, pp. V2492-V2496. |
| 29 |
Governatori, G., Iannella, R., A modelling and reasoning framework for social networks policies, (2011) Enterprise Information Systems, 5 (1), pp. 145-167. |
| 30 |
Guido Boella, Guido Governatori, Joris Hulstijn, Regis Riveret, Antonino Rotolo, “Time and Defeasibility in FIPA ACL Semantics”, Journal of Applied Logic, 9 (4) pp. 274-288, 2011. |
| 31 |
Guido Governatori, “On the Relationship between Carneades and Defeasible Logic”, Proceedings of the 13th International Conference on Artificial Intelligence and Law (ICAIL’11), June 6–10 2011, Pittsbourgh, PA, USA. |
| 32 |
Guido Governatori, Antonino Rotolo, Erica Calardo, “Possible World Semantics for Defeasible Deontic Logic”, 11th International Conference on Deontic Logic in Computer Science (DEON 2012), 16-18 July 2012, University of Bergen, Norway, LNAI, Vol. 7393, Springer, 2012, pp. 46-60. |
| 33 |
Fong, J., Lam, H.-P., Robinson, R., Indulska, J., “Defeasible preferences for intelligible pervasive applications to enhance eldercare”, (2012) 2012 IEEE International Conference on Pervasive Computing and Communications Workshops, PERCOM Workshops 2012, art. no. 6197580, pp. 572-577. |
| 34 |
Guido Governatori, Francesco Olivieri, Simone Scannapieco, Matteo Cristani: Revision of Defeasible Logic Preferences CoRR abs/1206.5833: (2012) |
| 35 |
Cristhian A. D. Deagustini, Santiago E. Fulladoza Dalibon, Sebastian Gottifredi, Marcelo A. Falappa and Guillermo R. Simari, “Consistent Query Answering Using Relational Databases through Argumentation”, Proc. Database And Expert Systems Applications (DEXA 2012), Part II, Springer, Lecture Notes in Computer Science, 2012, Volume 7447/2012, pp. 1-15. |
| 36 |
246. Peng, Zhiping; Ke, Wende; Shi, Zhongzhi; “A defeasible reasoning system for inconsistent ontologies”, Journal of Huazhong University of Science and Technology (Nature Science Edition), Vol. 40, no. 1, pp. 40-44. Jan 2012 |
| 37 |
Ho Pun Lam, “On the Derivability of Defeasible Logic”, PhD thesis, School of Information Technology and Electrical Engineering, The University of Queensland, Australia, April 2012. |
| 38 |
Michael J. Maher, “Relative Expressiveness of Well-Founded Defeasible Logics”, S. Cranefield and A. Nayak (Eds.): Advances in Artificial Intelligence, Proceedings 26th Australasian Joint Conference in Artificial Intelligence, AI 2013, Dunedin, New Zealand, December 2013, LNAI 8272, pp. 338–349, 2013. |
| 39 |
Guido Governatori, Antonino Rotolo, “Computing Temporal Defeasible Logic”, L. Morgenstern et al. (Eds.): RuleML 2013, LNCS 8035, Springer, pp. 114–128, 2013. |
| 40 |
Guido Governatori, Francesco Olivieri, Antonino Rotolo, Simone Scannapieco, Matteo Cristani: Picking Up the Best Goal - An Analytical Study in Defeasible Logic. L. Morgenstern et al. (Eds.): RuleML 2013, LNCS 8035, Springer, pp. 99–113, 2013. |
| 41 |
Cristhian A.D. Deagustini, Santiago E. Fulladoza Dalibón, Sebastián Gottifredi, Marcelo A. Falappa, Carlos I. Chesñevar, Guillermo R. Simari, Relational databases as a massive information source for defeasible argumentation, Knowledge-Based Systems, Volume 51, October 2013, Pages 93-109, ISSN 0950-7051, http://dx.doi.org/10.1016/j.knosys.2013.07.010. |
|
