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))


)