WORKSHOP, Buffalo, August 18-19, 2012

From NCOR Wiki
Jump to navigationJump to search

WORKSHOP, Buffalo, August 18-19, 2012

Schedule

Saturday, August 18, 2012

Streaming video

  • 9:00 The main principles underlying Basic Formal Ontology
What BFO is used for
BFO is an upper-level ontology
Ontological realism: an evidence-based strategy for ontology development
Starting point for downward population
Annotation of scientific and administrative data
Part storehouse of lessons learned, part QWERTY keyboard
Basis for common training
Works best under the hood
Brief history of BFO
Pre-History
Aristotle's Ontological Square
Edmund Husserl
Truthmakers
The Naive Physics Manifesto
Mereotopology
The Gene Ontology and the Foundational Model of Anatomy
BFO's competitors
DOLCE
SUMO
CYC
What BFO, DOLCE, SUMO, CYC have in common
Arguments in favor of using BFO
Important users of BFO
OBO Foundry
NIF Standard
OBI
IDO Consortium
Plant Ontology
Universal Core Semantic Layer
How BFO is constructed and maintained
Conservative evolution
Simplicity (two levels; no qualities of qualities)
Strict formality (no overlap with domain ontologies)
Asserted monohierarchy and inferred polyhierarchy
Truthmaker
Non-multiplicative (the statue is the portion of clay during the time when the latter has a certain role)
Perspectivalism
No reductionism, no phenomenalism
No 'context'
No meanings, fictions, non-existents
The Semiotic Triangle
No 'possible worlds'
No abstracta
How to deal with thoughts, beliefs, information artifacts
  • 10:30 Break
  • 11:00 Overview of BFO 1.0
Instances and universals
Continuants and occurrents
Dependent entities and independent entities
PATO qualities
Different kinds of relations
Symmetry, asymmetry and inverses
The all-some rule
What to do with probabilistic and other some-some relations?
Realizables
Roles
Dispositions and the treatment of modality
Functions
Added in BFO 1.1
Generically and specifically dependent continuants, concretizations, and relations of dependence
Information entities
  • 12:30 Lunch
  • 13:30 Introduction to OWL and to the Semantic Web (Alan Ruttenberg)
  • 15:00 Break
  • 15:30 Formalization of Basic Formal Ontology (Alan Ruttenberg)
Relations between the BFO Specification and BFO FOL, BFO CLIF, BFO OWL
BFO in First Order Logic
BFO in OWL
Applications of BFO in OWL
How to migrate from BFO 1.0 to BFO 2.0
The BFO 2.0 OWL temporalization strategy
  • 16:00 New Features of BFO 2.0
The BFO 2.0 Specification and Its Status
Relation to FOL and OWL realizations
Definitions and elucidations
New treatment of Relations
Incorporation of top-level relations into BFO 2.0
Focus primarily on instance-instance relations
Added relation of concretization
A musical work and its performance
Sites and regions
Representation of boundaries
Frames of reference; space, time and spacetime
SpaceR, TimeR and Spacetime
Material and immaterial entities
Three subtypes of material entity: objects, object aggregates, and fiat object parts
Continuant fiat boundaries
Coordinate systems and frames of reference
Object aggregates and the member_of relation, with an application to groups and organizations
Cognitive selection in the realm of continuants
Granularity on the side of continuants
Modeling and simulation
Map-based partitions of reality and the fiat entities they create
Map layers
Cadaster
Environments and ecology
Habitats, niches
Partitions of occurrent reality
Partition sequences
Partitions and plans (two sorts of direction of fit)


Sunday, August 19, 2012

Streaming video

  • 9:00 Process Profiles, Rates, and Process Measurement Data
Mutual dependence of qualities: The case of color
How quality instances change over time
Rigid and non-rigid universals
Universals and continuous change
Complete and partial processses
Lives and other histories
A top is spinning and simultaneously warming up
Process profiles as targets of process measurements
The Wiggers diagram
Cognitive selection
Quality process profiles
What did your temperature do since last night?
Rate process profiles
Relation to object aggregates
Other quantitative process profiles
Process profiles and time-series graphs
  • 10:30 Break
  • 11:00 Qualitative process profiles, granularity and the partitioning of reality
Map-based partitions of occurrent reality and the fiat entities they create
Weather
Granularity on the side of occurrents
Journalism, history
Napoleon's March to Moscow
Many map-based fiat entities existed trillions of years before the technology of maps
Music
Focusing on the cello part when you listen to a string quartet
Dance
Planning
Chess
Football
Experiments and experimental protocols
Language
Speech acts
Zeno Vendler
Accomplishments: processes which have an endpoint and are incremental or gradual (paint a picture, build a house)
Achievements: occur instantaneously (recognize, notice)
Basic Actions
  • 12:00 Lunch
  • 13:00 BFO Applied to Disease Slides
Creating a domain ontology by extending BFO
An overview of the Ontology for General Medical Science
Disease courses are process profiles
Occurrent symptoms are process profiles
  • 14:30 Break
  • 15:00 Concluding Discussion
  • 17:00 Close

Participation details: BFO 2.0 Meeting August 18-19, 2012

See also program of workshop in Buffalo on May 13-14, 2013