test4.het revision 06acd8a23b2f06e7b2373d53f738cf56c7f03223
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmannspec emptyontology =
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel HausmannPrefix: pizza: <http://www.co-ode.org/ontologies/pizza/pizza.owl#>
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel HausmannPrefix: rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel HausmannPrefix: rdfs: <http://www.w3.org/2000/01/rdf-schema#>
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel HausmannPrefix: food: <http://www.w3.org/2002/03owlt/miscellaneous/consistent002#>
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel HausmannPrefix: vin: <http://www.w3.org/2002/03owlt/miscellaneous/consistent001#>
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel HausmannPrefix: owl11: <http://www.w3.org/2006/12/owl11#>
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel HausmannOntology: Family
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel HausmannObjectProperty: fatherOf
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel HausmannIndividual: Stewie
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann DifferentFrom:
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel HausmannIndividual: Meg
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann DifferentFrom:
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel HausmannIndividual: Peter
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann fatherOf max 1 Woman
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann fatherOf Stewie,
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmannwith Class Woman |-> Female, NamedIndividual Peter |-> John