Skip to content

Improve and reorder ontology#24

Merged
epistrephein merged 9 commits into
mainfrom
owl/v1.1
May 14, 2026
Merged

Improve and reorder ontology#24
epistrephein merged 9 commits into
mainfrom
owl/v1.1

Conversation

@epistrephein
Copy link
Copy Markdown
Member

@epistrephein epistrephein commented May 13, 2026 •
edited
Loading

  • Mark core classes as disjointWith each other
  • Mark core individuals as differentFrom each other
  • Add FunctionalProperty where needed
  • Reorder fitScore before differentFrom in FitQuality
  • Add IrreflexiveProperty and AsymmetricProperty to followsStage
  • Add property stageRealizationOf inverseOf hasStageRealization

@epistrephein epistrephein self-assigned this May 13, 2026
@epistrephein epistrephein changed the title Update ontology and graph Improve and reorder ontology May 14, 2026
@epistrephein epistrephein marked this pull request as ready for review May 14, 2026 16:39
@epistrephein epistrephein merged commit ff75c56 into main May 14, 2026
3 of 4 checks passed
@epistrephein epistrephein deleted the owl/v1.1 branch May 14, 2026 16:40
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Reviewers

No reviews

Assignees

@epistrephein epistrephein

Labels

None yet

Projects

None yet

Milestone

No milestone

Development

Successfully merging this pull request may close these issues.

1 participant

@epistrephein