Abstract
This paper presents DR-DEVICE, a system for defeasible reasoning on the Web. 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. In this paper we describe these scenarios in more detail along with the implementation of the DR-DEVICE system, which is capable of reasoning about RDF data 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 data 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 includes a use case of a semantic web broker that reasons defeasibly about renting apartments based on buyer’s requirements (expressed RuleML defeasible logic rules) and seller’s advertisements (expressed in RDF).
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., Bikakis, A.: A System for Nonmonotonic Rules on the Web (2004) (submitted)
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., 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., van Harmelen, F.: A Semantic Web Primer. MIT Press, Cambridge (2004) (to appear)
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. Spring Symposium Series, Stanford University, California (2004)
Bassiliades, N., Vlahavas, I.: Capturing RDF Descriptive Semantics in an Object Oriented Knowledge Base System. In: Proc. 12th Int. WWW Conf. (WWW2003), Budapest (2003)
Bassiliades, N., Vlahavas, I.: R-DEVICE: An Object-Oriented Knowledge Base System for RDF Metadata. Technical Report TR-LPIS-141-03, LPIS Group, Dept. of Informatics, Aristotle University of Thessaloniki, Greece (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)
Bassiliades, N., Vlahavas, I., Sampson, D.: Using Logic for Querying XML Data. In: Web-Powered Databases, ch. 1, pp. 1–35. Idea-Group Publishing (2003)
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, 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.w3.org/TR/daml+oilreference
Covington, M.A., Nute, D., Vellino, A.: Prolog Programming in Depth, 2nd edn., Prentice-Hall, Englewood Cliffs (1997)
Dean, M., Schreiber, G. (eds.): OWL Web Ontology Language Reference (2004), www.w3.org/TR/2004/REC-owl-ref-20040210/
van Gelder, A., 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., 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)
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)
Hayes, P.: RDF Semantics. W3C Recommendation (2004), www.w3.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., Rock, A., Antoniou, G., Billington, D., Miller, T.: Efficient Defeasible Reasoning Systems. Int. Journal of Tools with Artificial Intelligence 10(4), 483–501 (2001)
Maher, M.J., Governatori, G.: A Semantic Decomposition of Defeasible Logics. In: Proc. AAAI 1999, Orlando, USA, pp. 299–305. AAAI/MIT Press (1999)
Maher, M.J.: A Model-Theoretic Semantics for Defeasible Logic. In: Proc. Workshop on Paraconsistent Computational Logic, pp. 67–80 (2002)
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/
Xalan-Java XSLT processor, 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). DR-DEVICE: A Defeasible Logic System for the Semantic Web. In: Ohlbach, H.J., Schaffert, S. (eds) Principles and Practice of Semantic Web Reasoning. PPSWR 2004. Lecture Notes in Computer Science, vol 3208. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-30122-6_10
Download citation
DOI: https://doi.org/10.1007/978-3-540-30122-6_10
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-22961-2
Online ISBN: 978-3-540-30122-6
eBook Packages: Springer Book Archive