diff --git a/documentation/axiomatization pdfs/README.md b/documentation/axiomatization pdfs/README.md deleted file mode 100644 index c569dfa..0000000 --- a/documentation/axiomatization pdfs/README.md +++ /dev/null @@ -1,3 +0,0 @@ -# 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. \ No newline at end of file diff --git a/documentation/first-order-logic-axiomatization/README.md b/documentation/first-order-logic-axiomatization/README.md new file mode 100644 index 0000000..21dd19d --- /dev/null +++ b/documentation/first-order-logic-axiomatization/README.md @@ -0,0 +1,6 @@ +# 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 + +Release notes are available in the top level directory "release-notes" diff --git a/documentation/axiomatization pdfs/continuant-mereology.pdf b/documentation/first-order-logic-axiomatization/continuant-mereology.pdf similarity index 100% rename from documentation/axiomatization pdfs/continuant-mereology.pdf rename to documentation/first-order-logic-axiomatization/continuant-mereology.pdf diff --git a/documentation/axiomatization pdfs/existence-instantiation.pdf b/documentation/first-order-logic-axiomatization/existence-instantiation.pdf similarity index 100% rename from documentation/axiomatization pdfs/existence-instantiation.pdf rename to documentation/first-order-logic-axiomatization/existence-instantiation.pdf diff --git a/documentation/axiomatization pdfs/generic-dependence.pdf b/documentation/first-order-logic-axiomatization/generic-dependence.pdf similarity index 100% rename from documentation/axiomatization pdfs/generic-dependence.pdf rename to documentation/first-order-logic-axiomatization/generic-dependence.pdf diff --git a/documentation/axiomatization pdfs/history.pdf b/documentation/first-order-logic-axiomatization/history.pdf similarity index 100% rename from documentation/axiomatization pdfs/history.pdf rename to documentation/first-order-logic-axiomatization/history.pdf diff --git a/documentation/axiomatization pdfs/material-entity.pdf b/documentation/first-order-logic-axiomatization/material-entity.pdf similarity index 100% rename from documentation/axiomatization pdfs/material-entity.pdf rename to documentation/first-order-logic-axiomatization/material-entity.pdf diff --git a/documentation/axiomatization pdfs/occurrent-mereology.pdf b/documentation/first-order-logic-axiomatization/occurrent-mereology.pdf similarity index 100% rename from documentation/axiomatization pdfs/occurrent-mereology.pdf rename to documentation/first-order-logic-axiomatization/occurrent-mereology.pdf diff --git a/documentation/axiomatization pdfs/order.pdf b/documentation/first-order-logic-axiomatization/order.pdf similarity index 100% rename from documentation/axiomatization pdfs/order.pdf rename to documentation/first-order-logic-axiomatization/order.pdf diff --git a/documentation/axiomatization pdfs/participation.pdf b/documentation/first-order-logic-axiomatization/participation.pdf similarity index 100% rename from documentation/axiomatization pdfs/participation.pdf rename to documentation/first-order-logic-axiomatization/participation.pdf diff --git a/documentation/axiomatization pdfs/spatial.pdf b/documentation/first-order-logic-axiomatization/spatial.pdf similarity index 100% rename from documentation/axiomatization pdfs/spatial.pdf rename to documentation/first-order-logic-axiomatization/spatial.pdf diff --git a/documentation/axiomatization pdfs/spatiotemporal.pdf b/documentation/first-order-logic-axiomatization/spatiotemporal.pdf similarity index 100% rename from documentation/axiomatization pdfs/spatiotemporal.pdf rename to documentation/first-order-logic-axiomatization/spatiotemporal.pdf diff --git a/documentation/axiomatization pdfs/specific-dependency.pdf b/documentation/first-order-logic-axiomatization/specific-dependency.pdf similarity index 100% rename from documentation/axiomatization pdfs/specific-dependency.pdf rename to documentation/first-order-logic-axiomatization/specific-dependency.pdf diff --git a/documentation/axiomatization pdfs/temporal-region.pdf b/documentation/first-order-logic-axiomatization/temporal-region.pdf similarity index 100% rename from documentation/axiomatization pdfs/temporal-region.pdf rename to documentation/first-order-logic-axiomatization/temporal-region.pdf diff --git a/documentation/axiomatization pdfs/universal-declaration.pdf b/documentation/first-order-logic-axiomatization/universal-declaration.pdf similarity index 100% rename from documentation/axiomatization pdfs/universal-declaration.pdf rename to documentation/first-order-logic-axiomatization/universal-declaration.pdf diff --git a/documentation/temporal extensions/temporalized relations/temporalized-relations.pdf b/documentation/temporal-extensions/temporalized-relations/temporalized-relations.pdf similarity index 100% rename from documentation/temporal extensions/temporalized relations/temporalized-relations.pdf rename to documentation/temporal-extensions/temporalized-relations/temporalized-relations.pdf diff --git a/release-notes/FOL-axiomatization-release-notes-2024-01-10.txt b/release-notes/FOL-axiomatization-release-notes-2024-01-10.txt index fe2f98d..d5bd0f3 100644 --- a/release-notes/FOL-axiomatization-release-notes-2024-01-10.txt +++ b/release-notes/FOL-axiomatization-release-notes-2024-01-10.txt @@ -14,9 +14,9 @@ The axiom all-participation-at-process-occupied-temporal-region tightens the rel participation and processes, ensuring that all participation happens in the temporal region a process occupies. -Common Logic files: 'src/common logic' -Prover 9 files: 'src/prover9' -Typeset: 'documentation/axiomatization pdfs' +Common Logic files: src/common-logic +Prover 9 files: src/prover9 +Traditional notation: documentation/first-order-logic-axiomatization/ Alan Ruttenberg 2024-01-10 diff --git a/src/common logic/README.md b/src/common-logic/README.md similarity index 90% rename from src/common logic/README.md rename to src/common-logic/README.md index e5032ae..11cbdf7 100644 --- a/src/common logic/README.md +++ b/src/common-logic/README.md @@ -17,4 +17,6 @@ Files in this directory reflect moduralization of BFO into sub-theories, namely: - Spatiotemporal Regions and the occupation of these regions - Participation between continuants and processes - Precedence relationships across temporal regions -- Existence between entities and temporal regions \ No newline at end of file +- Existence between entities and temporal regions + +Release notes are available in the top level directory "release-notes" diff --git a/src/common logic/continuant-mereology.cl b/src/common-logic/continuant-mereology.cl similarity index 100% rename from src/common logic/continuant-mereology.cl rename to src/common-logic/continuant-mereology.cl diff --git a/src/common logic/existence-instantiation.cl b/src/common-logic/existence-instantiation.cl similarity index 100% rename from src/common logic/existence-instantiation.cl rename to src/common-logic/existence-instantiation.cl diff --git a/src/common logic/generic-dependence.cl b/src/common-logic/generic-dependence.cl similarity index 100% rename from src/common logic/generic-dependence.cl rename to src/common-logic/generic-dependence.cl diff --git a/src/common logic/history.cl b/src/common-logic/history.cl similarity index 100% rename from src/common logic/history.cl rename to src/common-logic/history.cl diff --git a/src/common logic/material-entity.cl b/src/common-logic/material-entity.cl similarity index 100% rename from src/common logic/material-entity.cl rename to src/common-logic/material-entity.cl diff --git a/src/common logic/occurrent-mereology.cl b/src/common-logic/occurrent-mereology.cl similarity index 100% rename from src/common logic/occurrent-mereology.cl rename to src/common-logic/occurrent-mereology.cl diff --git a/src/common logic/order.cl b/src/common-logic/order.cl similarity index 100% rename from src/common logic/order.cl rename to src/common-logic/order.cl diff --git a/src/common logic/participation.cl b/src/common-logic/participation.cl similarity index 100% rename from src/common logic/participation.cl rename to src/common-logic/participation.cl diff --git a/src/common logic/release-notes-2024-01-10.txt b/src/common-logic/release-notes-2024-01-10.txt similarity index 100% rename from src/common logic/release-notes-2024-01-10.txt rename to src/common-logic/release-notes-2024-01-10.txt diff --git a/src/common logic/spatial.cl b/src/common-logic/spatial.cl similarity index 100% rename from src/common logic/spatial.cl rename to src/common-logic/spatial.cl diff --git a/src/common logic/spatiotemporal.cl b/src/common-logic/spatiotemporal.cl similarity index 100% rename from src/common logic/spatiotemporal.cl rename to src/common-logic/spatiotemporal.cl diff --git a/src/common logic/specific-dependency.cl b/src/common-logic/specific-dependency.cl similarity index 100% rename from src/common logic/specific-dependency.cl rename to src/common-logic/specific-dependency.cl diff --git a/src/common logic/temporal-region.cl b/src/common-logic/temporal-region.cl similarity index 100% rename from src/common logic/temporal-region.cl rename to src/common-logic/temporal-region.cl diff --git a/src/common logic/universal-declaration.cl b/src/common-logic/universal-declaration.cl similarity index 100% rename from src/common logic/universal-declaration.cl rename to src/common-logic/universal-declaration.cl diff --git a/src/prover9/README.md b/src/prover9/README.md index 6551593..0a3849a 100644 --- a/src/prover9/README.md +++ b/src/prover9/README.md @@ -17,4 +17,6 @@ Files in this directory reflect moduralization of BFO into sub-theories, namely: - Spatiotemporal Regions and the occupation of these regions - Participation between continuants and processes - Precedence relationships across temporal regions -- Existence between entities and temporal regions \ No newline at end of file +- Existence between entities and temporal regions + +Release notes are available in the top level directory "release-notes"