<?xml version="1.0" encoding="UTF-8"?>
<rdf:RDF xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#" xmlns:obo_purl="http://purl.obolibrary.org/obo/" xmlns:owl="http://www.w3.org/2002/07/owl#" xmlns:rdfs="http://www.w3.org/2000/01/rdf-schema#" xmlns:ns0="https://github.com/obophenotype/uberon/wiki/">
  <owl:AnnotationProperty rdf:about="http://purl.obolibrary.org/obo/RO_0002161">
    <rdfs:label>never in taxon</rdfs:label>
    <rdfs:seeAlso rdf:resource="https://github.com/obophenotype/uberon/wiki/Taxon-constraints"/>
    <obo_purl:IAO_0000115>x never in taxon T if and only if T is a class, and x does not instantiate the class expression "in taxon some T". Note that this is a shortcut relation, and should be used as a hasValue restriction in OWL.</obo_purl:IAO_0000115>
    <obo_purl:OMO_0002000>PREFIX rdfs: &lt;http://www.w3.org/2000/01/rdf-schema#&gt;
PREFIX owl: &lt;http://www.w3.org/2002/07/owl#&gt;
PREFIX in_taxon: &lt;http://purl.obolibrary.org/obo/RO_0002162&gt;
PREFIX never_in_taxon: &lt;http://purl.obolibrary.org/obo/RO_0002161&gt;
CONSTRUCT {
  in_taxon: a owl:ObjectProperty .
  ?x owl:disjointWith [
    a owl:Restriction ;
    owl:onProperty in_taxon: ;
    owl:someValuesFrom ?taxon
  ] .
  ?x rdfs:subClassOf [
    a owl:Restriction ;
    owl:onProperty in_taxon: ;
    owl:someValuesFrom [
      a owl:Class ;
      owl:complementOf ?taxon
    ]
  ] .
}
WHERE {
  ?x never_in_taxon: ?taxon .
}</obo_purl:OMO_0002000>
  </owl:AnnotationProperty>
</rdf:RDF>