Created profile directories for implementations, updated readmes, add…

…ed no duplicate definition sparql qc

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: 
 

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.

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: <http://www.w3.org/2004/02/skos/core#>
+
+SELECT DISTINCT ?entity ?definition 
+WHERE {
+  ?entity skos:definition ?definition .
+  ?entity2 skos:definition ?definition .
+  FILTER (?entity != ?entity2)
+  FILTER (!isBlank(?entity))
+}

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.
 

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.