Skip to content

Restructure material entity branch and fix axioms - #37

Merged
XimeAixa merged 8 commits into
mainfrom
feat/reorg-material-entity
Sep 14, 2026
Merged

XimeAixa merged 8 commits into
mainfrom
feat/reorg-material-entity

Conversation

@XimeAixa

Copy link
Copy Markdown
Collaborator

Material entity branch (IDPO:0000091-0000098)

Two modelling errors fixed:

  • protein region (IDPO:0000095) was is_a protein, entailing that every IDR
    and every ordered region is itself a protein. Now BFO:0000024 (fiat object
    part) with part_of some protein.
  • condensate (IDPO:0000092) was is_a compound, which is defined as a
    molecule. A condensate is an assembly of many molecules, so the genus did not
    hold. Now BFO:0000027 (object aggregate).

Also:

  • compound and protein re-parented from BFO:0000040 to BFO:0000030 (object)
  • biomolecular condensate: added output of some 'biomolecular condensate formation' (RO:0002353)
  • definitions rewritten so the stated genus matches the asserted parent
  • hasOBONamespace changed from compound / protein to material_entity,
    consistent with the other branches

Logical definitions

Added:

  • IDPO:0000096 = protein and ('has quality' some 'disorder state')
  • IDPO:0000097 = 'protein region' and ('has quality' some 'disorder state')
  • IDPO:0000098 = 'protein region' and ('has quality' some 'order state')

Other fixes

Several typos were fixed in definitions, the ontology roots were updated. No terms added, removed, obsoleted or relabelled.

Axioms modified:

-IDPO:0000001 SubClassOf: 'quality of' some (protein or 'protein region')
-IDPO:0000030 SubClassOf: 'function of' some 'intrinsically disordered region'
-IDPO:0000085 SubClassOf: 'role of' some 'intrinsically disordered region'
-IDPO:0000100 SubClassOf: 'role of' some (protein or 'protein region')

Axioms removed:

-IDPO:0000030 SubClassOf: 'has quality' some 'disorder state'

@XimeAixa XimeAixa added the enhancement New feature or request label Sep 14, 2026
@XimeAixa XimeAixa linked an issue Sep 14, 2026 that may be closed by this pull request
1 task
@XimeAixa
XimeAixa merged commit 2ea851e into main Sep 14, 2026
1 check passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

enhancement New feature or request

Projects

None yet

Development

Successfully merging this pull request may close these issues.

[REORG] Restructuring the material entity branch

1 participant