Skip to content

Instantly share code, notes, and snippets.

@NobodysNightmare
Created December 20, 2011 13:31
Show Gist options
  • Star 0 You must be signed in to star a gist
  • Fork 0 You must be signed in to fork a gist
  • Save NobodysNightmare/1501579 to your computer and use it in GitHub Desktop.
Save NobodysNightmare/1501579 to your computer and use it in GitHub Desktop.
@prefix xsd: <http://www.w3.org/2001/XMLSchema#> .
@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#> .
@base <http://www.semanticweb.org/ontologies/2011/11/Ontology1324312786114.owl> .
:Person a owl:Class .
:hasFamilyMember a owl:SymmetricProperty ;
rdfs:domain :Person ;
rdfs:range :Person .
:hasSibling a owl:SymmetricProperty ;
rdfs:subPropertyOf :hasFamilyMember .
:hasPartner a owl:SymmetricProperty ;
rdfs:subPropertyOf :hasFamilyMember .
:Schwippschwager a owl:Class ;
owl:equivalentClass
[ a owl:Restriction ;
owl:onProperty :hatSchwippi ;
owl:someValuesFrom :Person
] .
:hatSchwippi owl:propertyDisjointWith :hasSibling ;
owl:propertyChainAxiom ( :hasSibling :hasPartner :hasSibling ) ;
owl:propertyChainAxiom ( :hasPartner :hasSibling :hasPartner ) .
:Ich :hasSibling :Schwester .
:Schwester :hasPartner :FreundVonSchwester .
:FreundVonSchwester :hasSibling :BruderVonFreundVonSchwester .
:Ich3 :hasPartner :Freundin3 .
:Freundin3 :hasSibling :SchwesterVonFreundin3 .
:SchwesterVonFreundin3 :hasPartner :FreundVonSchwesterVonFreundin3 .
:Ich2 :hasSibling :Bruder2 .
:Ich2 :hasPartner :Freundin2 .
:Freundin2 :hasSibling :SchwesterVonFreundin2 .
:SchwesterVonFreundin2 :hasPartner :Bruder2 .
:NichtSchwipp1 :hasSibling :NichtSchwipp2.
:NichtSchwipp1 :hasPartner :NSF1.
:NichtSchwipp2 :hasPartner :NSF2.
:NSF1 :hasSibling :NSF2.
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment