Prefix(myns:=<http://www.dis.uniroma1.it/%7Erosati/semanticweb/>)
Prefix(owl:=<http://www.w3.org/2002/07/owl#>)
Prefix(xml:=<http://www.w3.org/XML/1998/namespace>)
Prefix(rdf:=<http://www.w3.org/1999/02/22-rdf-syntax-ns#>)
Prefix(rdfs:=<http://www.w3.org/2000/01/rdf-schema#>)

Ontology(

Declaration(Class(myns:URI1))
Declaration(Class(myns:URI2))

Declaration(ObjectProperty(myns:URI3))

ClassAssertion(myns:URI1 myns:URI4)
ClassAssertion(myns:URI2 myns:URI5)
ClassAssertion(myns:URI2 myns:URI6)

SubClassOf(
  ObjectSomeValuesFrom(myns:URI3 owl:Thing)
  myns:URI1)

SubClassOf(
  ObjectSomeValuesFrom(
    ObjectInverseOf(myns:URI3) 
    owl:Thing)
  myns:URI2)

ObjectPropertyAssertion(myns:URI3 myns:URI6 myns:URI4)
)