Difference between revisions of "BFO 2011"
| Line 83: | Line 83: | ||
::Reciprocal quality pair | ::Reciprocal quality pair | ||
::Relational quality | ::Relational quality | ||
| − | |||
::Comparison of qualities | ::Comparison of qualities | ||
:Generically dependent continuant (GDC) | :Generically dependent continuant (GDC) | ||
| Line 92: | Line 91: | ||
'''2.45pm BFO Occurrent (Moderator WC)''' | '''2.45pm BFO Occurrent (Moderator WC)''' | ||
| + | :State (State of rest as limit case of motion process) (vs. State as continuant) | ||
:Predicates applied to processes | :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. | ::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. | ||
Revision as of 13:43, 3 November 2011
Basic Formal Ontology Editorial Meeting
Venue: Room B1-306, Ground Floor, Center of Excellence in Bioinformatics and Life Sciences
Date: November 10-11, 2011
Goal of This Meeting
To define a strategy for the future maintenance of Basic Formal Ontology. To create a BFO Reference, designed as an authoritative documentation of the BFO ontology, including an updated version of the BFO 1.0 taxonomy together with the top level relations of the Relation Ontology. To define a strategy to create BFO OWL, including a treatment of temporal relations, based on BFO Reference.
Tentative 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)
On both days the café adjacent to the meeting room is open from 8am to 10:30am and from 11am to 3pm.
Thursday November 10
9:00am Strategy for Future Development of BFO (Moderator: WC)
- The BFO Reference
- Universals and particulars
- Granularity and vagueness
- Reductionism and perspectivalism
- Predications in the category of substance vs. predications in other categories (how BFO differs from standard view of 'predicate' logic)
- Classes, universals, extensions, laws of nature
- Defined/attributive classes
- 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 TaillessMouse subClassOf: (not has-part some Tail)
- For universals and defined classes Is_a and SubClassOf coincide
- BFO-conformant extensions:
- Certain categories that used to have closure axioms no longer do because we recognize that there may be other subtypes
- Examples:
- Entity
- Object, Fiat Object Part, Object Aggregate
- Examples:
- Governance process
- Certain categories that used to have closure axioms no longer do because we recognize that there may be other subtypes
- Rules for defined classes, abbreviations (disjunctions of convenience)
- Relations
- Inside BFO
- Outside BFO
- Formalization
- OWL, OBO, FOL
- Definitions
- Axioms
10:00am Coffee
10:15am Material entity (Moderator: WC)
- Material entity
- Can contain parts which are not material entities (e.g. FMA: lumen of gut part_of gut)
- Object; fiat object part; object aggregate
- The relation of connection
- Atoms, molecules
- Cells, organs, organisms (objects connected by surrounding membranes)
- Conjoined twins
- Portions of matter
- Planets
- Bodies of energy; fields; portions of matter
- Sites
- The Environment Ontology
- Geographical entities
- Object boundaries
- Spatial region boundaries
- Granularity
12:00pm Lunch
1pm BFO Dependent Continuant (Moderator: WC)
- Dependence, inherence
- Realizable dependent continuant
- Disposition and its subcategories
- Reciprocal disposition pair
- Relational disposition
- Physical basis (cf. OGMS:Disorder):Quality;
- Reciprocal quality pair
- Relational quality
- Comparison of qualities
- Generically dependent continuant (GDC)
- GDC as bearer of quality
2.30pm Break
2.45pm BFO Occurrent (Moderator WC)
- State (State of rest as limit case of motion process) (vs. State as continuant)
- 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
- Flows
- Synchronous, asynchronous
- Blood pressure
- Relation to DOLCE theory of quality spaces
- Wavelength, frequency
- Process profile universals and information artifacts
- Treatment of information artifacts such as peak current, peak voltage, etc.
- Course / life / history / projection
4:00-6:00pm Special session on Mental and Neurological Ontologies (Moderator: Alex Diehl)
- Janna Hastings: From brain science to mind science with the Mental Functioning Ontology (MFO)
- Werner Ceusters: The Mental Disease Ontology (MDO)
- Alex Diehl: The Neurological Disease Ontology (NDO)
Friday November 11
9am BFO OWL (Moderator AR)
- Relations, including short-cut relations
- Axioms relating to relations
10:00am Coffee
- Other aspects of BFO OWL
12:00pm Lunch
1:00pm Regions (Moderator WC)
- Spatial region
- Spatio-temporal and temporal region
- Region and frame of reference
- Incorporation of RCC8 and Allen Calculus?
2:30pm Break
3:00pm Final Session on Future Plans (Moderator BS)
- BFO-Reference
- Versioning
- Terminology for referring to release versions of BFO Reference, of BFO OWL, and eventually of other variants.
- Governance
- BFO and OBO Foundry
- Documentation
Participants
- Thomas Bittner
- Mathias Brochhausen
- Carmelo Gaudioso
- Werner Ceusters
- Alexander Cox
- Randall Dipert
- Alexander Diehl
- Albert Goldfain
- Janna Hastings
- Amanda Hicks
- Leonard Jacuzzo
- Mark Jensen
- David Molik
- Fabian Neuhaus
- Mark Ressler
- Ron Rudnicki
- Alan Ruttenberg
- Stefan Schulz
- Barry Smith
- Neil Williams