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 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 briefly presents a semantic web broker example for apartment renting.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
Alexaki, S., Christophides, V., Karvounarakis, G., Plexousakis, D., Tolle, K.: The ICSFORTH RDFSuite: Managing Voluminous RDF Description Bases. In: Proc. 2nd Int. Workshop on the Semantic Web, Hong-Kong (2001)
Antoniou, G., Arief, M.: Executable Declarative Business rules and their use in Electronic Commerce. In: Proc. ACM Symposium on Applied Computing (2002)
Antoniou, G.: Nonmonotonic Rule Systems on Top of Ontology Layers. In: Horrocks, I., Hendler, J. (eds.) ISWC 2002. LNCS, vol. 2342, pp. 394–398. Springer, Heidelberg (2002)
Antoniou, G., Bikakis, A.: A System for Nonmonotonic Rules on the Web (2004) (submitted)
Antoniou, G., Billington, D., Maher, M.J.: On the analysis of regulations using defeasible rules. In: Proc. 32nd Hawaii International Conference on Systems Science (1999)
Antoniou, G., Billington, D., Governatori, G., Maher, M.J.: Representation results for defeasible logic. ACM Trans. on Computational Logic 2(2), 255–287 (2001)
Antoniou, G., Billington, D., Governatori, G., Maher, M.J.: A Flexible Framework for Defeasible Logics. In: Proc. AAAI/IAAI 2000, pp. 405–410. AAAI/MIT Press (2000)
Antoniou, G., van Harmelen, F.: A Semantic Web Primer. MIT Press, Cambridge (2004)
Antoniou, G., Maher, M.J., Billington, D.: Defeasible Logic versus Logic Programming without Negation as Failure. Journal of Logic Programming 41(1), 45–57 (2000)
Ashri, R., Payne, T., Marvin, D., Surridge, M., Taylor, S.: Towards a Semantic Web Security Infrastructure. In: Proc. of Semantic Web Services. 2004 Spring Symposium Series. Stanford University, California (2004)
Bassiliades, N., Antoniou, G., Vlahavas, I.: DR-DEVICE: A Defeasible Logic System for the Semantic Web. In: Ohlbach, H.J., Schaffert, S. (eds.) PPSWR 2004. LNCS, vol. 3208, pp. 134–148. Springer, Heidelberg (2004)
Bassiliades, N., Vlahavas, I.: Capturing RDF Descriptive Semantics in an Object Oriented Knowledge Base System. In: Proc. 12th Int. WWW Conf. (WWW 2003), Budapest (2003)
Bassiliades, N., Vlahavas, I.: R-DEVICE: A Deductive RDF Rule Language. In: Antoniou, G., Boley, H. (eds.) RuleML 2004. LNCS, vol. 3323, pp. 65–80. Springer, Heidelberg (2004)
Bassiliades, N., Vlahavas, I., Sampson, D.: Using Logic for Querying XML Data. In: Web-Powered Databases, ch. 1, pp. 1–35. Idea-Group Publishing, USA (2003)
Bassiliades, N., Vlahavas, I., Elmagarmid, A.K.: E-DEVICE: An extensible active knowledge base system with multiple rule type support. IEEE TKDE 12(5), 824–844 (2000)
Berners-Lee, T., Hendler, J., Lassila, O.: The Semantic Web. Scientific American 284(5), 34–43 (2001)
Boley, H., Tabet, S.: The Rule Markup Initiative, http://www.ruleml.org/
Broekstra, J., Kampman, A., van Harmelen, F.: Sesame: An Architecture for Storing and Querying RDF Data and Schema Information. In: Fensel, D., Hendler, J.A., Lieberman, H., Wahlster, W. (eds.) Spinning the Semantic Web, pp. 197–222. MIT Press, Cambridge (2003)
CLIPS Basic Programming Guide (v. 6.21), http://www.ghg.net/clips/CLIPS.html
Connolly, D., van Harmelen, F., Horrocks, I., McGuinness, D.L., Patel-Schneider, P.F., Stein, L.A.: DAML+OIL Reference Description (2001), www.w3c.org/TR/daml+oil-reference
Covington, M.A., Nute, D., Vellino, A.: Prolog Programming in Depth, 2nd edn. Prentice Hall, Englewood Cliffs (1997)
Gelder, A., van Ross, K., Schlipf, J.: The well-founded semantics for general logic programs. Journal of the ACM 38, 620–650 (1991)
Governatori, G., Dumas, M., ter Hofstede, A., Oaks, P.: A formal approach to legal negotiation. In: Proc. ICAIL 2001, pp. 168–177 (2001)
Grosof, B.N., Poon, T.C.: SweetDeal: representing agent contracts with exceptions using XML rules, ontologies, and process descriptions. In: Proc. 12th Int. Conf. on World Wide Web, pp. 340–349. ACM Press, New York (2003)
Grosof, B.N.: Prioritized conflict handing for logic programs. In: Proc. of the 1997 Int. Symposium on Logic Programming, pp. 197–211 (1997)
Grosof, B.N., Horrocks, I., Volz, R., Decker, S.: Description Logic Programs: Combining Logic Programs with Description Logic. In: Proc. 12th Intl. Conf. on the World Wide Web (WWW 2003), pp. 48–57. ACM Press, New York (2003)
Grosof, B.N., Gandhe, M.D., Finin, T.W.: SweetJess: Translating DAMLRuleML to JESS. In: Proc. Int. Workshop on Rule Markup Languages for Business Rules on the Semantic Web, RuleML 2002 (2002)
Hayes, P.: RDF Semantics, W3C Recommendation (February 2004), www.w3c.org/TR/rdfmt/
Levy, A., Rousset, M.-C.: Combining Horn rules and description logics in CARIN. Artificial Intelligence 104(1-2), 165–209 (1998)
Li, N., Grosof, B.N., Feigenbaum, J.: Delegation Logic: A Logic-based Approach to Distributed Authorization. ACM Trans. on Information Systems Security 6(1) (2003)
Maher, M.J.: A Model-Theoretic Semantics for Defeasible Logic. In: Proc. Workshop on Paraconsistent Computational Logic, pp. 67–80 (2002)
Maher, M.J., Rock, A., Antoniou, G., Billington, D., Miller, T.: Efficient Defeasible Reasoning Systems. Int. Journal of Tools with Artificial Intelligence 10(4), 483–501 (2001)
Marek, V.W., Truszczynski, M.: Nonmonotonic Logics; Context Dependent Reasoning. Springer, Heidelberg (1993)
McBride, B.: Jena: Implementing the RDF Model and Syntax Specification. In: Proc. 2nd Int. Workshop on the Semantic Web (2001)
Nute, D.: Defeasible logic. In: Handbook of logic in artificial intelligence and logic programming. Nonmonotonic reasoning and uncertain reasoning, vol. 3. Oxford University Press, Oxford (1994)
Seaborne, A., Reggiori, A.: RDF Query and Rule languages Use Cases and Examples survey, rdfstore.sourceforge.net/2002/06/24/rdf-query/
Web Ontology Language (OWL), http://www.w3c.org/2004/OWL/
Xalan-Java XSLT processor, http://xml.apache.org/xalan-j/
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2004 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Bassiliades, N., Antoniou, G., Vlahavas, I. (2004). A Defeasible Logic Reasoner for the Semantic Web. In: Antoniou, G., Boley, H. (eds) Rules and Rule Markup Languages for the Semantic Web. RuleML 2004. Lecture Notes in Computer Science, vol 3323. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-30504-0_5
Download citation
DOI: https://doi.org/10.1007/978-3-540-30504-0_5
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-23842-3
Online ISBN: 978-3-540-30504-0
eBook Packages: Springer Book Archive