Modeling Brain Anatomy

From RIF
(Redirected from Model Brain Anatomy)
Jump to: navigation, search



Test TypePositiveEntailmentTest
ContributorStella Mitchell
StatusApproved
Record
DialectCore
PurposeA 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.
DescriptionThis 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).
SeeAlsohttp://www.w3.org/2004/12/rules-ws/paper/64/
SpecRefUCR#Interchanging_Rule_Extensions_to_OWL
ImportedDocument
Location http://example.org/ontology1
Functional SyntaxNamespace(=<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) )
XMLview RDF/XML
Premises
Presentation SyntaxDocument( 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]) ) ) )
XMLview RIF/XML
Conclusion
Presentation Syntaxba:g1[ba:isMAEConnectedTo -> ba:pcg0]
XMLview RIF/XML