search

BFO-ontology / BFO-2020

A repository for BFO 2020 artifacts specified in ISO 21838-2:2020
80 stars 28 forks source link

fix text definition of relational quality #71

Closed jmkeil closed 10 months ago

jmkeil commented 1 year ago

As suggested in #32, this PR changes the textual definition of relational quality:

Before:

b is a relational quality =Def. b is a quality and there exists c and d such that b and c are not identical, & b s-depends on c & b s-depends on d

After:

b is a relational quality =Def. b is a quality and there exists c and d such that c and d are not identical, & b s-depends on c & b s-depends on d

I think this change is in line with the textual and formal definitions in specific-dependency.cl and specific-dependency.prover9.

johnbeve commented 10 months ago

Thank you @jmkeil. OWL files have been updated as you've suggested. See: https://github.com/BFO-ontology/BFO-2020/commit/4d00938e1ccf1ba16ce75223ee1b728b681e4faa https://github.com/BFO-ontology/BFO-2020/commit/775be6d920b63a0e985639046acddf592565a157