research-article

DR-Prolog: A System for Defeasible Reasoning with Rules and Ontologies on the Semantic Web

Authors:

Grigoris Antoniou,

Antonis BikakisAuthors Info & Claims

IEEE Transactions on Knowledge and Data Engineering, Volume 19, Issue 2

Pages 233 - 245

https://doi.org/10.1109/TKDE.2007.29

Published: 01 February 2007 Publication History

Abstract

Nonmonotonic rule systems are expected to play an important role in the layered development of the Semantic Web. Defeasible reasoning is a direction in nonmonotonic reasoning that is based on the use of rules that may be defeated by other rules. It is a simple, but often more efficient approach than other nonmonotonic rule systems for reasoning with incomplete and inconsistent information. This paper reports on the implementation of a system for defeasible reasoning on the Web. The system 1) is syntactically compatible with RuleML, 2) features strict and defeasible rules, priorities, and two kinds of negation, 3) is based on a translation to logic programming with declarative semantics, 4) is flexible and adaptable to different intuitions within defeasible reasoning, and 5) can reason with rules, RDF, RDF Schema, and (parts of) OWL ontologies.

References

[1]

S. Alexaki, V. Christophides, G. Karvounarakis, D. Plexousakis, and K. Tolle, “The ICS-FORTH RDFSuite: Managing Voluminous RDF Description Bases,” Proc. Second Int'l Workshop Semantic Web, May 2001.

[2]

G. Antoniou and M. Arief, “Executable Declarative Business Rules and Their Use in Electronic Commerce,” Proc. ACM Symp. Applied Computing, 2002.

Digital Library

[3]

G. Antoniou, D. Billington, and M.J. Maher, “On the Analysis of Regulations Using Defeasible Rules,” Proc. 32nd Hawaii Int'l Conf. Systems Science, 1999.

Digital Library

[4]

G. Antoniou, M.J. Maher, and D. Billington, “Defeasible Logic versus Logic Programming without Negation as Failure,” J. Logic Programming, vol. 41, no. 1, pp. 45-57, 2001.

[5]

G. Antoniou, D. Billington, G. Governatori, and M.J. Maher, “A Flexible Framework for Defeasible Logics,” Proc. Nat'l Conf. Artificial Intelligence (AAAI '00), pp. 405-410, 2000.

Digital Library

[6]

G. Antoniou, D. Billington, G. Governatori, and M.J. Maher, “Representation Results for Defeasible Logic,” ACM Trans. Computational Logic, vol. 2, no. 2, pp. 255-287, 2001.

Digital Library

[7]

G. Antoniou, D. Billington, G. Governatori, and M. Maher, “Embedding Defeasible Logic into Logic Programming,” Theory and Practice of Logic Programming, to appear.

Digital Library

[8]

G. Antoniou and M.J. Maher, “Embedding Defeasible Logic into Logic Programs,” Proc. Int'l Conf. Logic Programming (ICLP '02), pp. 393-404, 2002.

Digital Library

[9]

R. Ashri, T. Payne, D. Marvin, M. Surridge, and S. Taylor, “Towards a Semantic Web Security Infrastructure,” Proc. Semantic Web Services 2004 Spring Symp. Series, 2004.

[10]

N. Bassiliades, G. Antoniou, and I. Vlahavas, “DR-DEVICE: A Defeasible Logic System for the Semantic Web,” Proc. Second Workshop Principles and Practice of Semantic Web Reasoning (PPSWR '04), 2004.

[11]

T. Berners-Lee, J. Hendler, and O. Lassila, “The Semantic Web,” Scientific Am., vol. 284, no. 5, pp. 34-43, 2001.

[12]

J. Broekstra, A. Kampman, and F. van Harmelen, “Sesame: An Architecture for Storing and Querying RDF Data and Schema Information,” Spinning the Semantic Web, pp. 197-222, 2003.

[13]

F. Bry and S. Schaffert, “Querying the Web Reconsidered: A Practical Introduction to Xcerpt,” Extreme Markup Languages, 2004.

[14]

D. Connolly, F. van Harmelen, I. Horrocks, D.L. McGuinness, P.F. Patel-Schneider, and L.A. Stein, “DAML+OIL Reference Description,” www.w3.org/TR/daml+oil-reference, 2001.

[15]

M. Covington, “Defeasible Logic on an Embedded Microcontroller,” Proc. 10th Int'l Conf. Industrial and Eng. Applications of Artificial Intelligence and Expert Systems (IEA-AIE), 1997.

Digital Library

[16]

M. Covington, “Logical Control of an Elevator with Defeasible Logic,” IEEE Trans. Automatic Control, vol. 45, no. 7, pp. 1347-1349, 2000.

[17]

M.A. Covington, D. Nute, and A. Vellino, Prolog Programming in Depth, second ed. Prentice-Hall, 1997.

Digital Library

[18]

OWL Web Ontology Language Reference, M. Dean and G. Schreiber, eds., www.w3.org/TR/2004/REC-owl-ref-20040210/, 2004.

[19]

M. Ford and D. Billington, “Strategies in Human Nonmonotonic Reasoning,” Computational Intelligence, vol. 16, no. 3, pp. 446-468, 2003.

[20]

A. Garcia, D. Gollapally, P. Tarau, and G. Simari, “Deliberative Stock Market Agents Using Jinni and Defeasible Logic Programming,” Proc. ECAI Workshop Eng. Soc. in the Agents' World, Aug. 2000.

[21]

A. van Gelder, K. Ross, and J. Schlipf, “The Well-Founded Semantics for General Logic Programs,” J. ACM, vol. 38, pp.620-650, 1991.

Digital Library

[22]

G. Governatori, A.H.M. ter Hofstede, and P. Oaks, “Defeasible Logic for Automated Negotiation,” Proc. ColleCTeR Conf., 2000.

[23]

G. Governatori, M. Dumas, A. ter Hofstede, and P. Oaks, “A Formal Approach to Legal Negotiation,” Proc. Eighth Int'l Conf. Artificial Intelligence and Law (ICAIL '01), pp. 168-177, 2001.

Digital Library

[24]

G. Governatori, M.J. Maher, G. Antoniou, and D. Billington, “Argumentation Semantics for Defeasible Logics,” J. Logic and Computation, vol. 14, no. 5, pp. 675-702, 2004.

Digital Library

[25]

B.N. Grosof, “Prioritized Conflict Handing for Logic Programs,” Proc. 1997 Int'l Symp. Logic Programming, pp. 197-211, 1997.

Digital Library

[26]

B.N. Grosof, M.D. Gandhe, and T.W. Finin, “SweetJess: Translating DAMLRuleML to JESS,” Proc. Int'l Workshop Rule Markup Languages for Business Rules on the Semantic Web, 2002.

[27]

B.N. Grosof, I. Horrocks, R. Volz, and S. Decker, “Description Logic Programs: Combining Logic Programs with Description Logic,” Proc. 12th Int'l Conf. World Wide Web, 2003.

Digital Library

[28]

B.N. Grosof and T.C. Poon, “SweetDeal: Representing Agent Contracts with Exceptions Using XML Rules, Ontologies, and Process Descriptions,” Proc. 12th Int'l Conf. World Wide Web, pp.340-349, 2003.

Digital Library

[29]

I. Horrocks, P.F. Patel-Schneider, S. Bechhofer, and D. Tsarkov, “OWL Rules: A Proposal and Prototype Implementation,” J. Web Semantics, vol. 3, no. 1, pp 23-40, 2005.

Digital Library

[30]

B. Johnston and G. Governatori, “Induction of Defeasible Logic Theories in the Legal Domain,” Proc. Ninth Int'l Conf. Artificial Intelligence and Law (ICAIL '03), pp. 204-213, June 2003.

Digital Library

[31]

N. Li, B.N. Grosof, and J. Feigenbaum, “Delegation Logic: A Logic-Based Approach to Distributed Authorization,” ACM Trans. Information Systems Security, vol. 6, no. 1, 2003.

Digital Library

[32]

M.J. Maher, “A Denotational Semantics for Defeasible Logic,” Proc. First Int'l Conf. Computational Logic, pp. 209-222, 2000.

Digital Library

[33]

M.J. Maher, “Propositional Defeasible Logic has Linear Complexity,” Logic Programming Theory and Practice, vol. 1, no. 6, pp. 691-711, 2001.

Digital Library

[34]

M.J. Maher, A. Rock, G. Antoniou, D. Billington, and T. Miller, “Efficient Defeasible Reasoning Systems,” Int'l J. Tools with Artificial Intelligence, vol. 10, no. 4, pp. 483-501, 2001.

[35]

M.J. Maher, “A Model-Theoretic Semantics for Defeasible Logic,” Proc. Conf. Paraconsistent Computational Logic '02, pp. 67-80, 2002.

[36]

V.W. Marek and M. Truszczynski, Nonmonotonic Logics: Context Dependent Reasoning. Springer Verlag, 1993.

Digital Library

[37]

J. McCarthy, “Epistemological Problems of Artificial Intelligence,” Proc. Int'l Conf. Artificial Intelligence, pp. 223-227, 1977.

[38]

R. Moore, “Semantical Considerations on Nonmonotonic Logic,” Artificial Intelligence, vol. 25, no. 1, pp. 75-94, 1985.

Digital Library

[39]

D. Nute, “Defeasible Logic,” Handbook of Logic in Artificial Intelligence and Logic Programming, vol. 3, Oxford Univ. Press, 1994.

Digital Library

[40]

R. Reiter, “A Logic for Default Reasoning,” Artificial Intelligence, vol. 13, pp. 81-132, 1980.

Digital Library

[41]

R. Rosati, “On the Decidability and Complexity of Integrating Ontologies and Rules,” J. Web Semantics, vol. 3, no. 1, pp. 41-60, 2005.

Digital Library

[42]

RuleML, “The Rule Markup Language Initiative,” www.ruleml. org, 2006.

[43]

Y. Shoham, “Nonmonotonic Logics: Meaning and Utility,” Proc. 10th Int'l Joint Conf. Artificial Intelligence, pp. 388-392, 1987.

[44]

T. Skylogiannis, G. Antoniou, N. Bassiliades, and G. Governatori, “DR-NEGOTIATE: A System for Automated Agent Negotiation with Defeasible Logic-Based Strategies,” Proc. IEEE Int'l Conf. e-Technology, e-Commerce and e-Service (EEE '05), 2005.

Digital Library

[45]

SWI-Prolog, http://www.swi-prolog.org, 2006.

[46]

G. Wagner, “Web Rules Need Two Kinds of Negation,” Proc. First Workshop Semantic Web Reasoning, pp. 33-50, 2003.

[47]

XSB, “Logic Programming and Deductive Database System for Unix and Windows,” http://xsb.sourceforge.net, 2005.

Cited By

Cristani M(2019)Non-monotonic Reasoning on the WebWeb Engineering10.1007/978-3-030-19274-7_50(586-589)Online publication date: 11-Jun-2019
https://dl.acm.org/doi/10.1007/978-3-030-19274-7_50
Gravier CSubercaze JZimmermann A(2015)Conflict resolution when axioms are materialized in semantic-based smart environmentsJournal of Ambient Intelligence and Smart Environments10.5555/2756713.27567197:2(187-199)Online publication date: 1-Mar-2015
https://dl.acm.org/doi/10.5555/2756713.2756719
Rohaninezhad MArif SAzman Mohd Noah S(2015)A grounder for SPINdle defeasible logic reasonerExpert Systems with Applications: An International Journal10.1016/j.eswa.2015.04.06542:20(7098-7109)Online publication date: 15-Nov-2015
https://dl.acm.org/doi/10.1016/j.eswa.2015.04.065
Show More Cited By

Index Terms

DR-Prolog: A System for Defeasible Reasoning with Rules and Ontologies on the Semantic Web
1. Computing methodologies
  1. Artificial intelligence
    1. Knowledge representation and reasoning
      1. Semantic networks
  2. Symbolic and algebraic manipulation
    1. Symbolic and algebraic algorithms
      1. Theorem proving algorithms

Recommendations

Translating owl and semantic web rules into prolog: Moving toward description logic programs

We are researching the interaction between the rule and the ontology layers of the Semantic Web, by comparing two options: 1) using OWL and its rule extension SWRL to develop an integrated ontology/rule language, and 2) layering rules on top of an ...
DR-BROKERING: A semantic brokering system

In this paper we study the brokering and matchmaking problem, that is, how a requester's requirements and preferences can be matched against a set of offerings collected by a broker. The proposed solution uses the Semantic Web standard of RDF to ...
Description logic programs: combining logic programs with description logic
WWW '03: Proceedings of the 12th international conference on World Wide Web

We show how to interoperate, semantically and inferentially, between the leading Semantic Web approaches to rules (RuleML Logic Programs) and ontologies (OWL/DAML+OIL Description Logic) via analyzing their expressive intersection. To do so, we define a ...

Comments

Information & Contributors

Information

Published In

cover image IEEE Transactions on Knowledge and Data Engineering

IEEE Transactions on Knowledge and Data Engineering Volume 19, Issue 2

February 2007

197 pages

ISSN:1041-4347

Issue’s Table of Contents

Copyright © 2007.

Publisher

IEEE Educational Activities Department

United States

Publication History

Published: 01 February 2007

Author Tags

Qualifiers

Research-article

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

38
Total Citations
View Citations
0
Total Downloads

Downloads (Last 12 months)0
Downloads (Last 6 weeks)0

Reflects downloads up to 01 Feb 2025

Other Metrics

View Author Metrics

Citations

Cited By

Cristani M(2019)Non-monotonic Reasoning on the WebWeb Engineering10.1007/978-3-030-19274-7_50(586-589)Online publication date: 11-Jun-2019
https://dl.acm.org/doi/10.1007/978-3-030-19274-7_50
Gravier CSubercaze JZimmermann A(2015)Conflict resolution when axioms are materialized in semantic-based smart environmentsJournal of Ambient Intelligence and Smart Environments10.5555/2756713.27567197:2(187-199)Online publication date: 1-Mar-2015
https://dl.acm.org/doi/10.5555/2756713.2756719
Rohaninezhad MArif SAzman Mohd Noah S(2015)A grounder for SPINdle defeasible logic reasonerExpert Systems with Applications: An International Journal10.1016/j.eswa.2015.04.06542:20(7098-7109)Online publication date: 15-Nov-2015
https://dl.acm.org/doi/10.1016/j.eswa.2015.04.065
Liu QGao ZLiu BZhang Y(2013)A Logic Programming Approach to Aspect Extraction in Opinion MiningProceedings of the 2013 IEEE/WIC/ACM International Joint Conferences on Web Intelligence (WI) and Intelligent Agent Technologies (IAT) - Volume 0110.1109/WI-IAT.2013.40(276-283)Online publication date: 17-Nov-2013
https://dl.acm.org/doi/10.1109/WI-IAT.2013.40
GóMez SChesñEvar CSimari G(2013)ONTOargExpert Systems with Applications: An International Journal10.1016/j.eswa.2012.10.02540:5(1858-1870)Online publication date: 1-Apr-2013
https://dl.acm.org/doi/10.1016/j.eswa.2012.10.025
Janjua NHussain FHussain O(2013)Semantic information and knowledge integration through argumentative reasoning to support intelligent decision makingInformation Systems Frontiers10.1007/s10796-012-9365-x15:2(167-192)Online publication date: 1-Apr-2013
https://dl.acm.org/doi/10.1007/s10796-012-9365-x
Antoniou GPan JTachmazidis I(2013)Large-Scale Complex Reasoning with Semantics: Approaches and ChallengesWeb Information Systems Engineering – WISE 2013 Workshops10.1007/978-3-642-54370-8_1(1-10)Online publication date: 13-Oct-2013
https://dl.acm.org/doi/10.1007/978-3-642-54370-8_1
Governatori GRotolo A(2013)Computing temporal defeasible logicProceedings of the 7th international conference on Theory, Practice, and Applications of Rules on the Web10.1007/978-3-642-39617-5_13(114-128)Online publication date: 11-Jul-2013
https://dl.acm.org/doi/10.1007/978-3-642-39617-5_13
Kravari KBassiliades NBurdescu DAkerkar RBădică C(2012)Advanced agent discovery servicesProceedings of the 2nd International Conference on Web Intelligence, Mining and Semantics10.1145/2254129.2254177(1-12)Online publication date: 13-Jun-2012
https://dl.acm.org/doi/10.1145/2254129.2254177
Governatori GRotolo ACalardo E(2012)Possible world semantics for defeasible deontic logicProceedings of the 11th international conference on Deontic Logic in Computer Science10.1007/978-3-642-31570-1_4(46-60)Online publication date: 16-Jul-2012
https://dl.acm.org/doi/10.1007/978-3-642-31570-1_4
Show More Cited By

View Options

View options

Figures

Tables

Media

View Issue’s Table of Contents