Skip to main content
View expanded cover

Panhellenic Conference on Informatics

PCI 2005: Advances in Informatics pp 404–414Cite as

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

  • Conference paper

  • 1790 Accesses

Part of the Lecture Notes in Computer Science book series (LNTCS,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.

This is a preview of subscription content, access via your institution.

Chapter
USD   29.95
Price excludes VAT (USA)
  • DOI: 10.1007/11573036_38
  • Chapter length: 11 pages
  • Instant PDF download
  • Readable on all devices
  • Own it forever
  • Exclusive offer for individuals only
  • Tax calculation will be finalised during checkout
eBook
USD   139.00
Price excludes VAT (USA)
  • ISBN: 978-3-540-32091-3
  • Instant PDF download
  • Readable on all devices
  • Own it forever
  • Exclusive offer for individuals only
  • Tax calculation will be finalised during checkout
Softcover Book
USD   179.00
Price excludes VAT (USA)
Learn about institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  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)

    MATH  CrossRef  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)

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

    CrossRef  Google Scholar 

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

    CrossRef  Google Scholar 

  9. Boley, H., Tabet, S.: The Rule Markup Initiative, http://www.ruleml.org/

  10. CLIPS Basic Programming Guide (v. 6.21), http://www.ghg.net/clips/CLIPS.html

  11. Dean, M., Schreiber, G.(eds.): OWL Web Ontology Language Reference (2004), www.w3.org/TR/2004/REC-owl-ref-20040210/

  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)

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

    CrossRef  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

  1. Department of Informatics, Aristotle University of Thessaloniki, GR-54124, Thessaloniki, Greece

    Nick Bassiliades, Efstratios Kontopoulos & Ioannis Vlahavas

  2. Institute of Computer Science, FO.R.T.H., P.O. Box 1385, GR-71110, Heraklion, Greece

    Grigoris Antoniou

Authors
  1. Nick Bassiliades
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Efstratios Kontopoulos
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Grigoris Antoniou
    View author publications

    You can also search for this author in PubMed Google Scholar

  4. Ioannis Vlahavas
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Department of Computer and Communication Engineering, University of Thessaly, Glavani 37, 382 21, Volos, Greece

    Panayiotis Bozanis

  2. Department of Computer and Communication Engineering, University of Thessaly, 382 21, Volos, Greece

    Elias N. Houstis

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. https://doi.org/10.1007/11573036_38

Download citation

  • DOI: https://doi.org/10.1007/11573036_38

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