This is an archive of an inactive wiki and cannot be modified.

1. Abstract

Rich Knowledge Representation use cases focus on the use of rules as (part of) a declarative knowledge representation formalism. In this setting, rules are often used in conjunction with other representation formalisms, such as ontologies, in order to extend their expressive power. A typical example is the use of rules to describe complex relationships between binary predicates which cannot be captured in ontology languages such as RDF and OWL. On the other hand, OWL is often used to capture information that typically cannot be expressed using rules (such as the existence of unnamed individuals), so compatibility between rules and RDF/OWL is of crucial importance.

2. Status

This is an abstraction of a number of use cases that focus on the use of rules for knowledge representation.

Edited by Ian Horrocks.

3. Links to Related Use Cases

4. Common themes

5. Benefits of Interchange

6. Requirements on the RIF

7. Narrative

A typical (simplified) example is as follows:

A medical application uses an ontology to provide a model of human anatomy that can be used to describe procedures and, e.g., to categorise them w.r.t. their cost. Unfortunately, knowledge about interactions between binary predicates cannot be expressed in the ontology language being used (e.g., OWL), and this would prevent the correct categorisation of some procedures. For example, a fixation procedure applied to a part of the femur (e.g., the head of the femur) should be categorised (for costing purposes) as a fixation procedure applied to the femur.

In general, what is required in this example is to be able to express complex relationships between binary predicates. Such relationships can easily be captured using rules. E.g., a rule can be used to state that performed-on(x,y) and part-of(y,z) implies performed-on(x,z).

8. Commentary

Rules are well established as a declarative knowledge representation formalism. There are several different semantics for such rules, including LP-based semantics, but when rules are used in conjunction with ontologies a First Order semantics compatible with RDF and OWL is often assumed (see, e.g., SWRL).