Figure 1: A class with inverse property.
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) )
Related Pages: