Difference between revisions of "BFO 2011"

From NCBO Wiki
Jump to navigation Jump to search
m
m
Line 8: Line 8:
 
'''Date:''' November 10-11, 2011
 
'''Date:''' November 10-11, 2011
  
There is too much demand for an update, and I am confident that we can
 
make considerable progress with an update, even if it is only to
 
publish what has already been agreed on for clarificatory purposes,
 
including stuff on material entity, fiat object parts, and the like.
 
Even if BFO-OWL is not ready in time, we can publish the plans for it
 
in general terms.
 
 
Also important are fields, energy,
 
 
I believe that we can publish already that both fields and energy are
 
subtypes of material entity.
 
 
 
differentials,
 
 
not sure what these might be; you mean: that which is referred to by a
 
differential equation?
 
 
axioms
 
> relating to relations (the bearer of a realized realizable entity
 
> participates in the realization),
 
 
we have various collections of such axioms; I will try to create a
 
compendium for checking; I am deliberately creating time pressure
 
because your strategy -- let us not make any moves until we have
 
solved some really difficult problems -- is not leading us anywhere
 
(partly because you yourself have other duties)
 
 
 
courses, projections,
 
 
I am sure that we will have solved this in time
 
 
interdependent
 
> qualities (wavelength, frequency),
 
 
I think we already have this in BFO 1.0 -- certainly there is no
 
reason why they should not be included as children of quality, just as
 
we have interdependent children of disposition in our papers on the
 
ontology of resistance in IDO
 
 
physical basis,
 
 
Am not sure that this should be a technical term
 
Certainly it should not be a term in BFO
 
Topic for discussion, anyway
 
 
 
"qualities of
 
> occurrents" (that works for more than periodic events - e.g. flows
 
> too),
 
 
 
Here, too, I am confident that we will make some progress by Nov 11. I
 
would be grateful for comments on the attached.
 
 
 
better fleshed out dependency relations,
 
 
Here, too, I am confident
 
 
a serious check that
 
> the combination of material and immaterial continuants, part,
 
> containment (and surrounds), location relations make sense, something
 
> I doubt.
 
 
Agreed that we need to check this
 
 
> I don't expect that all of this is done in BFO next, but to see
 
> *nothing* of these was upsetting.
 
 
 
 
>
 
> Note that none of these issues bear on the OWL version - they are
 
> preliminary to it. The main issue specific to the OWL version are the
 
> temporalized relations, and these do not need any extension to BFO ev.
 
  
 +
----
 +
'''Goal of This Meeting
 
----
 
----
 
'''Tentative Agenda'''
 
'''Tentative Agenda'''
Line 94: Line 19:
 
General issues:  
 
General issues:  
  
:The BFO-FOL and BFO-OWL strategy  
+
:The BFO Reference Guide and BFO-OWL strategy  
 
:Rules for definitions
 
:Rules for definitions
 
:Rules for defined classes and abbreviations  
 
:Rules for defined classes and abbreviations  
Line 104: Line 29:
 
12pm Lunch
 
12pm Lunch
  
1pm BFO FOL continuant
+
1pm BFO Continuant
  
:Treatment of Object/Fiat Object Part/Object aggregate  
+
:Material entity; energy; field; portion of matter
States
+
:Object; fiat object part; object aggregate  
:Sub-categories of disposition
+
:Quality; reciprocal quality pair; relational quality; state
:Specifically dependent continuants and generically dependent continuants
+
::wavelength, frequency
 +
:Realizable dependent continuant; disposition and its subcategories; reciprocal disposition pair
 +
::Physical basis
 +
:Specifically dependent continuant and generically dependent continuant
 +
::GDC as bearer of quality
 +
:Dependence; inherence
 
*Moderator: BS
 
*Moderator: BS
  
Line 115: Line 45:
  
 
3.30pm
 
3.30pm
BFO FOL Occurrent
+
BFO Occurrent
  
:Predicates applied to processes (rates, ...),
+
:Predicates applied to processes
:Course / life / history
+
::rates
 +
::flows
 +
:Course / life / history / projection
 
*Moderator: BS
 
*Moderator: BS
  
Line 126: Line 58:
  
 
:Relations, including short-cut relations
 
:Relations, including short-cut relations
 +
:Axioms relating to relations
 
*Moderator: AR
 
*Moderator: AR
  

Revision as of 09:10, 28 October 2011

Basic Formal Ontology Editorial Meeting


Venue: Center of Excellence in Bioinformatics and Life Sciences

Date: November 10-11, 2011



Goal of This Meeting


Tentative Agenda

Thursday November 10

9am General issues:

The BFO Reference Guide and BFO-OWL strategy
Rules for definitions
Rules for defined classes and abbreviations
Governance
  • Moderator: BS

10am Coffee

12pm Lunch

1pm BFO Continuant

Material entity; energy; field; portion of matter
Object; fiat object part; object aggregate
Quality; reciprocal quality pair; relational quality; state
wavelength, frequency
Realizable dependent continuant; disposition and its subcategories; reciprocal disposition pair
Physical basis
Specifically dependent continuant and generically dependent continuant
GDC as bearer of quality
Dependence; inherence
  • Moderator: BS

2.15pm Coffee

3.30pm BFO Occurrent

Predicates applied to processes
rates
flows
Course / life / history / projection
  • Moderator: BS

Friday November 11 9am BFO OWL

Relations, including short-cut relations
Axioms relating to relations
  • Moderator: AR

10:00am Coffee

1pm Final determination of what should be in release of BFO FOL Incorporation of RCC8 and Allen Calculus? Moderator: Barry

3.30pm Special session on Mental Functioning Ontology, Mental Disease Ontology and Neurological Disease Ontology Moderator: Alex Diehl


Participants

  • Mathias Brochhausen
  • Werner Ceusters
  • Alexander Diehl
  • Janna Hastings
  • Mark Jensen
  • Mark Ressler
  • Alan Ruttenberg
  • Stefan Schulz
  • Barry Smith

Remotely:

  • Larry Hunter
  • Chris Mungall