BFO

BFO copied to clipboard

FOL interpretation possible for 'A subclassOf r some B' ?

3

_From [[email protected]](https://code.google.com/u/[email protected]/) on March 12, 2013 18:41:05_ Given the independent continuants A and B, I still think that one can axiomatically define that the following two expressions should have the...

zhengj2007

_From [[email protected]](https://code.google.com/u/115850439786749293234/) on March 09, 2013 17:39:41_ See Janna's email: https://groups.google.com/d/msg/bfo-devel/4iW_pVjfVIM/P7ZA_zBRXPcJ (perhaps Janna can provide original file) If groups plan to adopt BFO2, they should be prepared rather, than trying...

zhengj2007

Provide help for translating property chains to BFO2

1

_From [[email protected]](https://code.google.com/u/115850439786749293234/) on March 09, 2013 17:19:49_ We have many property chains, for example: - has_part o part_of -> overlaps (note we need SWRL to properly define overlaps, but this...

zhengj2007

BFO2 is less effective at error-checking than alternate approaches

1

_From [[email protected]](https://code.google.com/u/115850439786749293234/) on March 09, 2013 15:44:00_ For examples see the OWL, screenshots and README in: https://code.google.com/p/bfo/source/browse/trunk/src/ontology/owl-group/examples/spatial-disjointness Basic summary: RO only requires one axiom for effective checking of spatial disjointness...

zhengj2007

subObjectProperties of 'has specific dependent at some time'

1

_From [[email protected]](https://code.google.com/u/100840849128868144328/) on March 07, 2013 15:22:15_ 'has disposition at some time' and 'has disposition at all time' with same textual definition. Same for 'has function' and 'has role'. 'has...

zhengj2007

Pattern for defining temporalized relations in terms of references

8

_From [[email protected]](https://code.google.com/u/115850439786749293234/) on March 05, 2013 14:57:40_ The release notes say: " We use two patterns exemplified in the next two definitions: x rel-at-some-time y -> exists(t) exists_at(x,t) -> exists_at(y,t)...

zhengj2007

BFO DL-Query Oddities noticed by Amanda Hicks

3

_From [[email protected]](https://code.google.com/u/[email protected]/) on March 01, 2013 16:17:10_ Amanda Hicks, UAMS, [email protected] I have noticed that there are some unsound results for DL queries in BFO. In short, some of the...

zhengj2007

_From [[email protected]](https://code.google.com/u/[email protected]/) on February 08, 2013 16:15:01_ The clause "if c migrates from bearer d to another bearer e than [sic!] a copy of b will be created in e"...

zhengj2007

Listing Clear Competency Questions for BFO2-FOL

1

_From [[email protected]](https://code.google.com/u/112908894172563557652/) on February 05, 2013 20:26:55_ As we think about how to get started and proceed in creating BFO2-FOL, I wonder what purpose of this effort is and what...

zhengj2007

_From [[email protected]](https://code.google.com/u/[email protected]/) on February 05, 2013 12:21:11_ Mentioned by Chris Mungall in https://groups.google.com/d/msg/bfo-owl-devel/4iW_pVjfVIM/l2rZs6cUx6EJ and (I think) https://groups.google.com/d/msg/bfo-owl-devel/ToFi7JazGQc/ZTMFD5B-DzsJ The files pointed to are in: https://code.google.com/p/bfo/source/browse/trunk/src/ontology/owl-group/examples/ ReadmeProver.txt nuclei-cell-division.out nuclei-cell-division.prover9 It looks to...

zhengj2007