Ontology(<http://nomagic.com/ontology/example-case/case-06>
Declaration(
Class(:Dog)
)
Declaration(
Class(:DogOwner)
)
Declaration(
Class(:Person)
)
Declaration(
Class(:Pet)
)
Declaration(
ObjectProperty(:has)
)
AnnotationAssertion(rdfs:label :Dog "Dog"@en)
SubClassOf(:Dog :Pet)
AnnotationAssertion(rdfs:label :DogOwner "Dog Owner"@en)
SubClassOf(:DogOwner :Person)
SubClassOf(
:DogOwner
ObjectIntersectionOf(
ObjectMinCardinality(1 :has :Dog)
ObjectAllValuesFrom(:has :Dog)
)
)
AnnotationAssertion(rdfs:label :Person "Person"@en)
AnnotationAssertion(rdfs:label :Pet "Pet"@en)
AnnotationAssertion(rdfs:label :has "has"@en)
ObjectPropertyDomain(:has :Person)
ObjectPropertyRange(:has :Pet)
) |