Ontology(<http://nomagic.com/ontology/example-case/case-08>
Import(<http://nomagic.com/ontology/example-case/case-06>)
Declaration(
Class(<http://nomagic.com/ontology/example-case/case-06#Person>)
)
Declaration(
Class(<http://nomagic.com/ontology/example-case/case-06#Pet>)
)
Declaration(
Class(:Dog)
)
Declaration(
Class(:DogLover)
)
Declaration(
ObjectProperty(<http://nomagic.com/ontology/example-case/case-06#has>)
)
AnnotationAssertion(rdfs:label :Dog "Dog"@en)
SubClassOf( :Dog <http://nomagic.com/ontology/example-case/case-06#Pet>)
AnnotationAssertion(rdfs:label :DogLover "Dog Lover"@en)
SubClassOf( :DogLover <http://nomagic.com/ontology/example-case/case-06#Person>)
SubClassOf(
:DogLover
ObjectIntersectionOf(
ObjectMinCardinality(1 <http://nomagic.com/ontology/example-case/case-06#has> :Dog)
ObjectSomeValuesFrom(<http://nomagic.com/ontology/example-case/case-06#has> :Dog)
)
)
) |