From RIF
| Test Type | PositiveEntailmentTest |
|---|
| Contributor | Stella Mitchell |
|---|
| Status | Proposed |
|---|
| Record | |
|---|
| Dialect | Core |
|---|
| Purpose | A simplified example of RIF-BLD 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.
- Previous discussion about this test case: Dec 9, 2008 telecon minutes
|
|---|
| SeeAlso | http://www.w3.org/2004/12/rules-ws/paper/64/ |
|---|
| SpecRef | UCR#Interchanging_Rule_Extensions_to_OWL |
|---|
| ImportedDocument |
| Location | http://example.org/ontology1 |
|---|
| Format | OWL2 Functional Syntax |
|---|
| Functional Syntax | Namespace(=<http://example.org/testOntology.owl#>)
Ontology(<http://example.org/testOntology.owl>
SubClassOf(MaterialAnotomicalEntity AnotomicalEntity)
SubClassOf(Gyrus MaterialAnotomicalEntity)
SubClassOf(NonMaterialAnotomicalEntity AnotomicalEntity)
SubClassOf(GyriConnection NonMaterialAnotomicalEntity)
SubClassOf(SucalFold NonMaterialAnotomicalEntity)
SymmetricObjectProperty(isMAEConnectedTo)
ObjectPropertyDomain(isMAEConnectedTo MaterialAnotomicalEntity)
ObjectPropertyRange(isMAEConnectedTo MaterialAnotomicalEntity)
ObjectPropertyDomain(isMAEBoundedBy MaterialAnotomicalEntity)
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 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 -> "entitites 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:MaterialAnotomicalEntity]
?Y[rdf:type -> ba:MaterialAnotomicalEntity]
?Z[rdf:type -> ba:GyriConnection])
)
)
) |
|---|
| XML | view XML |
|---|
|
|---|
| Conclusion |
|
|---|
