Pawel Garbacz

Results 22 issues of Pawel Garbacz

https://www.omg.org/spec/MVF/MultipleVocabularyFacility/VocabularyEntry has an obsolete restriction: https://github.com/edmcouncil/idmp/blob/57ef7480b0077090bec5df07eb1d589f07a1500d/MVF/ISO1087-VocabularyForTermsAndDefinitions.rdf#L833-L837 which can be inferred from: https://github.com/edmcouncil/idmp/blob/57ef7480b0077090bec5df07eb1d589f07a1500d/MVF/MultipleVocabularyFacility.rdf#L273-L277

hygiene

https://spec.pistoiaalliance.org/idmp/ontology/ISO/ISO11238-Substances/Amount has an obsolete restriction: https://github.com/edmcouncil/idmp/blob/57ef7480b0077090bec5df07eb1d589f07a1500d/ISO/ISO11238-Substances.rdf#L276-L280 which can be inherited from its other restriction: https://github.com/edmcouncil/idmp/blob/57ef7480b0077090bec5df07eb1d589f07a1500d/ISO/ISO11238-Substances.rdf#L269-L273 This was revealed by https://jenkins.edmcouncil.org/view/idmp/job/idmp/job/additional_hygiene_test_for_obsolete_restrictions/4/.

hygiene

The table below shows all individuals (from [ec8ee5e](https://github.com/edmcouncil/idmp/commit/ec8ee5e4772cfedf8cfee448cb23aadb60b61656)) such that: 1. they are not declared as identical (owl:sameAs) or different (owl:differentFrom) 2. if they were declared different, this would make...

bug
examples

This pull request renames and reorders files published at the two maturity levels. :warning: Because of the changes that need to be made to the infrastructure, this pull request may...

CD/CI infrastructure

## Support Question `mvn clean install` fails with this error: [ERROR] Failed to execute goal on project cdm-parent: Could not resolve dependencies for project org.finos.cdm:cdm-parent:pom:0.0.0.master-SNAPSHOT: Failed to collect dependencies at...

question

## Description This pull request synchronises the FIBO hygiene tests with those in https://github.com/edmcouncil/idmp. It assumes that https://github.com/edmcouncil/fibo/issues/2021 has been addressed beforehand. ## Checklist: - [X] I'm familiar with the...

hygiene

This fixes: #75 as suggested in https://github.com/edmcouncil/rdf-toolkit/issues/75#issuecomment-2141581477.

**Describe the bug** The CLIF axiom kbr-1 is ill-formed. **To Reproduce** https://github.com/BFO-ontology/BFO-2020/blob/25c834ed1c33997b756d5f62fc763e09f9826c0c/src/common-logic/continuant-mereology.cl#L73-L77 The syntax problem is with the conjunction, which as it is now, has only one argument, but I...

bug
FOL staged

**Describe the bug** IMHO, all CLIF files are syntactically incorrect as far as the use of CLIF titlings is concerned. **To Reproduce** According to the spec, i.e., section A.2.3.10 Titling,...

bug
FOL staged

**Describe the bug** IMHO, most if not all, CLIF files are syntactically incorrect as far as the use of CLIF commented sentences (`commentsent`) is concerned. **To Reproduce** According to the...

bug
FOL staged