bfo-ontology / bfo Goto Github PK
View Code? Open in Web Editor NEWBFO repository including source code and latest documents
License: Creative Commons Attribution 4.0 International
BFO repository including source code and latest documents
License: Creative Commons Attribution 4.0 International
Skipping this issue number to maintain synchronization with Google Code issue IDs.
Original issue: http://code.google.com/p/bfo/issues/detail?id=5
From [email protected] on May 23, 2012 11:13:19
It is not given an elucidation or definition. I does not appear in the class diagram. It is used in a single axiom [051-001] but is not defined, in the FOL, as either a primitive or defined categorical predicate.
If it is intended to be included, please amend the above.
Original issue: http://code.google.com/p/bfo/issues/detail?id=45
From [email protected] on May 09, 2012 11:30:16
I think yes, but we should make a decision and then follow it.
Original issue: http://code.google.com/p/bfo/issues/detail?id=30
From [email protected] on May 20, 2012 12:14:53
e.g. has part ok
part of -> is part of
--- Conversation with Barry
On Sat, May 19, 2012 at 4:53 PM, Alan Ruttenberg [email protected] wrote:
I want to do some edits related to annotations and don't want to merge
if I can help it.
In the discussion group we agreed on having relation names be uniform
Good idea
So:
has part (ok)
part of -> is part of
etc.
Can I make this change in the reference?
I would be very happy for you to do this when I hand it back to you
Original issue: http://code.google.com/p/bfo/issues/detail?id=31
From [email protected] on January 13, 2012 14:12:34
BFO2 reference doesn't always define an inverse relation when a relation is defined.
See http://groups.google.com/group/bfo-owl-devel/browse_thread/thread/9527351b8a7e2d58/40117a6afbd3154f?lnk=gst&q=inverse#40117a6afbd3154f Sense from existing discussion is that always having inverse is desirable.
The proposal is that we always define the inverse.
Q: Do we duplicate/rewrite documentation?
Q: Do we ask that the inverses are given labels and mention in BFO2 reference?
Original issue: http://code.google.com/p/bfo/issues/detail?id=19
From [email protected] on August 10, 2009 00:04:28
At different granularities we get different answers for which class things are.
Proposal: These become not mutually disjoint, and we add two relations:
fiat_object_part_of (super part_of) , aggregate_of (super has_part)
FiatObjectPart becomes defined class: fiat_part_of some MaterialEntity
ObjectAggregate becomes defined class: aggregrate_of min 2 MaterialEntity
Object becomes synonym for MaterialEntity
Original issue: http://code.google.com/p/bfo/issues/detail?id=8
From [email protected] on June 23, 2011 07:13:46
domain and range of 'is preceded by', precedes and their child properties is currently process. But shouldn't this be occurrent?
Here're the current definition:
occurrent: An entity that has temporal parts and that happens, unfolds or develops through time. Sometimes also called perdurants.
process: A processual entity that is a maximally connected spatiotemporal whole and has bona fide beginnings and endings corresponding to real discontinuities.
SubClassOf: occurrent
A process must have 'bona fide beginnings and endings corresponding to real discontinuities', but if i subdivide a process or any other occurrent into fiat temporal parts, surely they will stand in 'is preceded by' relations to each other.
Original issue: http://code.google.com/p/bfo/issues/detail?id=15
From [email protected] on May 23, 2012 20:17:03
(mind the two uses of exists - exists( , ) is the relation, and exists without parentheses is the logical exists.)
Should it not be the case that for any categorical continuant predicate we have an axiom of the form:
forall t instantiates(x,cat,t) -> exists(x,t)
and for the rigid categories (most of BFO, other than subkinds of material entity?)
if there exists some t1 st. instantiates(x,cat,t1) then forall t exists(x,t) -> instantiates(x,cat,t)
and for occurrents:
occurrent(x) -> exists t projects_onto(x,t) and forall t, t1 part_of t -> exists_at(x,t)
and for time-dependent relations
r(x,y,t) -> exists(x,t), exists(y,t)
and for time independent relations
r(x,y)
not(exists(x,t)) or (not(exists(x,t)) -> not(r(x,y))
I don't know what to do about time itself, which is in the domain of discourse, and so can be predicted with exists_at
Original issue: http://code.google.com/p/bfo/issues/detail?id=48
From [email protected] on May 08, 2012 00:19:46
Agrees to finish review by Monday May 14, 2012
Original issue: http://code.google.com/p/bfo/issues/detail?id=22
From [email protected] on May 22, 2012 00:26:26
Do we need another property for elucidations? Some options:
Original issue: http://code.google.com/p/bfo/issues/detail?id=38
From [email protected] on May 08, 2012 09:41:04
If it is, then it is_a process and that is in conflict with the tree+disjointness assertion in the reference. If not, how is it the case that processes are s-dependent on continuants but no their boundaries?
Original issue: http://code.google.com/p/bfo/issues/detail?id=26
From [email protected] on March 01, 2012 19:08:27
Is it possible to include 'immaterial entity' as a sibling class to 'material entity'. Ideally site and boundaries would be subclasses of 'immaterial entity'.
In order to have anatomical space and anatomical boundaries classify as immaterial anatomical entities this would be nice to have. Barry suggested that the anatomical spaces should be sites. The anatomical boundaries would then be subclass of 'object boundary'? Or is 'object boundary' meant to be material? The examples given for boundaries can be construed as either material or immaterial. Can you tell me, are they intended to be sites of gene expression?
For example, here is how we are currently defining material anatomical entity:
'material entity' and ('is part of@en' some organism) and ('has quality@en' some mass)
ideally we'd have the parallel construction:
'immaterial entity' and ('is located in@en' some organism) and not ( 'has quality@en' some mass)
I am sure this has been discussed, please let me know how we might accommodate this using the new bfo.
Cheers
Melissa
Original issue: http://code.google.com/p/bfo/issues/detail?id=21
From [email protected] on May 22, 2012 22:40:17
Or neither.
The current elucidation mentions neither scattered nor connected, only being part. I would conclude that it is, therefore, a new term in BFO2, and that should a bridging file be created between BFO1.1 and BFO2 it would be asserted to be equivalent to the union of connected and scattered
Is this correct?
Original issue: http://code.google.com/p/bfo/issues/detail?id=44
From [email protected] on December 15, 2009 22:21:39
The current examples only include qualities that always inhere in the
bearer (e.g. mass) not some that can go away (Barry's examples were
headache, sunburn). One of the latter should be included.
Original issue: http://code.google.com/p/bfo/issues/detail?id=9
From [email protected] on January 13, 2012 14:47:52
We don't have an agreed upon one.
See https://docs.google.com/document/pub?id=17QoVoEqhPc2xBrrlR0_f3-j0wiSKZbF4pRzjNa-3TEY https://docs.google.com/document/pub?id=1hNlYMM96Z2mpDnNqM2eCOY3detU9_wRHIZmkROjHYAk [replaces issue #18 which had wrong links]
Original issue: http://code.google.com/p/bfo/issues/detail?id=20
From [email protected] on May 08, 2012 23:01:55
In section: Relations of parthood
"As our starting point in understanding the parthood relation, we take the axioms of Simple Extensional Mereology as defined in [46]. "
[46] is Simons "Parts"
However Simons doesn't define Simple Extensional Mereology afaik, it defines Classical Extensional Mereology.
I also don't see the Axioms included in the document.
In Parts (Sections 1.3.5, 1.5) Classical Extensional Mereology has SA0-3 and SA24. Briefly, SA0 specifies first order predicate calculus with equality, SA1 is asymmetry, SA2 is transitivity, SA3 is weak supplementation, SA24 is the general sum principle.
Note the primitive is proper part of.
--
So the actions are: 1) Fix the typo 2) Include the SEM axioms
Original issue: http://code.google.com/p/bfo/issues/detail?id=28
From [email protected] on May 21, 2012 00:15:12
BFO2 developers disagree as to whether relations labels should contain underscores or spaces as word separators, see https://code.google.com/p/bfo/issues/detail?id=31 . It is unclear how to solve this. One proposal is to poll the BFO community, as one argument relies on such a survey dated 2007.
Original issue: http://code.google.com/p/bfo/issues/detail?id=34
From [email protected] on July 25, 2007 11:57:30
Propose moving them to BFO proper. E.g. inheres_in, part_of, participates_in
Original issue: http://code.google.com/p/bfo/issues/detail?id=4
From [email protected] on May 22, 2012 09:44:08
Domain: Process
Range: realizable entity
I don't thin this should be time-dependent. If a temporal qualification is needed the realization can be a part of some process
Original issue: http://code.google.com/p/bfo/issues/detail?id=39
From [email protected] on May 20, 2012 12:22:19
Some terms, having spaces in them, need to be start with a quote in protege. An example taken from the move to normalize property names is part of -> is part of. Because there are a lot of properties that will start with is and has, it is more of a pain to complete.
The implementation of this would be to create a subproperty of alternative term called "protege completion term" (other names welcome). Which would aim to have labels that are disambiguated well by the first few characters.
It might also be worth a check in with Matthew Horridge about whether completion can get smarter, for example completing from the middle of a word, or based on the letters of separate words in the name.
Original issue: http://code.google.com/p/bfo/issues/detail?id=32
From [email protected] on July 25, 2007 11:53:36
Ongoing discussion on BFO-Discuss needs to make its way into a release of BFO and new
definitions written.
Original issue: http://code.google.com/p/bfo/issues/detail?id=3
From [email protected] on December 15, 2009 22:24:12
As discussed in the IAO call and with input from Barry:
Original issue: http://code.google.com/p/bfo/issues/detail?id=10
From [email protected] on May 20, 2012 23:36:22
"Thus we allow continuant_part_of to include such material-immaterial crossings, and recommend the use of the more specific relation of material_part_of where they need to be ruled out. "
However it isn't elsewhere defined in the document.
Original issue: http://code.google.com/p/bfo/issues/detail?id=33
From [email protected] on January 07, 2010 18:42:31
Hello,
Currently in RO there's a causes relation between a continuant and an
occurrent.
But often one in addition would like to say that occurrent A causes
occurrent B; the jogging of my elbow causes the spilling of my drink, the
binding of a transcription factor to a DNA molecule causes the
transcription of a gene, the singing of the soprano causes the vase to
shatter and so forth.
von Wachter (doi:10.1002/cfg.258) talks in these terms:
A caused B if and only if A was the basis of a tendency
towards B and the tendency was realized.
without actually saying what A and B are. Now in BFO we talk about
dispositions, which I take to subsume tendencies (though Ludger Jansen
seems to argue otherwise: "Tendencies and other Realizables in Medical
Information Sciences", in: The Monist 90/4 (2007) 534-555), 'surefire'
dispositions, vices and virtues.
Now the talk in BFO is of realizable entities being realized in some
context C. But what does this mean? I read it as something like this:
IC c has_disposition d realized_as process o'
and triggered_by process o
which is to say that because realizable entities are only realized at
particular times, as opposed to qualities which are present (though may be
determinable and hence have different determinate values over time) at all
times, something time-dependent, a process, maybe, let's say, a change in
determinable quality q (I will flesh this out in another issue for the
tracker) must be part of the context C. Taking the inverse of
triggered_by, triggers:
o causes o' = o triggers . realized_as o'
and there is some possibly-anonymous disposition d in that chain.
But what about quantification? realized_as is an all-only relationship, by
the dispositionality of d. Likewise triggered_by. But what about triggers?
We cannot say:
all singing triggers some (d and inheres_in vase), all d realized_as only
smashing
but maybe we can say:
all singing-in-context-C triggers some (d and inheres_in vase v), all d
realized_as in v only smashing
and I think, if my inferencing is correct (all-only . all-some = all.only),
that gives us:
all singing-in-context-C causes in v only smashing
This seems wrong. Are there other possibilities for quantification I am
missing?
Best wishes,
Colin.
Original issue: http://code.google.com/p/bfo/issues/detail?id=11
From [email protected] on May 25, 2012 11:41:45
In order to support a reading of temporal relations in BFO2 it is proposed that for each temporal relation R specified in the reference, two properties are instead created:
R-at-some-time
R-at-all-times
For x R y at t,
The scope over which the some and all t are selected from is all t such that exists_at(x,t).
This proposal does not rule out other relations. It suggests only a minimally adequate change to support our goal. Further work should continue.
Original issue: http://code.google.com/p/bfo/issues/detail?id=49
From [email protected] on July 25, 2007 11:50:46
You always have a blood pressure, but only sometimes have a blood pressure of 110/70. How is
one to represent both of these in BFO?
Original issue: http://code.google.com/p/bfo/issues/detail?id=1
From [email protected] on July 25, 2007 11:52:30
Using a new namespace requires existing consumers of BFO 1.0 to edit their files to change all
references to 1.0 classes to 1.1 classes. This is troublesome and probably unnecessary.
Original issue: http://code.google.com/p/bfo/issues/detail?id=2
From [email protected] on May 23, 2012 11:34:13
It is not given an elucidation or definition. It is not defined or used in the FOL.
If included it would be incoherent to have it be a superproperty of the various other subkinds of part_of as they have different arities.
Section 2.02 Relations of parthood, in the section on mereology axioms makes them in terms of part_of and proper_part_of, but these do not logically extend to continuant_part_of, occurrent_part_of without reformulation or additional axioms.
If it is intended to be included, please amend the above.
Discussions in threads: https://groups.google.com/forum/#!topic/bfo-owl-devel/fC963zXVAf0 https://groups.google.com/forum/#!topic/bfo-owl-devel/iXAk_yg6lrM
Original issue: http://code.google.com/p/bfo/issues/detail?id=46
From [email protected] on January 13, 2012 14:10:01
We don't have an agreed upon one.
See https://docs.google.com/document/d/17QoVoEqhPc2xBrrlR0_f3-j0wiSKZbF4pRzjNa-3TEY https://docs.google.com/document/d/1GE6e6UL1nDgyGj6wa3mTvaoN8gQ1dtAR64iyErO40SU
Original issue: http://code.google.com/p/bfo/issues/detail?id=18
From [email protected] on May 08, 2012 09:49:19
The reference, in prose, asserts that the tree is pairwise disjoint at each level but I don't see this reflected in the axioms or FOL. Apologies if I've missed it. In that section there is also a statement of universal exhaustiveness, though I think in conversations we have left some (all?) sibling sets as not mutually exhaustive.
Original issue: http://code.google.com/p/bfo/issues/detail?id=27
From [email protected] on May 22, 2012 22:02:07
I think these should be in BFO2 - they are needed and the theory of them has been circulated and accepted for some time.
But if they are not, then I don't see why they should be discussed in the reference at all. This leads to confusion over what is and is not in BFO2.
Original issue: http://code.google.com/p/bfo/issues/detail?id=42
From [email protected] on May 08, 2012 00:45:17
We need to have people know what the current reference says and to critically review it. Then whoever has an opinion needs to say which parts they are comfortable with, which uncomfortable, and which they have questions about.
This will be used for release notes for the reference document, as well as to plan strated in prerelease bfo
Original issue: http://code.google.com/p/bfo/issues/detail?id=25
From [email protected] on May 22, 2012 22:05:22
Again we have a theory that has been reasonably well developed, without having either technical or ontological disagreement - a 1:1 correspondence between occurrents and continuants. We need these terms in order to do a reasonable job in dealing with development and other temporal phenomena.
If not, remove them from the spec. The spec is long already and suffers for including topics that don't actually contribute to BFO2.
Original issue: http://code.google.com/p/bfo/issues/detail?id=43
From [email protected] on June 24, 2011 03:30:16
The 'is part of' object property and its SubProperty 'is physical part of' do not have the property characteristic - transitive. Please fix this!
Original issue: http://code.google.com/p/bfo/issues/detail?id=16
From [email protected] on May 22, 2012 11:20:52
"ELUCIDATION: To say that each spatiotemporal region r projects_onto some temporal region t is to say that t serves as the temporal extension of r. [080-001]
ELUCIDATION: To say that spatiotemporal region r projects_onto spatial region s at t is to say that s serves as the spatial extent of r at t. [081-001]
"
so we have projects_onto spatiotemporal region -> temporal region
and
projects_onto spatiotemporal region -> spatial region at t
As in other such cases, we need two separately named relations in this case.
Original issue: http://code.google.com/p/bfo/issues/detail?id=41
From [email protected] on January 13, 2012 14:07:31
See discussion in http://groups.google.com/group/bfo-owl-devel/browse_thread/thread/9527351b8a7e2d58/0b7617e1221c9a66 Proposal: The principle is that when reading a r b, we get an english sentence, which is what motivates the verb "is". Include alternative terms, with the verb, and without verb but with underscores instead of spaces.
Original issue: http://code.google.com/p/bfo/issues/detail?id=17
From [email protected] on May 08, 2012 00:35:27
Pierre agreed to do a review, but hasn't yet. Alan poked him April 29 but hasn't heard back. Bad Boy ;-)
Original issue: http://code.google.com/p/bfo/issues/detail?id=24
From [email protected] on May 21, 2012 01:51:51
The OWL folk would like to have inverse relations for each relation defined in the reference. Should the reference be augmented to include these, at least to name them and add axioms expressing that they are inverses?
(desired answer: yes)
Original issue: http://code.google.com/p/bfo/issues/detail?id=35
From [email protected] on October 18, 2007 00:36:19
e.g. has_integral_part , transformation_of
have no instance level equivalents.
Seems that class/class relations are more macro like than instance level. They all expand into quite
different sets of axioms.
Original issue: http://code.google.com/p/bfo/issues/detail?id=6
From [email protected] on May 22, 2012 00:22:34
There are a number of types that are no longer present. Missing: 'scattered' temporal|spatiotemporal regions, object boundary, processual context , process_aggregate, fiat_process_part, processual_entity (renamed/merged with process).
Shall we call these out as officially obsolete?
Pictures of the two hierarchies are attached to this issue.
Original issue: http://code.google.com/p/bfo/issues/detail?id=37
From [email protected] on May 22, 2012 09:46:20
Reference says:
"There are reciprocal realizable dependent continuants (e.g. husband/wife; complementary dispositions (for example of key and lock), as described in [28, 79])."
If we surface this in the ontology for qualities, why not for realizable entities?
Original issue: http://code.google.com/p/bfo/issues/detail?id=40
From [email protected] on May 25, 2012 16:09:55
As discussed informally, in the past, I would like (all or some of) the following relations added to the reference.
continuant begins_to_exist_during process inverse: process has_participant_that_begins_to_exist continuant
continuant ceased_to_exist_during process inverse: process has_participant_that_ceases_to_exist continuant
c begins_to_exist_during p
<=>
continuant(c) and process(p) and first_time_point(p,t1) and last_time_point(p,t2) and not(exists_at(c,t1)) and exists_at(c,t2)
We don't have first_time_point and last_time_point as relations currently. This can be probably be expressed using only part_of and "<" but it looks more complicated so perhaps it is easier to just add first and last_time_point. relations.
etc.
Original issue: http://code.google.com/p/bfo/issues/detail?id=50
From [email protected] on February 17, 2010 09:21:01
Hello,
This is not a problem with BFO as such, but something to bear in mind in
the presentation.
Objects and FiatObjectParts at least may (and possibly must) have
immaterial parts such as cavities, hollows and tunnels. I'm not sure about
whether the space in between penguins in a huddle counts as an immaterial
part of that ObjectAggregate, but that ObjectAggregate definitely has
immaterial parts inside and on the surface of the penguins.
Calling the parent of these three MaterialEntity does make it sound as if
they don't include the immaterial parts.
Also, whereas process--result polysemy (examples: infection, distribution)
relates an occurrent and a continuant, figure--ground polysemy (examples:
door, gate, conduit, tunnel) relates the whole and an immaterial part in a
rather more complicated way. I'm happy with the inside of a fireplace or a
blood vessel being a Site, but it seems less obvious that a door (in the
sense of walking through a door with a pout as opposed to walking through a
door with a crash and splintering wood) is a Site.
Where do immaterial parts that aren't Sites go?
Best wishes,
Colin.
Original issue: http://code.google.com/p/bfo/issues/detail?id=12
From [email protected] on May 23, 2012 13:31:55
"From this principle it follows that no two universals on the same level within an asserted hierarchy should have instances in common. "
However we discussed that there would be no assertion(or suggestion) of disjointness between object, fiat object part, and object aggregate. So this needs to be called out.
On this basis 027-001 seems to be amended in that it would seem to disallow at least some objects (ones that are not proper continuant parts of some other object) from being fiat object parts.
I don't see any obvious issue with the def of object aggregate but it should be checked. The easiest way would be to assert, in some test added to the CLIF, that there exists an entity that is both fiat object part and object, another that is object and object aggregate, and another that is fiat object part and object aggregate, and then see if an inconsistency is triggered.
Original issue: http://code.google.com/p/bfo/issues/detail?id=47
From [email protected] on May 08, 2012 23:03:38
Issue 28 asks for axioms of mereology to be clarified in the reference document.
This issue is to track that these get pulled into the FOL.
Original issue: http://code.google.com/p/bfo/issues/detail?id=29
From [email protected] on June 23, 2011 06:42:44
The core class hierarchy appears to lack declarations of disjointness entirely. Please could they be added wherever valid.
Original issue: http://code.google.com/p/bfo/issues/detail?id=14
From [email protected] on May 21, 2012 23:57:43
How to relate a site to a host? The relationship is mentioned in a couple of elucidations.
Original issue: http://code.google.com/p/bfo/issues/detail?id=36
From [email protected] on November 18, 2010 16:47:50
We often want to establish a relation between a disposition and the material entity that confers that disposition. This manifests itself in OGMS as a relation between a disease and the disorder(s) that confer the disease.
After some email discussions with Barry Smith, Lindsay Cowell, Bjoern Peters, and Alan Ruttenberg, I believe something like this might do the trick:
has_material_basis_in
domain: bfo:disposition
range: bfo:material entity
definition (*): d has_material_basis_in m iff
(1) d is_a bfo:disposition
(2) m is_a bfo:material entity
(3) i is_a bfo:independent continuant and i has_disposition d because i has_part m
(* Note: d, m, and i are instances per RO policy)
A synonym could be 'conferred_by'. Another proposal, 'has_physical_basis_in' I don't like as much because the 'physical' doesn't seem to make you think of the proper bfo type in the range (i.e., material entities).
Original issue: http://code.google.com/p/bfo/issues/detail?id=13
From [email protected] on May 08, 2012 00:24:01
Says will be return something by May 11, 2012, otherwise to not expect anything and proceed without him.
Original issue: http://code.google.com/p/bfo/issues/detail?id=23
From [email protected] on August 09, 2009 23:56:49
What we need to do between here and there.
Original issue: http://code.google.com/p/bfo/issues/detail?id=7
A declarative, efficient, and flexible JavaScript library for building user interfaces.
๐ Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
An Open Source Machine Learning Framework for Everyone
The Web framework for perfectionists with deadlines.
A PHP framework for web artisans
Bring data to life with SVG, Canvas and HTML. ๐๐๐
JavaScript (JS) is a lightweight interpreted programming language with first-class functions.
Some thing interesting about web. New door for the world.
A server is a program made to process requests and deliver data to clients.
Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
Some thing interesting about visualization, use data art
Some thing interesting about game, make everyone happy.
We are working to build community through open source technology. NB: members must have two-factor auth.
Open source projects and samples from Microsoft.
Google โค๏ธ Open Source for everyone.
Alibaba Open Source for everyone
Data-Driven Documents codes.
China tencent open source team.