JSON

never_in_taxon

^ http://purl.obolibrary.org/obo/RO_0002161


S never_in_taxon T iff: S SubClassOf in_taxon only not T.

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.

Property info

defined by construct

PREFIX rdfs: <http://www.w3.org/2000/01/rdf-schema#> PREFIX owl: <http://www.w3.org/2002/07/owl#> PREFIX in_taxon: <http://purl.obolibrary.org/obo/RO_0002162> PREFIX never_in_taxon: <http://purl.obolibrary.org/obo/RO_0002161> 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 . }

definition source

http://www.ncbi.nlm.nih.gov/pubmed/20973947,http://www.ncbi.nlm.nih.gov/pubmed/17921072

example of usage

tooth SubClassOf 'never in taxon' value 'Aves'

expand assertion to

Class: ?X DisjointWith: RO_0002162 some ?Y ,Class: <http://www.w3.org/2002/07/owl#Nothing> EquivalentTo: ?X and (RO_0002162 some ?Y)

id

never_in_taxon

see also

https://github.com/obophenotype/uberon/wiki/Taxon-constraints

shorthand

never_in_taxon

term editor

https://orcid.org/0000-0002-6601-2165

Property relations