Advertisement

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

  • Nick Bassiliades
  • Efstratios Kontopoulos
  • Grigoris Antoniou
  • Ioannis Vlahavas
Part of the Lecture Notes in Computer Science book series (LNCS, volume 3746)

Abstract

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.

Keywords

Business Rule Authoring Tool Atom Element Rule Editor Defeasible Logic 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 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. 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. 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)zbMATHCrossRefMathSciNetGoogle Scholar
  4. 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. 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. 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)CrossRefGoogle Scholar
  7. 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)CrossRefGoogle Scholar
  8. 8.
    Berners-Lee, T., Hendler, J., Lassila, O.: The Semantic Web. Scientific American 284(5), 34–43 (2001)CrossRefGoogle Scholar
  9. 9.
    Boley, H., Tabet, S.: The Rule Markup Initiative, http://www.ruleml.org/
  10. 10.
    CLIPS Basic Programming Guide (v. 6.21), http://www.ghg.net/clips/CLIPS.html
  11. 11.
    Dean, M., Schreiber, G.(eds.): OWL Web Ontology Language Reference (2004), www.w3.org/TR/2004/REC-owl-ref-20040210/
  12. 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)CrossRefGoogle Scholar
  13. 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. 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. 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. 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. 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)CrossRefGoogle Scholar
  18. 18.
    McBride, B.: Jena: Implementing the RDF Model and Syntax Specification. In: Proc. 2nd Int. Workshop on the Semantic Web (2001)Google Scholar
  19. 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

Copyright information

© Springer-Verlag Berlin Heidelberg 2005

Authors and Affiliations

  • Nick Bassiliades
    • 1
  • Efstratios Kontopoulos
    • 1
  • Grigoris Antoniou
    • 2
  • Ioannis Vlahavas
    • 1
  1. 1.Department of InformaticsAristotle University of ThessalonikiThessalonikiGreece
  2. 2.Institute of Computer ScienceFO.R.T.H.HeraklionGreece

Personalised recommendations