BFO-2020

BFO-2020 copied to clipboard

Question on qualities of spatial regions

24

I see that properties that could be used to associate a quality with a continuant exclude spatial regions, e.g., as with the domain of `bearer of`. One concept I would...

ajnelson-nist

function definition: "realize process of a certain sort"

1

In the OWL version of [BFO-2020](http://purl.obolibrary.org/obo/bfo/2020/bfo-core.owl) the `skos:definition` for `function` reads: > (Elucidation) A function is a disposition that exists in virtue of its bearer's physical make-up & this physical...

wdduncan

Find and eliminate cases where and/or is used with a single clause.

1

Werner Ceusters points one out ``` (cl:comment "quality, realizable-entity are mutually disjoint [ksk-1]" (and (not (exists (x t) (and (instance-of x quality t) (instance-of x realizable-entity t)))))) ``` It's possible...

alanruttenberg

Filename extension for the RDF/XML serialization is incorrect

4

**Describe the bug** The official media type (formerly called MIME type) for RDF or OWL files serialized in RDF/XML is 'rdf', not 'owl'. There is an OWL XML syntax that...

ElisaKendall

Fixes issue #60: Replaces '@' symbol in email address with '(at)'.

2

I should have mentioned in the commit message that this is for the common logic files.

dillerm

BUG: dc11:license

2

In `bfo-core.ttl`, we find `dc11:license` along with `dc:license`. `dc11:license` doesn't actually exist, so it would make sense to take it out. (From the nit-picking department!)

johanwk

BUG: Typo in GDC Axioms

1

**Describe the bug** The last axiom for generic dependence is "If a generically dependent continuant participates in a process p then, if it is concretized as a process, that process...

CarterBeauBenson

BUG: spatial regions cannot bear qualities

3

At [Enhanced Object-Based Production Conference part two](https://ncorwiki.buffalo.edu/index.php/Enhanced_Object-Based_Production_Conference_part_two) the issue was raised as to why qualities cannot specifically depend on spatial regions. See definition for specifically depends on: > (Elucidation) specifically...

wdduncan

Use of continuant part of and occurrent part of

3

In the OWL version, the logical definition for `continuant` includes the (local) axiom `'continuant part of' only continuant`. Since the `continuant part of` relation can only hold between continuants, I...

wdduncan

Who controls the IRI for realizes?

1

When you put the IRI for `realizes` [http://purl.obolibrary.org/obo/BFO_0000055](http://purl.obolibrary.org/obo/BFO_0000055) in a web browser, it takes you to the RO definition, not the BFO-2020 definition. The two definitions are similar, but is...

wdduncan