diff --git a/documentation/README.md b/documentation/README.md index 916953b..ffe3db7 100644 --- a/documentation/README.md +++ b/documentation/README.md @@ -1,10 +1,11 @@ # BFO Repository Documentation -This directory contains files to promote user understanding and contributions: +This directory contains users guides, release notes, and contribution guidelance: * axiomatization pdfs - Contains first-order axiomatizations of BFO sub-theories stored in PDF, such as: continuant-mereology.pdf * FAQ - Contains guidance for contributing to this repository, using Github workflows, and so on. * user guides - Contains user guides for: ontology developers, software developers and subject matter experts. +* release-notes - Contains notes outlining updates, revisions, and other changes between releases of BFO implementations. This directory also contains files needed to support automated quality control checks and illustration within this repository: diff --git a/documentation/first-order-logic-axiomatization/README.md b/documentation/first-order-logic-axiomatization/README.md index 21dd19d..04e71a7 100644 --- a/documentation/first-order-logic-axiomatization/README.md +++ b/documentation/first-order-logic-axiomatization/README.md @@ -1,6 +1,5 @@ # Directory Structure -This directory contains the first-order implementation of Basic Formal Ontology represented in a standard signature, modularized into sub-theories of BFO which are stored as pdf documents. -These files correspond to the versions in src/common-logic and src/prover9 +This directory contains the first-order implementation of Basic Formal Ontology represented in a standard signature, modularized into sub-theories of BFO which are stored as pdf documents. These files correspond to the versions in src/common-logic and src/prover9 -Release notes are available in the top level directory "release-notes" +Release notes are available in documentation/release-notes. diff --git a/documentation/temporal-extensions/temporalized-relations/temporalized-relations.pdf b/documentation/first-order-logic-axiomatization/profiles/temporalized-relations.pdf similarity index 100% rename from documentation/temporal-extensions/temporalized-relations/temporalized-relations.pdf rename to documentation/first-order-logic-axiomatization/profiles/temporalized-relations.pdf diff --git a/release-notes/FOL-axiomatization-release-notes-2024-01-10.txt b/documentation/release-notes/FOL-axiomatization-release-notes-2024-01-10.txt similarity index 100% rename from release-notes/FOL-axiomatization-release-notes-2024-01-10.txt rename to documentation/release-notes/FOL-axiomatization-release-notes-2024-01-10.txt diff --git a/documentation/sparql/duplicate_definition.sparql b/documentation/sparql/duplicate_definition.sparql new file mode 100644 index 0000000..8377b2e --- /dev/null +++ b/documentation/sparql/duplicate_definition.sparql @@ -0,0 +1,16 @@ +# Title: +# No Duplicate Definitions +# Constraint Description: +# No two ontology elements may have the exact same definition. +# Severity: +# Error + +PREFIX skos: + +SELECT DISTINCT ?entity ?definition +WHERE { + ?entity skos:definition ?definition . + ?entity2 skos:definition ?definition . + FILTER (?entity != ?entity2) + FILTER (!isBlank(?entity)) +} \ No newline at end of file diff --git a/src/common-logic/README.md b/src/common-logic/README.md index 11cbdf7..5fa6210 100644 --- a/src/common-logic/README.md +++ b/src/common-logic/README.md @@ -1,6 +1,6 @@ # Directory Structure -This directory contains the Common Logic (CL) implementation of Basic Formal Ontology (BFO). +This directory contains Common Logic (CL) implementations of Basic Formal Ontology (BFO). **Common Logic** is a framework for a family of first-order logical languages, specified in [ISO/IEC 24707:2018](https://www.iso.org/standard/66249.html), is designed for use in the representation and interchange of disparate data sources, and is specified in three dialects, one of which - **Common Logic Interchange Format** (CLIF) - is adopted here. diff --git a/src/owl/temporal extensions/temporalized relations/common logic/temporalized-relations.cl b/src/common-logic/profiles/temporalized-relations.cl similarity index 100% rename from src/owl/temporal extensions/temporalized relations/common logic/temporalized-relations.cl rename to src/common-logic/profiles/temporalized-relations.cl diff --git a/src/prover9/README.md b/src/prover9/README.md index 0a3849a..fb6e368 100644 --- a/src/prover9/README.md +++ b/src/prover9/README.md @@ -1,6 +1,6 @@ # Directory Structure -This directory contains the Prover9 implementation of Basic Formal Ontology (BFO) as well as two versions of a consistent model: one in Prover9's native syntax and one in clausetester format. +This directory contains Prover9 implementations of Basic Formal Ontology (BFO) as well as two versions of a consistent model: one in Prover9's native syntax and one in clausetester format. **Prover9** is first-order automated theorem prover, developed by [William McCune](https://www.cs.unm.edu/~mccune/prover9/), a version of which can be found [here](https://github.com/ai4reason/Prover9). Files in this directory are used to automatically verify various formal properties and theorems of BFO. diff --git a/src/owl/temporal extensions/temporalized relations/prover9/temporalized-relations.p9 b/src/prover9/profiles/temporalized-relations.p9 similarity index 100% rename from src/owl/temporal extensions/temporalized relations/prover9/temporalized-relations.p9 rename to src/prover9/profiles/temporalized-relations.p9