Namespace(a=<http://example.com/#>) 
Ontology(a:example 
  Class(a:Human partial)
  Class(a:Woman partial)
  Class(a:Man partial)
  SubClassOf(a:Man a:Human)
  SubClassOf(a:Woman a:Human)
  DisjointClasses(a:Woman a:Man)
  ObjectProperty(a:child)
  ObjectProperty(a:father inverseOf(a:child))
  SubClassOf(a:Human restriction(a:father allValuesFrom(a:Man)))
  SubClassOf(a:Human restriction(a:father cardinality(1)))
  SubClassOf(a:Human restriction(a:child maxCardinality(1)))
  ObjectProperty(a:ssn InverseFunctional range(oneOf(a:one a:two)))
  SubClassOf(a:Human restriction(a:ssn cardinality(1)))
  Individual(a:mary type(a:Woman))
  Individual(a:one)
  Individual(a:two)
)