Skip to main content
Springer Nature Link
Log in

Rules and Defeasible Reasoning on the Semantic Web

  • Conference paper
Rules and Rule Markup Languages for the Semantic Web (RuleML 2003)

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 2876))

  • 222 Accesses

Abstract

This paper discusses some issues related to the use of rules for the Semantic Web. We argue that rule formalisms and rule-based technologies have to offer a lot for the Semantic Web. In particular, they allow a simple treatment of defeasible reasoning, which is essential for being able to capture many forms of commonsense policies and specifications.

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

Access this chapter

Log in via an institution

Subscribe and save

Springer+ Basic
$34.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

Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Similar content being viewed by others

References

  1. Antoniou, G., Billington, D., Maher, M.J.: On the analysis of regulations using defeasible rules. In: Proc. 32nd Hawaii International Conference on Systems Sciences (1999)

    Google Scholar 

  2. Antoniou, G., Billington, D., Governatori, G., Maher, M.J.: A flexible framework for defeasible logics. In: Proc. 17th American National Conference on Artificial Intelligence (AAAI 2000), pp. 405–410 (2000)

    Google Scholar 

  3. Antoniou, G., Billington, D., Governatori, G., Maher, M.J.: Representation Results for Defeasible Logic. ACM Transactions on Computational Logic 2(2), 255–287 (2001)

    Article  MATH  MathSciNet  Google Scholar 

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

    Chapter  Google Scholar 

  5. Buchheit, M., Donini, F., Schaerf, A.: Decidable Reasoning in terminological knowledge representation systems. Journal of Artificial Intelligence Research 1, 109–138 (1993)

    MATH  MathSciNet  Google Scholar 

  6. Connolly, D., et al.: DAML+OIL. Reference Description (March 2001), http://www.w3.org/TR/daml+oil-reference

  7. Dean, M., et al.: OWL Web Ontology Language Reference 1.0, http://www.w3.org/TR/owl-ref/

  8. Dumas, M., Governatori, G., ter Hofstede, A., Oaks, P.: A formal approach to negotiating agents development. Electronic Commerce Research and Applications 1(2 ) (2002)

    Google Scholar 

  9. Grosof, B., Labrou, Y., Chan, H.: A Declarative Approach to Business Rules in Contracts: Courteous Logic Programs in XML. In: Proc. 1st ACM Conference on Electronic Commerce. ACM, New York (1999)

    Google Scholar 

  10. Grosof, B., Poon, T.: Representing Agent Contracts with Exceptions using XML Rules, Ontologies, and Process. In: Proc. Intern. Workshop on Rule Markup Languages for Business Rules on the Semantic Web, Sardinia, Italy, June 14 (2002); in conjunction with the First International Semantic Web Conference

    Google Scholar 

  11. Grosof, B., Horrocks, I.: Description Logic Programs: Combining Logic Programs with Description Logic (unpublished manuscript)

    Google Scholar 

  12. Heymanns, S., Vermeir, D.: A Defeasible Ontology Language. In: Meersman, R., Tari, Z., et al. (eds.) CoopIS 2002, DOA 2002, and ODBASE 2002. LNCS, vol. 2519, pp. 1033–1046. Springer, Heidelberg (2002)

    Chapter  Google Scholar 

  13. Horrocks, I., Sattler, U.: Ontology reasoning in the SHOQ(D) description logic. In: Proc. of the 17th Int. Joint Conf. on Artificial Intelligence (IJCAI 2001), pp. 199–204. Morgan Kaufmann, San Francisco (2001)

    Google Scholar 

  14. Levy, A., Rousset, M.-C.: CARIN: A Representation Language Combining Horn rules and Description Logics. Artificial Intelligence 104(1-2), 165–209 (1998)

    Article  MATH  MathSciNet  Google Scholar 

  15. Kunen, K.: Negation in Logic Programming. Journal of Logic Programming 4(4), 289–308 (1987)

    Article  MATH  MathSciNet  Google Scholar 

  16. Maher, M.J., Governatori, G.: A Semantic Decomposition of Defeasible Logics. In: Proc. American National Conference on Artificial Intelligence (AAAI 1999), pp. 299–306 (1999)

    Google Scholar 

  17. Maher, M.J.: Propositional Defeasible Logic has Linear Complexity. Theory and Practice of Logic Programming 1(6), 691–711 (2001)

    Article  MATH  MathSciNet  Google Scholar 

  18. Marek, V., Truszczynski, M.: Nonmonotonic Reasoning – Context-Dependent Reasoning. Springer, Heidelberg (1993)

    Google Scholar 

  19. Morgenstern, L.: Inheritance Comes of Age: Applying Nonmonotonic Techniques to Problems in Industry. Artificial Intelligence 103, 1–34 (1998)

    Article  MathSciNet  Google Scholar 

  20. Nute, D.: Defeasible Logic. In: Gabbay, D.M., Hogger, C.J., Robinson, J.A. (eds.) Handbook of Logic in Artificial Intelligence and Logic Programming, vol. 3, pp. 353–395. Oxford University Press, Oxford (1994)

    Google Scholar 

  21. Prakken, H.: Logical Tools for Modelling Legal Argument: A Study of Defeasible Reasoning in Law. Kluwer Academic Publishers, Dordrecht (1997)

    Google Scholar 

  22. Reiter, R.: A Logic for Default Reasoning. Artificial Intelligence 13, 81–132 (1980)

    Article  MATH  MathSciNet  Google Scholar 

  23. www.w3.org/2001/sw/

  24. Wagner, G.: Ex contradictione nihil sequitur. In: Proceedings of International Joint Conference on Artificial Intelligence IJCAI 1991. Morgan Kaufmann, San Francisco (1991)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Institue of Computer Science, FORTH, Greece

    Grigoris Antoniou

  2. Faculty of Technology Management, Eindhoven University of Technology, The Netherlands

    Gerd Wagner

Authors
  1. Grigoris Antoniou
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Gerd Wagner
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Fraunhofer FIRST IDA group, Kekuléstr. 7, 12489, Berlin,  

    Michael Schröder

  2. Cottbus University of Technology,  

    Gerd Wagner

Rights and permissions

Reprints and permissions

Copyright information

© 2003 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Antoniou, G., Wagner, G. (2003). Rules and Defeasible Reasoning on the Semantic Web. In: Schröder, M., Wagner, G. (eds) Rules and Rule Markup Languages for the Semantic Web. RuleML 2003. Lecture Notes in Computer Science, vol 2876. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-39715-1_8

Download citation

  • DOI: https://doi.org/10.1007/978-3-540-39715-1_8

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-20361-2

  • Online ISBN: 978-3-540-39715-1

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics