Merge pull request #80 from BFO-ontology/master

Syncing branch to master

documentation/sparql/README.md

@@ -1,6 +1,6 @@
 # SPARQL Quality Control 
 
-This directory contains SPARQL files used to automate quality control checks against updates to bfo-core-owl. 
+This directory contains [SPARQL](https://www.w3.org/TR/sparql11-query/) files used to automate quality control checks against updates to bfo-core-owl. 
 
 ## Quality Control Format
 

src/README.md

@@ -2,8 +2,8 @@
 
 This directory contains documentation reflecting the requirements of [ISO/IEC 21838‑2:2020](https://www.iso.org/obp/ui/#iso:std:iso-iec:21838:-2:ed-1:v1:en), specifically:
 * owl 
-    - bfo-core.owl - Implementation of BFO in the Web Ontology Language (OWL), rendered in RDF/XML.
-    - bfo-core.owl - Implementation of BFO in the Web Ontology Language (OWL), rendered in Functional Syntax.
+    - bfo-core.owl - Implementation of BFO in the Web Ontology Language (OWL), rendered in OWL/XML.
+    - bfo-core.ofn - Implementation of BFO in the Web Ontology Language (OWL), rendered in Functional Syntax.
 * common logic
     - Files containing modularized sub-theories of BFO in CLIF, such as the theory of spatial regions spatial.cl and the theory of histories history.cl. 
 * prover9 
@@ -13,4 +13,4 @@ This directory contains documentation reflecting the requirements of [ISO/IEC 21
 ## Differences in Logical Strength
 Note that the OWL implementation of BFO is an _approximation_ to the implementations of BFO in both CLIF and Prover9, which are logically stronger. As an approximation, the BFO OWL is incomplete, in the sense that there are potentially provably true OWL axioms that it does not contain. The BFO OWL implementation will become more complete as additions are made. Users are encouraged to suggest BFO-FOL provable BFO-OWL axioms to our issue tracker https://github.com/BFO-ontology/BFO-2020/issues so that they can be verified and added to future BFO-OWL releases.
 
-NOTE: [ISO/IEC 21838‑2:2020](https://www.iso.org/obp/ui/#iso:std:iso-iec:21838:-2:ed-1:v1:en) states that axioms in BFO OWL are valid just in case they are provable from one of the stronger BFO implementations (e.g. CLIF or Prover9). 
+NOTE: [ISO/IEC 21838‑2:2020](https://www.iso.org/obp/ui/#iso:std:iso-iec:21838:-2:ed-1:v1:en) states that axioms in BFO OWL are valid just in case they are provable from one of the stronger BFO implementations (e.g. CLIF or Prover9). 

src/owl/README.md

@@ -3,9 +3,9 @@
 This directory contains the Web Ontology Language (OWL) implementation of BFO, specifically, [OWL2](https://www.w3.org/TR/owl2-overview/). As the file name suggests, this is the foundational implementation for any extensions of BFO implemented in OWL 2, such as those found in the temporal extensions directory. 
 
 ## Directory Structure
-* bfo-core.owl corresponds to [ISO/IEC 21838‑2](https://www.iso.org/obp/ui/#iso:std:iso-iec:21838:-2:ed-1:v1:en) A.1.2-3, formatted as RDF/XML. 
-* bfo-core.ofn correspond to [ISO/IEC 21838‑2](https://www.iso.org/obp/ui/#iso:std:iso-iec:21838:-2:ed-1:v1:en) A.1.2-3, formatted as Functional-Style Syntax.
-* bfo-core.ttl, formatted in the Terse RDF Triple Language flavor of RDF.
-* temporal extensions 
-  - temporalized relations - Contains R&D project extending bfo-core.owl to a stronger representation of time, namely, one that employs temporal qualification of continuant object properties, resulting in "all times" and "some times" versions. 
-  - contributions - Files that are not part of the bfo-core.owl distribution but are intended as potentially useful additions. 
+* bfo-core.owl corresponds to [ISO/IEC 21838‑2](https://www.iso.org/obp/ui/#iso:std:iso-iec:21838:-2:ed-1:v1:en) A.1.2-3, formatted as [RDF/XML](https://www.w3.org/TR/rdf-syntax-grammar/). 
+* bfo-core.ofn correspond to [ISO/IEC 21838‑2](https://www.iso.org/obp/ui/#iso:std:iso-iec:21838:-2:ed-1:v1:en) A.1.2-3, formatted as [Functional-style Syntax](https://www.w3.org/TR/owl2-syntax/#Functional-Style_Syntax).
+* bfo-core.ttl, formatted in the [Terse RDF Triple Language](https://www.w3.org/TR/turtle/) flavor of RDF.
+* profiles - Contains BFO research & development projects that use bfo-core.owl as a foundation. 
+  - temporal extensions - Contains research & development projects extending bfo-core.owl with a stronger representation of time.
+  - atemporal - Contains research & development projects removing relations referencing time from bfo-core.owl.

src/owl/bfo-core.ofn

@@ -9,8 +9,8 @@ Prefix(rdfs:=<http://www.w3.org/2000/01/rdf-schema#>)
 Prefix(skos:=<http://www.w3.org/2004/02/skos/core#>)
 
 
-Ontology(<http://purl.obolibrary.org/obo/bfo>
-<http://purl.obolibrary.org/obo/bfo/2020/bfo>
+Ontology(<http://purl.obolibrary.org/obo/bfo.owl>
+<http://purl.obolibrary.org/obo/bfo/2020/bfo-core.ofn>
 Annotation(dc11:contributor "Alan Ruttenberg")
 Annotation(dc11:contributor "Albert Goldfain")
 Annotation(dc11:contributor "Barry Smith")
@@ -778,7 +778,7 @@ SubClassOf(<http://purl.obolibrary.org/obo/BFO_0000035> ObjectAllValuesFrom(<htt
 
 AnnotationAssertion(dc11:identifier <http://purl.obolibrary.org/obo/BFO_0000038> "103-BFO")
 AnnotationAssertion(rdfs:label <http://purl.obolibrary.org/obo/BFO_0000038> "one-dimensional temporal region"@en)
-AnnotationAssertion(skos:definition <http://purl.obolibrary.org/obo/BFO_0000038> "(Elucidation) A one-dimensional temporal region is a temporal region is a whole that has a temporal interval and zero or more temporal intervals and temporal instants as parts"@en)
+AnnotationAssertion(skos:definition <http://purl.obolibrary.org/obo/BFO_0000038> "(Elucidation) A one-dimensional temporal region is a temporal region that is a whole that has a temporal interval and zero or more temporal intervals and temporal instants as parts"@en)
 AnnotationAssertion(skos:example <http://purl.obolibrary.org/obo/BFO_0000038> "The temporal region during which a process occurs"@en)
 SubClassOf(<http://purl.obolibrary.org/obo/BFO_0000038> <http://purl.obolibrary.org/obo/BFO_0000008>)
 SubClassOf(<http://purl.obolibrary.org/obo/BFO_0000038> ObjectAllValuesFrom(<http://purl.obolibrary.org/obo/BFO_0000121> ObjectUnionOf(<http://purl.obolibrary.org/obo/BFO_0000038> <http://purl.obolibrary.org/obo/BFO_0000148>)))
@@ -827,7 +827,7 @@ SubClassOf(<http://purl.obolibrary.org/obo/BFO_0000142> ObjectAllValuesFrom(<htt
 
 AnnotationAssertion(dc11:identifier <http://purl.obolibrary.org/obo/BFO_0000145> "057-BFO")
 AnnotationAssertion(rdfs:label <http://purl.obolibrary.org/obo/BFO_0000145> "relational quality"@en)
-AnnotationAssertion(skos:definition <http://purl.obolibrary.org/obo/BFO_0000145> "b is a relational quality =Def b is a quality & there exists c and d such that b and c are not identical & b specifically depends on c & b specifically depends on d"@en)
+AnnotationAssertion(skos:definition <http://purl.obolibrary.org/obo/BFO_0000145> "b is a relational quality =Def b is a quality & there exists c and d such that c and d are not identical & b specifically depends on c & b specifically depends on d"@en)
 AnnotationAssertion(skos:example <http://purl.obolibrary.org/obo/BFO_0000145> "A marriage bond; an instance of love; an obligation between one person and another"@en)
 SubClassOf(<http://purl.obolibrary.org/obo/BFO_0000145> <http://purl.obolibrary.org/obo/BFO_0000019>)