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.

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

Replace type definition for abbreviation synonyms #3082

Merged
merged 10 commits into from
Oct 26, 2023
2 changes: 1 addition & 1 deletion src/ontology/profile.txt
Original file line number Diff line number Diff line change
Expand Up @@ -27,6 +27,6 @@ ERROR equivalent_class_axiom_no_genus
ERROR illegal_use_of_built_in_vocabulary
ERROR invalid_entity_uri
ERROR missing_subset_declaration
ERROR missing_synonymtype_declaration
WARN missing_synonymtype_declaration
ERROR misused_replaced_by
ERROR multiple_equivalent_class_definitions
Loading
Loading