OVERVIEW EXAMPLE PRESENTATIONS PROBLEMS
& QUIZS
ERRATA LINKS
SW Vision
XML
RDF
OWL
Logic
Applications
Ontology Engineering
Conclusion




     Aditional Topics
Links for chapter 5 - Logic

Revision of the entire book is underway:

Monotonic rules are a standard topic in logic. More information can be found in relevant textbooks, such as the following:

Nonmonotonic rules are a quite new topic. Information can be found in the following articles:

A paper describing the RuleML data model in some detail is.

  • H. Boley. The Rule Markup Language: RDF-XML Data Model, XML Schema Hierarchy, and XSL Transformations. Invited talk presented at the 14th International Conference of Applications of Prolog INAP2001, Tokyo 2001.
    http://www.dfki.uni-kl.de/.boley/ruleml-mht.pdf