Skip to main content

A Graphical Rule Authoring Tool for Defeasible Reasoning in the Semantic Web

  • Conference paper
Advances in Informatics (PCI 2005)

Part of the book series: Lecture Notes in Computer Science ((LNTCS,volume 3746))

Included in the following conference series:

  • 2043 Accesses


Defeasible reasoning is a rule-based approach for efficient reasoning with incomplete and inconsistent information. Such reasoning is useful for many applications in the Semantic Web, such as policies and business rules, agent brokering and negotiation, ontology and knowledge merging, etc. However, the syntax of defeasible logic may appear too complex for many users. In this paper we present a graphical authoring tool for defeasible logic rules that acts as a shell for the DR-DEVICE defeasible reasoning system over RDF metadata. The tool helps users to develop a rule base using the OO-RuleML syntax of DR-DEVICE rules, by constraining the allowed vocabulary through analysis of the input RDF namespaces, so that the user does not have to type-in class and property names. Rule visualization follows the tree model of RuleML. The DR-DEVICE reasoning system is implemented on top of the CLIPS production rule system and builds upon an earlier deductive rule system over RDF metadata that also supports derived attribute and aggregate attribute rules.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Subscribe and save

Springer+ Basic
EUR 32.99 /Month
  • Get 10 units per month
  • Download Article/Chapter or eBook
  • 1 Unit = 1 Article or 1 Chapter
  • Cancel anytime
Subscribe now

Buy Now

USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
USD 84.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 109.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Similar content being viewed by others


  1. Antoniou, G., Arief, M.: Executable Declarative Business rules and their use in Electronic Commerce. In: Proc. ACM Symposium on Applied Computing (2002)

    Google Scholar 

  2. 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)

    Google Scholar 

  3. Antoniou, G., Billington, D., Governatori, G., Maher, M.J.: Representation results for defeasible logic. ACM Trans. on Computational Logic 2(2), 255–287 (2001)

    Article  MATH  MathSciNet  Google Scholar 

  4. Antoniou, G., Skylogiannis, T., Bikakis, A., Bassiliades, N.: DR-BROKERING – A Defeasible Logic-Based System for Semantic Brokering. In: IEEE Int. Conf. on E-Technology, E-Commerce and E-Service, Hong Kong, pp. 414–417 (2005)

    Google Scholar 

  5. 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)

    Google Scholar 

  6. Bassiliades, N., Antoniou, G., Vlahavas, I.: A Defeasible Logic Reasoner for the Semantic Web. In: Antoniou, G., Boley, H. (eds.) RuleML 2004. LNCS, vol. 3323, pp. 49–64. Springer, Heidelberg (2004)

    Chapter  Google Scholar 

  7. 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)

    Chapter  Google Scholar 

  8. Berners-Lee, T., Hendler, J., Lassila, O.: The Semantic Web. Scientific American 284(5), 34–43 (2001)

    Article  Google Scholar 

  9. Boley, H., Tabet, S.: The Rule Markup Initiative,

  10. CLIPS Basic Programming Guide (v. 6.21),

  11. Dean, M., Schreiber, G.(eds.): OWL Web Ontology Language Reference (2004),

  12. Dietrich, J., Kozlenkov, A., Schroeder, M., Wagner, G.: Rule-based agents for the semantic web. Electronic Commerce Research and Applications 2(4), 323–338 (2003)

    Article  Google Scholar 

  13. Governatori, G., Dumas, M., ter Hofstede, A.: A formal approach to legal negotiation. In: Proc. ICAIL 2001, pp. 168–177 (2001)

    Google Scholar 

  14. Grosof, B.N.: Prioritized conflict handing for logic programs. In: Proc. of the 1997 Int. Symposium on Logic Programming, pp. 197–211 (1997)

    Google Scholar 

  15. 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)

    Google Scholar 

  16. 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)

    Google Scholar 

  17. 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)

    Article  Google Scholar 

  18. McBride, B.: Jena: Implementing the RDF Model and Syntax Specification. In: Proc. 2nd Int. Workshop on the Semantic Web (2001)

    Google Scholar 

  19. Skylogiannis, T., Antoniou, G., Bassiliades, N., Governatori, G.: DR-NEGOTIATE – A System for Automated Agent Negotiation with Defeasible Logic-Based Strategies. In: IEEE Int. Conf. on E-Technology, E-Commerce and E-Service, Hong Kong, pp. 44–49 (2005)

    Google Scholar 

Download references

Author information

Authors and Affiliations


Editor information

Editors and Affiliations

Rights and permissions

Reprints and permissions

Copyright information

© 2005 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Bassiliades, N., Kontopoulos, E., Antoniou, G., Vlahavas, I. (2005). A Graphical Rule Authoring Tool for Defeasible Reasoning in the Semantic Web. In: Bozanis, P., Houstis, E.N. (eds) Advances in Informatics. PCI 2005. Lecture Notes in Computer Science, vol 3746. Springer, Berlin, Heidelberg.

Download citation

  • DOI:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-29673-7

  • Online ISBN: 978-3-540-32091-3

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics