| Test Type | PositiveEntailmentTest |
|---|
| Contributor | Stella Mitchell |
|---|
| Status | Approved |
|---|
| Record | |
|---|
| Dialect | Core |
|---|
| Purpose | A simplified example of RIF-Core rules combined with OWL to capture anatomical knowledge that can be used to help label brain cortex structures in MRI images. |
|---|
| Description | This highly simplified ontology and rule base gives the flavor of a system that could be used to identify brain cortex structures in MRI images. The ontology represents the main entities and properties of the brain, and the rule base specifies relationships between ontology properties. In this example, the rule says that two entities are connected when they have a common boundary. In a full usage example, the inferred fact in this case could be combined with other facts to identify g1 as an e.g. preCentralGyrus.
Note that this test case, unlike many in the test suite, includes more assertions than are strictly needed to test the RIF feature under consideration. This is because the test case also serves as a simplified usage example that illustrates one of the use case scenarios from the RIF Use Cases and Requirements document (see specRef). |
|---|
| SeeAlso | http://www.w3.org/2004/12/rules-ws/paper/64/ |
|---|
| SpecRef | UCR#Interchanging_Rule_Extensions_to_OWL |
|---|
| ImportedDocument |
| Location | http://example.org/ontology1 |
|---|
| Functional Syntax | Namespace(=<http://example.org/testOntology.owl#>)
Ontology(<http://example.org/testOntology.owl>
SubClassOf(MaterialAnatomicalEntity AnatomicalEntity)
SubClassOf(Gyrus MaterialAnatomicalEntity)
SubClassOf(NonMaterialAnatomicalEntity AnatomicalEntity)
SubClassOf(GyriConnection NonMaterialAnatomicalEntity)
SubClassOf(SucalFold NonMaterialAnatomicalEntity)
SymmetricObjectProperty(isMAEConnectedTo)
ObjectPropertyDomain(isMAEConnectedTo MaterialAnatomicalEntity)
ObjectPropertyRange(isMAEConnectedTo MaterialAnatomicalEntity)
ObjectPropertyDomain(isMAEBoundedBy MaterialAnatomicalEntity)
ObjectPropertyRange(isMAEBoundedBy ObjectUnionOf(SucalFold GyriConnection))
Declaration(Individual(g1))
ClassAssertion(g1 Gyrus)
ObjectPropertyAssertion(isMAEBoundedBy g1 op)
Declaration(Individual(pcg0))
ClassAssertion(pcg0 Gyrus)
ObjectPropertyAssertion(isMAEBoundedBy pcg0 op)
Declaration(Individual(op))
ClassAssertion(op GyriConnection)
) |
|---|
| XML | view RDF/XML |
|---|
|
|---|
| Premises |
| Presentation Syntax | Document(
Prefix(ba <http://example.org/testOntology.owl#>)
Prefix(rdf <http://www.w3.org/1999/02/22-rdf-syntax-ns#>)
Prefix(dc <http://purl.org/dc/elements/1.1/>)
Import(<http://example.org/ontology1> <http://www.w3.org/ns/entailment/OWL-Direct>)
Group (
(* _rule1[dc:description -> "entities that are bounded by a common gyri connection are connected to each other"] *)
Forall ?X ?Y ?Z (
?X [ba:isMAEConnectedTo -> ?Y] :-
And (?X[ba:isMAEBoundedBy -> ?Z]
?Y[ba:isMAEBoundedBy -> ?Z]
?X[rdf:type -> ba:MaterialAnatomicalEntity]
?Y[rdf:type -> ba:MaterialAnatomicalEntity]
?Z[rdf:type -> ba:GyriConnection])
)
)
) |
|---|
| XML | view RIF/XML |
|---|
|
|---|
| Conclusion |
|
|---|