Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Update taxon_constraints.md #2

Open
wants to merge 1 commit into
base: master
Choose a base branch
from
Open

Update taxon_constraints.md #2

Changes from all commits
Commits
Show all changes
1 commit
Select commit
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
12 changes: 6 additions & 6 deletions docs/key-topics/taxon_constraints.md
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -3,26 +3,26 @@
There are, in essence, three categories of taxon-specific knowledge we use across OBO ontologies. Given a class `C`, which could be anything from an anatomical entity to a biological process, we have the following categories:


1. The ALL-IN restriction: "C in-taxon T"
2. The NOT-IN restriction: "C never-in-taxon T"
2. The SOME-IN restriction: "C present-in-taxon T"
1. The ALL-IN restriction: "C in-taxon T". Use this when the entity (e.g. anatomical structures, cell types or biological processes) is only found in the taxon specified.
2. The NOT-IN restriction: "C never-in-taxon T". Use this when the entity is never found in the taxon specified
2. The SOME-IN restriction: "C present-in-taxon T". Use this when the entity is found in the taxon specified, but may also be found in other taxa.

## The ALL-IN restriction: "in-taxon some T"

- _Meaning_: "_All_ instances of `C` are in taxon `T`"
- _Canonical logical representation_: `C SubClassOf: in-taxon some T`
- _Canonical logical representation_: `C SubClassOf: in-taxon some T` # Editors should use this one.
- Comment: no need for only-in-taxon if in-taxon is functional
- _Alternative representations_: None
- _Editor guidance_: Editors use the Cannonical logical representation in subClassOf or simple (non-nested) EquivalentClass axioms.

## The NOT-IN restriction: "C SubClassOf: not (in_taxon some T)"

- _Meaning_: "_No_ instances of `C` are in taxon `T`"
- _Canonical logical representation_: `C SubClassOf: not (in_taxon some T)`
- _Canonical logical representation_: `C SubClassOf: not (in_taxon some T)`
- _Alternative representations_:
- Alternative EL logical representation: `C disjointWith in-taxon some T`
- Comment: depends on injecting GCIs into NCBITaxon
- Canonical Shortcut: AnnotationAssertion: `C never-in-taxon T`
- Canonical Shortcut: AnnotationAssertion: `C never-in-taxon T` #
- _Editor guidance_: Editors use cannonical logical representation, only in simple subClassOf axioms.

## The SOME-IN restriction: "a ClassAssertion: `C` and in-taxon some `T`"
Expand Down