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 10: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
Retrieved from "https://www.bioontology.org//mediawiki/index.php?title=BFO_2011&oldid=11282"