BFO-ontology BFO-2020 issues

BFO-ontology / BFO-2020

A repository for BFO 2020 artifacts specified in ISO 21838-2:2020

68 stars 27 forks source link

issues

Newest

Newest Most commented Recently updated Oldest Least commented Least recently updated

Two more axiom identifiers that are not unique

#55 wceusters closed 1 year ago
3
Triple use of [qga-1] in CLIF files

#54 wceusters closed 1 year ago
1
[abo-1] identifier is used for two different axioms in universal-declaration.cl

#53 wceusters closed 1 year ago
1
Duplication in .cl files

#52 wceusters closed 1 year ago
6
temporal-part-of has unique-product [wsg-1] - syntax issue

#51 wceusters closed 1 year ago
1
[eom-1] in occurrent-mereology - syntax issue

#50 wceusters closed 1 year ago
1
Multiple copies of BFO without-some-all-times

#49 neilotte closed 1 year ago
1
Use of distinct predicate

#48 mereolog closed 1 year ago
1
Axiom [eom-1] is ill-formed

#47 mereolog closed 1 year ago
5
proper occurrent part of is not declared transitive

#46 alanruttenberg closed 1 year ago
6
bfo-2020.owl and bfo-2020-without-some-all-times.owl have the same content

#45 psiotwo closed 1 year ago
1
"has proper occurrent part" has wrong Domain/Range in bfo-2020-terms

#44 psiotwo closed 1 year ago
1
Elucidation and Definition columns seem swapped for A.1.2.7 and A.1.2.8 in bfo-2020-terms

#43 psiotwo closed 1 year ago
1
Using terms 'Domain' and 'Range' for ternary relations in bfo-2020-terms is confusing

#42 psiotwo opened 1 year ago
2
domain of exists_at not well aligned with its Elucidation in bfo-2020-terms

#41 psiotwo opened 1 year ago
22
Consistency proof for 8792dde commit

#40 mereolog closed 1 year ago
5
Processes should not depend on material entities participating

#39 nklsbckmnn opened 2 years ago
10
show that the bearer of an sdc/gdc must participate in a process

#38 wdduncan opened 2 years ago
4
Comment on acg-1 cut and paste error

#37 alanruttenberg closed 8 months ago
0
Comment on vvy-1 is wrong

#36 alanruttenberg closed 1 year ago
2
Version that's supposed to not have temporalized relations does

#35 alanruttenberg closed 1 year ago
5
Problem (?) with axiom "regions-precede-if-they-meet" [suk-1]

#34 kataph opened 2 years ago
8
Typographic Consistency

#33 neilotte closed 7 months ago
1
Typo in Relational Quality Definition

#32 ameliakahn closed 7 months ago
1
Find and eliminate cases where and/or is used with a single clause.

#31 alanruttenberg opened 2 years ago
1
Documentation string "15. If a material entity has a proper part, then at least one of its proper parts is not a material entity" has a typo

#30 alanruttenberg closed 2 years ago
1
material basis can't be an immaterial entity, though an immaterial entity bear a disposition.

#29 alanruttenberg opened 2 years ago
1
Documentation string "6. A role exists at least at the beginning of the realization process" too specific

#28 alanruttenberg closed 2 years ago
1
Why isn't exists-at in the relations table or in OWL

#27 alanruttenberg closed 3 years ago
2
Axiom parts-of-common-whole-and-located-in-one-means-part-of-it is wrong.

#26 alanruttenberg closed 3 years ago
1
Missing definition of occurs-in?

#25 alanruttenberg opened 3 years ago
0
There should be a covering axiom for temporal region

#24 alanruttenberg closed 3 years ago
1
Can sites and boundaries have dispositions?

#23 alanruttenberg closed 3 years ago
1
Some theorems provable in FOL might be not be provable in OWL, but still be expressible in OWL

#22 alanruttenberg opened 3 years ago
0
Meaningless prefix

#21 swartik closed 3 years ago
1
Add axiom that captures intention that there are no proper parts of a fiat-point

#20 alanruttenberg closed 3 years ago
1
Organizations as Object Aggregates

#19 neilotte closed 3 years ago
12
Covering axioms missing

#18 alanruttenberg closed 3 years ago
1
concretizes definition too restricted

#17 neilotte closed 3 years ago
8
Are there 2d processes that spatially project to a 2d spatial region?

#16 alanruttenberg opened 3 years ago
0
local domain/range are given on at-all-time instead of at-some-time

#15 alanruttenberg opened 3 years ago
1
Identity criteria for temporal parts of processes?

#14 alanruttenberg opened 3 years ago
3
Is spatial region an independent continuant?

#13 Michaeltlee closed 3 years ago
1
[201-BFO]: b and c are reversed

#12 Michaeltlee closed 3 years ago
1
Description of axiom 44 in temporal-regions.pdf/cl/prover9 is wrong

#11 alanruttenberg closed 3 years ago
1
Add stable identifers to axioms in FOL

#10 alanruttenberg closed 2 years ago
1
Ternary relations in FOL don't match names in ISO

#9 alanruttenberg closed 3 years ago
5
Domain and range of member part of at all/some time/s aren't specific enough

#8 alanruttenberg opened 3 years ago
3
Definition annotations

#7 neilotte closed 3 years ago
3
In bfo-2020-relations-table.xlsx the label "inverse at all times" is misleading

#6 alanruttenberg closed 3 years ago
2

Previous Next