DR-prolog: A system for defeasible reasoning with rules and ontologies on the semantic Web

IEEE Transactions on Knowledge and Data Engineering

Volumn 19, Issue 2, 2007, Pages 233-245

  Antoniou, Grigoris ^a   Bikakis, Antonis ^a  

^a UNIVERSITY OF CRETE   (Greece)

Author keywords

Nonmonotonic reasoning; Rules; Semantic; Web reasoning

Indexed keywords

INFORMATION RETRIEVAL; LOGIC PROGRAMMING; WORLD WIDE WEB;

DEFEASIBLE REASONING; NONMONOTONIC REASONING; ONTOLOGIES; WEB REASONING;

SEMANTICS;

EID: 33846203280     PISSN: 10414347     EISSN: None     Source Type: Journal    
DOI: 10.1109/TKDE.2007.29     Document Type: Article

References (47)

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.
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.
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.
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.
7. G. Antoniou, D. Billington, G. Governatori, and M. Maher, "Embedding Defeasible Logic into Logic Programming," Theory and Practice of Logic Programming, to appear.
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.
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.
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.
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.
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.
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.
25. B.N. Grosof, "Prioritized Conflict Handing for Logic Programs," Proc. 1997 Int'l Symp. Logic Programming, pp. 197-211, 1997.
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.
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.
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.
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.
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.
32. M.J. Maher, "A Denotational Semantics for Defeasible Logic," Proc. First Int'l Conf. Computational Logic, pp. 209-222, 2000.
33. M.J. Maher, "Prepositional Defeasible Logic has Linear Complexity," Logic Programming Theory and Practice, vol. 1, no. 6, pp. 691-711, 2001.
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.
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.
39. D. Nute, "Defeasible Logic," Handbook of Logic in Artificial Intelligence and Logic Programming, vol. 3, Oxford Univ. Press, 1994.
40. R. Reiter, "A Logic for Default Reasoning," Artificial Intelligence, vol. 13, pp. 81-132, 1980.
41. R. Rosati, "On the Decidability and Complexity of Integrating Ontologies and Rules," J. Web Semantics, vol. 3, no. 1, pp. 41-60, 2005.
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.
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.