BFO 2011 - Revision history

Phismith at 16:02, 22 January 2012

2012-01-22T16:02:11Z

Phismith: /* Agenda */

2011-11-11T12:21:52Z

Agenda

Phismith: /* Agenda */

2011-11-11T12:10:08Z

Agenda

Phismith: /* Agenda */

2011-11-11T12:09:21Z

Agenda

Phismith: /* Agenda */

2011-11-10T21:34:34Z

Agenda

Phismith: /* Tentative Agenda */

2011-11-10T11:00:46Z

Tentative Agenda

Phismith: /* Tentative Agenda */

2011-11-10T11:00:20Z

Tentative Agenda

Phismith: /* Tentative Agenda */

2011-11-10T10:57:17Z

Tentative Agenda

Phismith: /* Tentative Agenda */

2011-11-10T10:48:56Z

Tentative Agenda

Phismith: /* Tentative Agenda */

2011-11-10T10:46:14Z

Tentative Agenda

@@ Line 22: / Line 22: @@
 ----
 == '''Agenda''' ==
-(This agenda is designed to provide a list of topics which need to be addressed in due course; the agenda for the meeting itself will be a selection herefrom; indented items marked &&& will be dealt with at most in cursory fashion)
+(This agenda is designed to provide a list of topics which need to be addressed in due course; the agenda for the meeting itself will be a selection herefrom; indented items marked will be dealt with at most in cursory fashion)
 On both days the café adjacent to the meeting room is open from 8am to 10:30am and from 11am to 3pm.
@@ Line 35: / Line 35: @@
 :Universals and particulars
-::::&&&[http://ontology.buffalo.edu/smith/articles/vagueness.pdf Granularity and vagueness]
+::::[http://ontology.buffalo.edu/smith/articles/vagueness.pdf Granularity and vagueness]
-::::&&&Reductionism and perspectivalism
+::::Reductionism and perspectivalism
-::::&&&Predications in the category of substance vs. predications in other categories (how BFO differs from standard view of 'predicate' logic)
+::::Predications in the category of substance vs. predications in other categories (how BFO differs from standard view of 'predicate' logic)
-::::&&&[http://iospress.metapress.com/content/1551884412214u67/fulltext.pdf Classes, universals, extensions, laws of nature]
+::::[http://iospress.metapress.com/content/1551884412214u67/fulltext.pdf Classes, universals, extensions, laws of nature]
 :Attributive classes, abbreviations, disjunctions of convenience
 :Inferred classes
 :Nomenclature for membership in attributive and inferred classes
 ::Relation between Is_a and OWL:SubClassOf
-::::&&&That 'Is_a' in BFO Reference (and in GO, and many other ontologies) does not mean the same as SubClassOf in OWL because the latter allows statements such as [http://www.biomedcentral.com/1471-2105/11/441 TaillessMouse subClassOf: (not has-part some Tail)]
+::::That 'Is_a' in BFO Reference (and in GO, and many other ontologies) does not mean the same as SubClassOf in OWL because the latter allows statements such as [http://www.biomedcentral.com/1471-2105/11/441 TaillessMouse subClassOf: (not has-part some Tail)]
 :BFO-conformant extensions
@@ Line 78: / Line 78: @@
 :::Bodies of energy; fields; portions of matter
 :Sites
-:::::&&&The Environment Ontology
+:::::The Environment Ontology
 ::Geographical entities
 :Object boundaries

@@ Line 128: / Line 128: @@
 Friday November 11
-'''9:00am: Continued discussion of object aggregates and process profiles (Moderator: Fabian Neuhaus)'''
+'''9:00am: Continued discussion of object aggregates and process profiles (Moderator: Janna Hastings)'''
 '''10:00am Coffee'''

@@ Line 143: / Line 143: @@
 '''12:00pm Lunch'''
-'''1:00pm
+'''1:00pm: BFO OWL (Moderator: Alan Ruttenberg)'''
 :Relations, including short-cut relations
 :Axioms relating to relations
-'''2:30pm Break'''
+'''2:00pm Break'''
-'''3:00pm: Development and governance strategy (Moderator: Barry Smith)'''
+'''2:30pm: Development and governance strategy (Moderator: Barry Smith)'''
 :Modules and working groups
 ::Spatial, temporal and spatiotemporal regions

@@ Line 128: / Line 128: @@
 Friday November 11
-'''9am BFO OWL (Moderator: Alan Ruttenberg)'''
+'''9:00am: Continued discussion of object aggregates and process profiles (Moderator: Fabian Neuhaus)'''
-−
 '''10:00am Coffee'''
-'''10:15 Regions (Moderator: Barry Smith)'''
+'''10:15 Regions (Moderator: Fabian Neuhaus)'''
 :[http://www.ncbi.nlm.nih.gov/pmc/articles/PMC1560437/ Spatial region]
 :Spatio-temporal and temporal region
@@ Line 143: / Line 143: @@
 '''12:00pm Lunch'''
-'''1:00pm Final Session on Future Plans (Moderator: Barry Smith)'''
+'''1:00pm
-:Region and frame of reference
-:BFO-Reference
+BFO OWL (Moderator: Alan Ruttenberg)'''
-:Versioning
 '''2:30pm Break'''
-'''3:00pm'''
+'''3:00pm: Development and governance strategy (Moderator: Barry Smith)'''
-:Modules
+:Modules and working groups
 ::Spatial, temporal and spatiotemporal regions
 ::Process profiles, PATO and units of measure
 :Terminology for referring to release versions of BFO Reference, of BFO OWL, and eventually of other variants.
-:Development and governance strategy
+:Working groups for documentation and formalization
 ::of BFO Reference
 ::of BFO FOL
 ::of BFO OWL
 ::BFO and OBO Foundry
-:Documentation
 ----

@@ Line 64: / Line 64: @@
 '''10:15am Treatment of Relations (Moderator: Alan Ruttenberg)
-:Presentation by Chris Mungall: "ro.owl and Shortcut Relations"
+:Presentation by Chris Mungall: "[http://ontology.buffalo.edu/BFO/Reference/Mungall_RO_2012.pptx RO.owl and Shortcut Relations]"
 '''10:45 Material entity (Moderator: Werner Ceusters)'''
@@ Line 108: / Line 108: @@
 :Predicates applied to processes
 ::The general strategy: processes have profiles as parts (e.g. beat profile, sound profile, ...) and when we predicate e.g. '60 bpm' of a heart beating process p, then we are asserting that p has a beat profile which instantiates the universal: 60bpm process.
-::Rates
+::Rates [http://ontology.buffalo.edu/BFO/Reference/rates.docx Paper by BS]
 ::Synchronous, asynchronous
 ::Blood pressure

@@ Line 51: / Line 51: @@
 ::::Governance process for this
 :Relations
-::Inside BFO
+:Inside BFO
-::Outside BFO
+:Outside BFO
-::::Governance process for this
+:::Governance process for this
 :Formalization
 ::OWL, OBO, FOL
@@ Line 144: / Line 144: @@
 '''12:00pm Lunch'''
-'''1:00pm Other aspects of BFO OWL (Moderator: Alan Ruttenberg)'''
+'''1:00pm Final Session on Future Plans (Moderator: Barry Smith)'''
 :Region and frame of reference
 '''2:30pm Break'''
-'''3:00pm Final Session on Future Plans (Moderator: Barry Smith)'''
+'''3:00pm'''
 :Modules
 ::Spatial, temporal and spatiotemporal regions