Class with Transitive Object Property

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

Declaration(Class(:Class))
Declaration(ObjectProperty(:hasThing))
Declaration(ObjectProperty(:property))

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

# Object Property: :hasThing (has thing)

AnnotationAssertion(rdfs:label :hasThing "has thing"^^xsd:string)
InverseObjectProperties(:property :hasThing)
ObjectPropertyDomain(:hasThing :Class)

# Object Property: :property (property)

AnnotationAssertion(rdfs:label :property "property"^^xsd:string)
TransitiveObjectProperty(:property)
ObjectPropertyRange(:property :Class)



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

# Class: :Class (Class)

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


)