Copyright and Licensing
Articles accepted for publication will be licensed under the Creative Commons BY-NC-SA. Authors must sign a non-exclusive distribution agreement after article acceptance.
A defeasible logic programming approach to the integration of rules and ontologies
Keywords:
Semantic Web, Ontologies, Description Logics, Defeasible argumentation, Defeasible Logic ProgrammingAbstract
The Semantic Web is a vision of the current Web where resources have exact meaning assigned in terms of ontologies, thus enabling agents to reason about them. As inconsistencies cannot be treated by standard reasoning approaches, we use Defeasible Logic Programming (DeLP) to reason with possibly inconsistent ontologies. In this article we show how to integrate rules and ontologies in the Semantic Web. We present an approach that can be used to suitably extend the SWRL standard by incorporating classical and default negated literals in SemanticWeb rules in the presence of incomplete and possibly inconsistent information. The rules and ontologies will be interpreted as a DeLP program allowing the rules to reason on top of a set of (possibly inconsistent) ontologies.
Downloads
Download data is not yet available.
References
[1] Grigoris Antoniou, Carlos Viegas Damasio, Benjamin Grosof, Ian Horrocks, Michael Kiefer, Jan Maluszynski, and Peter F. Patel-Schneider. Combining Rules and Ontologies. A survey. REWERSE 2005, 2005.
[2] Franz Baader, Diego Calvanese, Deborah McGuinness, Daniele Nardi, and Peter Patel-Schneider, editors. The Description Logic Handbook – Theory, Implementation and Applications, Cambridge University Press, 2003.
[3] T. J. M. Bench-Capon and Paul E. Dunne. Argumentation in artificial intelligence.Artif. Intell., 171(10-15):619–641, 2007.
[4] T. Berners-Lee, J. Hendler, and O. Lassila. The Semantic Web. Scient. American, 2001.
[5] Carlos Iván Chesnevar, Ana Maguitman, and Ronald Loui. Logical Models of Argument. ACM Computing Surveys, 32(4):337–383, December 2000.
[6] Thomas Eiter, Thomas Lukasiewicz, Roman Schindlauer, and Hans Tompits. Combining Answer Set Programming with Description Logics for the Semantic Web. KR 2004, pages 141–151, 2004.
[7] A. García and G. Simari. Defeasible Logic Programming an Argumentative Approach. Theory and Prac. of Logic Program., 4(1):95–138, 2004.
[8] Sergio Alejandro Gómez, Carlos Iván Chesnevar, and Guillermo Ricardo Simari. An Argumentative Approach to Reasoning with Inconsistent Ontologies. In Thomas Meyer and Mehmet A. Orgun, editors, Proc. of the Knowledge Representation in Ontologies Workshop (KROW 2008), volume CPRIT 90, pages 11–20, Sydney, Australia, 2008.
[9] Sergio Alejandro Gómez, Carlos Iván Chesnevar, and Guillermo Ricardo Simari. Reasoning with Inconsistent Ontologies Through Argumentation. Applied Artificial Intelligence, 1(24):102–148, 2010.
[10] Benjamin N. Grosof, Ian Horrocks, Raphael Volz, and Stefan Decker. Description Logic Programs: Combining Logic Programs with Description Logics. WWW2003, May 20-24, Budapest, Hungary, 2003.
[11] T. R. Gruber. A translation approach to portable ontologies. Knowledge Acquisition, 5(2):199–220, 1993.
[12] Volker Haarslev and Ralf Möller. RACER System Description. Technical report, University of Hamburg, Computer Science Department, 2001.
[13] Ian Horrocks, Peter F. Patel-Schneider, Harold Boley, Said Tabet Benjamin Grosof, and Mike Dean. SWRL: A Semantic Web Rule Language Combining OWL and RuleML. National Research Council of Canada, Network Inference, and Stanford University, 2004.
[14] Deborah L. McGuiness and Frank van Harmelen. OWL Web Ontology Language Overview, 2004. http://www.w3.org/TR/owl-features/.
[15] Gerd Wagner. Web Rules Need Two Kinds of Negation. In N. Henze F. Bry and J. Maluszynski, editors, Proc. of the 1st International Workshop, PPSW3 ’03. Springer-Verlag LNCS 2901, 2003.
[16] M. Williams and A. Hunter. Harnessing ontologies for argument-based decision-making in breast cancer. Proc. of the Intl. Conf. on Tools with AI (ICTAI’07), pages 254–261, 2007.
[2] Franz Baader, Diego Calvanese, Deborah McGuinness, Daniele Nardi, and Peter Patel-Schneider, editors. The Description Logic Handbook – Theory, Implementation and Applications, Cambridge University Press, 2003.
[3] T. J. M. Bench-Capon and Paul E. Dunne. Argumentation in artificial intelligence.Artif. Intell., 171(10-15):619–641, 2007.
[4] T. Berners-Lee, J. Hendler, and O. Lassila. The Semantic Web. Scient. American, 2001.
[5] Carlos Iván Chesnevar, Ana Maguitman, and Ronald Loui. Logical Models of Argument. ACM Computing Surveys, 32(4):337–383, December 2000.
[6] Thomas Eiter, Thomas Lukasiewicz, Roman Schindlauer, and Hans Tompits. Combining Answer Set Programming with Description Logics for the Semantic Web. KR 2004, pages 141–151, 2004.
[7] A. García and G. Simari. Defeasible Logic Programming an Argumentative Approach. Theory and Prac. of Logic Program., 4(1):95–138, 2004.
[8] Sergio Alejandro Gómez, Carlos Iván Chesnevar, and Guillermo Ricardo Simari. An Argumentative Approach to Reasoning with Inconsistent Ontologies. In Thomas Meyer and Mehmet A. Orgun, editors, Proc. of the Knowledge Representation in Ontologies Workshop (KROW 2008), volume CPRIT 90, pages 11–20, Sydney, Australia, 2008.
[9] Sergio Alejandro Gómez, Carlos Iván Chesnevar, and Guillermo Ricardo Simari. Reasoning with Inconsistent Ontologies Through Argumentation. Applied Artificial Intelligence, 1(24):102–148, 2010.
[10] Benjamin N. Grosof, Ian Horrocks, Raphael Volz, and Stefan Decker. Description Logic Programs: Combining Logic Programs with Description Logics. WWW2003, May 20-24, Budapest, Hungary, 2003.
[11] T. R. Gruber. A translation approach to portable ontologies. Knowledge Acquisition, 5(2):199–220, 1993.
[12] Volker Haarslev and Ralf Möller. RACER System Description. Technical report, University of Hamburg, Computer Science Department, 2001.
[13] Ian Horrocks, Peter F. Patel-Schneider, Harold Boley, Said Tabet Benjamin Grosof, and Mike Dean. SWRL: A Semantic Web Rule Language Combining OWL and RuleML. National Research Council of Canada, Network Inference, and Stanford University, 2004.
[14] Deborah L. McGuiness and Frank van Harmelen. OWL Web Ontology Language Overview, 2004. http://www.w3.org/TR/owl-features/.
[15] Gerd Wagner. Web Rules Need Two Kinds of Negation. In N. Henze F. Bry and J. Maluszynski, editors, Proc. of the 1st International Workshop, PPSW3 ’03. Springer-Verlag LNCS 2901, 2003.
[16] M. Williams and A. Hunter. Harnessing ontologies for argument-based decision-making in breast cancer. Proc. of the Intl. Conf. on Tools with AI (ICTAI’07), pages 254–261, 2007.
Downloads
Published
2010-06-01
How to Cite
Gómez, S. A., Chesñevar, C. I., & Simari, G. R. (2010). A defeasible logic programming approach to the integration of rules and ontologies. Journal of Computer Science and Technology, 10(02), p. 74–80. Retrieved from https://journal.info.unlp.edu.ar/JCST/article/view/730
Issue
Section
Original Articles
