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 )

)