Skip to main content

A Visual Environment for Developing Defeasible Rule Bases for the Semantic Web

  • Conference paper

Part of the Lecture Notes in Computer Science book series (LNISA,volume 3791)

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. However, the RuleML syntax of defeasible logic may appear too complex for many users. Furthermore, the interplay between various technologies and languages, such as defeasible reasoning, RuleML, and RDF impose a demand for using multiple, diverse tools for building rule-based applications for the Semantic Web. In this paper we present VDR-Device, a visual integrated development environment for developing and using defeasible logic rule bases on top of RDF ontologies. VDR-Device integrates in a user-friendly graphical shell, a visual RuleML-compliant rule editor that constrains the allowed vocabulary through analysis of the input RDF ontologies and a defeasible reasoning system that processes RDF data and RDF Schema ontologies.

Keywords

  • Rule Base
  • Visual Environment
  • Deductive Rule
  • Defeasible Reasoning
  • Rule Editor

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.

Buying options

Chapter
USD   29.95
Price excludes VAT (USA)
  • DOI: 10.1007/11580072_14
  • Chapter length: 15 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   69.99
Price excludes VAT (USA)
  • ISBN: 978-3-540-32270-2
  • 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   89.99
Price excludes VAT (USA)

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., Harmelen, F., van: A Semantic Web Primer. MIT Press, Cambridge (2004)

    Google Scholar 

  5. 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, ECommerce and E-Service, Hong Kong, pp. 414–417 (2005)

    Google Scholar 

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

    Google Scholar 

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

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

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

    CrossRef  Google Scholar 

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

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

  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., Hofstede, A.,ter Oaks P.: A formal approach to protocols and strategies for (legal) negotiation. In: Proc. ICAIL 2001, pp. 168-177 (2001)

    Google Scholar 

  14. Governatori, G.: Representing business contracts in RuleML. International Journal of Cooperative Information Systems 14(2-3), 181–216 (2005)

    CrossRef  Google Scholar 

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

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

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

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

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

    Google Scholar 

  20. Nute, D.: Defeasible Reasoning. In: Proc. 20th Int. Conference on Systems Science, pp. 470–477. IEEE Press, Los Alamitos (1987)

    Google Scholar 

  21. Skylogiannis, T., Antoniou, G., Bassiliades, N., Governatori, G.: DR-NEGOTIATE – A System for Automated Agent Negotiation with Defeasible Logic-Based Strategie. 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

Authors

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. (2005). A Visual Environment for Developing Defeasible Rule Bases for the Semantic Web. In: Adi, A., Stoutenburg, S., Tabet, S. (eds) Rules and Rule Markup Languages for the Semantic Web. RuleML 2005. Lecture Notes in Computer Science, vol 3791. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11580072_14

Download citation

  • DOI: https://doi.org/10.1007/11580072_14

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-29922-6

  • Online ISBN: 978-3-540-32270-2

  • eBook Packages: Computer ScienceComputer Science (R0)