test12.ofn revision c39dc3ce264ea72d39a31c083c30ec0ef22238be
Prefix( : = <http://example.org/> )
Ontology(
Declaration( ObjectProperty( :fatherOf ) )
Declaration( Class( :Man ) )
ObjectPropertyAssertion( :fatherOf :Peter :Stewie )
ObjectPropertyAssertion( :fatherOf :Peter :Chris )
ClassAssertion( :Man :Stewie )
ClassAssertion( :Man :Chris )
DifferentIndividuals( :Chris :Stewie )
)