Class with Inverse Functional Object Property

Ontology(<http://example.com/ontology/Unnamed>
Annotation(rdfs:label "Example"^^xsd:string)

Declaration(Class(:Class1))
Declaration(Class(:Class2))
Declaration(ObjectProperty(:unnamedProperty1))

############################
#   Object Properties
############################

# Object Property: :unnamedProperty1 (unnamed property1)

AnnotationAssertion(rdfs:label :unnamedProperty1 "unnamed property1"^^xsd:string)
InverseFunctionalObjectProperty(:unnamedProperty1)
ObjectPropertyDomain(:unnamedProperty1 :Class1)
ObjectPropertyRange(:unnamedProperty1 :Class2)



############################
#   Classes
############################

# Class: :Class1 (Class 1)

AnnotationAssertion(rdfs:label :Class1 "Class 1"^^xsd:string)

# Class: :Class2 (Class 2)

AnnotationAssertion(rdfs:label :Class2 "Class 2"^^xsd:string)


)