Inverse Functional Object Property
Ontology(<http://example.com/ontology/InverseFunctional> Declaration(Class(:Husband)) Declaration(Class(:Wife)) Declaration(ObjectProperty(:isHusbandTo)) ############################ # Object Properties ############################ # Object Property: :isHusbandTo (is husband to) AnnotationAssertion(rdfs:label :isHusbandTo "is husband to"^^xsd:string) InverseFunctionalObjectProperty(:isHusbandTo) ObjectPropertyDomain(:isHusbandTo :Husband) ObjectPropertyRange(:isHusbandTo :Wife) ############################ # Classes ############################ # Class: :Husband (:Husband) SubClassOf(:Husband ObjectMaxCardinality(1 :isHusbandTo)) )