About: never in taxon

Facets (new session)
Description
Metadata
Settings
- owl:sameAs
- Inference Rule:

About: never in taxon Goto Sponge NotDistinct Permalink

An Entity of Type : owl:AnnotationProperty, within Data Space : wasabi.inria.fr associated with source document(s)

Attributes	Values
type	AnnotationProperty
subPropertyOf	taxonomic class assertion
label	never in taxon never in taxon
seeAlso	https://github.com/obophenotype/uberon/wiki/Taxon-constraints
described by	proxy:entity/http/purl.obolibrary.org/obo/ro.owl https://covidontheweb.inria.fr:4443/about/id/entity/http/purl.obolibrary.org/obo/ro.owl
term editor	Christopher J. Mungall Chris Mungall
example of usage	tooth SubClassOf 'never in taxon' value 'Aves'
definition	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	http://www.ncbi.nlm.nih.gov/pubmed/17921072 http://www.ncbi.nlm.nih.gov/pubmed/20973947
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 . }
expand assertion to	?X DisjointWith RO_0002162 some ?Y Class: ?X DisjointWith: RO_0002162 some ?Y
is topic of	OBO Relations Ontology

Faceted Search & Find service v1.13.91 as of Mar 24 2020

Alternative Linked Data Documents: Sponger | ODE Content Formats:

RDF

ODATA

Microdata

About

OpenLink Virtuoso version 07.20.3229 as of Jul 10 2020, on Linux (x86_64-pc-linux-gnu), Single-Server Edition (94 GB total memory)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2025 OpenLink Software