This version of OLS (OLS3) is no longer updated and will be replaced by OLS4 on 30th October 2023.

Help us test the new version of OLS, with updated versions of ontologies and lots of new features!

Property information

defined by construct

PREFIX rdfs: <> PREFIX owl: <> PREFIX in_taxon: <> PREFIX never_in_taxon: <> 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 . }


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.

definition source

example of usage

tooth SubClassOf 'never in taxon' value 'Aves'

expand assertion to

Class: ?X DisjointWith: RO_0002162 some ?Y


term editor

Chris Mungall

Property relations