Ontology(<http://nomagic.com/ontology/example-case/case-24>
Declaration(
ObjectProperty(:manufacturedBy)
)
ObjectPropertyDomain(:manufacturedBy :VideoGameConsole)
ObjectPropertyRange(:manufacturedBy :VideoGameCompany)
Declaration(
ObjectProperty(:manufactures)
)
InverseObjectProperties(:manufacturedBy :manufactures)
ObjectPropertyDomain(:manufactures :VideoGameCompany)
ObjectPropertyRange(:manufactures :VideoGameConsole)
Declaration(
Class(:VideoGameCompany)
)
Declaration(
Class(:VideoGameConsole)
)
SubClassOf(
:VideoGameConsole
ObjectIntersectionOf(
ObjectMaxCardinality(1 :manufacturedBy :VideoGameCompany)
ObjectMinCardinality(1 :manufacturedBy :VideoGameCompany)
)
)
AnnotationAssertion(rdfs:label :VideoGameCompany "Video Game Company"@en)
AnnotationAssertion(rdfs:label :VideoGameConsole "Video Game Console"@en)
AnnotationAssertion(rdfs:label :manufacturedBy "manufactured by"@en)
AnnotationAssertion(rdfs:label :manufactures "manufactures"@en)
) |