https://ncorwiki.buffalo.edu/index.php?title=BFO-ECCB&feed=atom&action=historyBFO-ECCB - Revision history2024-03-28T17:26:44ZRevision history for this page on the wikiMediaWiki 1.39.6https://ncorwiki.buffalo.edu/index.php?title=BFO-ECCB&diff=65008&oldid=prevPhismith: /* SCHEDULE */2012-08-28T15:17:18Z<p><span dir="auto"><span class="autocomment">SCHEDULE</span></span></p>
<a href="https://ncorwiki.buffalo.edu/index.php?title=BFO-ECCB&diff=65008&oldid=65006">Show changes</a>Phismithhttps://ncorwiki.buffalo.edu/index.php?title=BFO-ECCB&diff=65006&oldid=prevPhismith: Created page with '== SCHEDULE == *[http://ncor.buffalo.edu/2012/BFO_Tutorial_2012.pptx Smith slides] *[http://bfo.googlecode.com/svn/trunk/docs/BFO2-Tutorial-Implementation-Buffalo-2012-08-18-Rut...'2012-08-28T15:07:01Z<p>Created page with '== SCHEDULE == *[http://ncor.buffalo.edu/2012/BFO_Tutorial_2012.pptx Smith slides] *[http://bfo.googlecode.com/svn/trunk/docs/BFO2-Tutorial-Implementation-Buffalo-2012-08-18-Rut...'</p>
<p><b>New page</b></p><div>== SCHEDULE ==<br />
<br />
*[http://ncor.buffalo.edu/2012/BFO_Tutorial_2012.pptx Smith slides]<br />
*[http://bfo.googlecode.com/svn/trunk/docs/BFO2-Tutorial-Implementation-Buffalo-2012-08-18-Ruttenberg.pdf Ruttenberg slides]<br />
<br />
'''Saturday, August 18'''<br />
<br />
[https://ub.webex.com/ub/lsr.php?AT=pb&SP=MC&rID=21314907&rKey=e35d4e26d0ca7af3 Video]<br />
<br />
*9:00 '''The main principles underlying Basic Formal Ontology'''<br />
::What BFO is used for<br />
:::BFO is an upper-level ontology <br />
:::Ontological realism: an evidence-based strategy for ontology development<br />
:::Starting point for downward population<br />
:::Annotation of scientific and administrative data<br />
:::Part storehouse of lessons learned, part QWERTY keyboard<br />
:::Basis for common training<br />
:::Works best under the hood<br />
::Brief history of BFO<br />
:::Pre-History<br />
::::Aristotle's Ontological Square<br />
:::Edmund Husserl<br />
:::Truthmakers<br />
:::The Naive Physics Manifesto<br />
:::Mereotopology<br />
:::The Gene Ontology and the Foundational Model of Anatomy<br />
<br />
::BFO's competitors<br />
:::DOLCE<br />
:::SUMO<br />
:::CYC<br />
:::What BFO, DOLCE, SUMO, CYC have in common<br />
:::Arguments in favor of using BFO<br />
::Important users of BFO<br />
:::OBO Foundry<br />
:::NIF Standard<br />
:::OBI<br />
:::IDO Consortium<br />
:::Plant Ontology<br />
:::Universal Core Semantic Layer<br />
::How BFO is constructed and maintained<br />
:::Conservative evolution<br />
:::Simplicity (two levels; no qualities of qualities)<br />
:::Strict formality (no overlap with domain ontologies)<br />
:::Asserted monohierarchy and inferred polyhierarchy<br />
:::Truthmaker<br />
:::Non-multiplicative (the statue is the portion of clay during the time when the latter has a certain role)<br />
:::Perspectivalism<br />
:::No reductionism, no phenomenalism<br />
:::No 'context'<br />
:::No meanings, fictions, non-existents<br />
::::The Semiotic Triangle<br />
:::No 'possible worlds'<br />
:::No abstracta<br />
:::How to deal with thoughts, beliefs, information artifacts<br />
<br />
*10:30 Break<br />
<br />
*11:00 '''Overview of BFO 1.0'''<br />
:::Instances and universals<br />
:::Continuants and occurrents<br />
:::Dependent entities and independent entities<br />
::::PATO qualities<br />
:::Different kinds of relations<br />
::::Symmetry, asymmetry and inverses<br />
::::The all-some rule<br />
::::What to do with probabilistic and other some-some relations?<br />
:::Realizables<br />
::::Roles<br />
::::Dispositions and the treatment of modality<br />
::::Functions<br />
::Added in BFO 1.1<br />
:::Generically and specifically dependent continuants, concretizations, and relations of dependence<br />
:::Information entities<br />
<br />
*12:30 Lunch<br />
<br />
*13:30 '''Introduction to OWL and to the Semantic Web''' (Alan Ruttenberg) <br />
<br />
*15:00 Break<br />
<br />
*15:30 '''Formalization of Basic Formal Ontology''' (Alan Ruttenberg)<br />
:::Relations between the BFO Specification and BFO FOL, BFO CLIF, BFO OWL<br />
:::BFO in First Order Logic<br />
:::BFO in OWL <br />
:::Applications of BFO in OWL<br />
:::How to migrate from BFO 1.0 to BFO 2.0<br />
:::The BFO 2.0 OWL temporalization strategy<br />
<br />
*16:00 '''New Features of BFO 2.0'''<br />
::The BFO 2.0 Specification and Its Status<br />
:::Relation to FOL and OWL realizations<br />
:::Definitions and elucidations<br />
:::New treatment of Relations<br />
::::Incorporation of top-level relations into BFO 2.0<br />
::::Focus primarily on instance-instance relations<br />
::::Added relation of concretization<br />
:::::::A musical work and its performance<br />
:::Sites and regions<br />
:::Representation of boundaries<br />
::::Frames of reference; space, time and spacetime<br />
:::SpaceR, TimeR and Spacetime<br />
:::Material and immaterial entities<br />
:::Three subtypes of material entity: objects, object aggregates, and fiat object parts<br />
:::Continuant fiat boundaries<br />
::::Coordinate systems and frames of reference<br />
:::Object aggregates and the member_of relation, with an application to groups and organizations<br />
::::Cognitive selection in the realm of continuants<br />
:::Granularity on the side of continuants<br />
::::Modeling and simulation<br />
:::Map-based partitions of reality and the fiat entities they create<br />
::::Map layers<br />
::::Cadaster<br />
::::Environments and ecology<br />
::::Habitats, niches<br />
:::Partitions of occurrent reality<br />
::::Partition sequences<br />
::::Partitions and plans (two sorts of direction of fit)<br />
<br />
*17:00 Close of Day 1<br />
<br />
'''Sunday, August 19'''<br />
<br />
[https://ub.webex.com/ub/lsr.php?AT=pb&SP=MC&rID=21315352&rKey=27ba15b47f3454cc Video]<br />
<br />
*9:00 '''Process Profiles, Rates, and Process Measurement Data'''<br />
:::Mutual dependence of qualities: The case of color<br />
:::How quality instances change over time<br />
:::Rigid and non-rigid universals<br />
:::Universals and continuous change<br />
::Complete and partial processses<br />
:::Lives and other histories<br />
:::A top is spinning and simultaneously warming up <br />
::Process profiles as targets of process measurements<br />
:::The Wiggers diagram<br />
::::Cognitive selection<br />
:::Quality process profiles<br />
::::What did your temperature do since last night?<br />
:::Rate process profiles<br />
::::Relation to object aggregates<br />
:::Other quantitative process profiles<br />
:::Process profiles and time-series graphs<br />
<br />
*10:30 Break<br />
<br />
*11:00 '''Qualitative process profiles, granularity and the partitioning of reality''' <br />
:::Map-based partitions of occurrent reality and the fiat entities they create <br />
::::Weather<br />
:::Granularity on the side of occurrents<br />
::::Journalism, history<br />
::::Napoleon's March to Moscow<br />
:::Many map-based fiat entities existed trillions of years before the technology of maps <br />
:::Music<br />
::::Focusing on the cello part when you listen to a string quartet <br />
:::Dance<br />
:::Planning<br />
:::Chess<br />
:::Football<br />
:::Experiments and experimental protocols<br />
:::Language<br />
::::Speech acts<br />
:::Zeno Vendler<br />
::::Accomplishments: processes which have an endpoint and are incremental or gradual (paint a picture, build a house)<br />
::::Achievements: occur instantaneously (recognize, notice)<br />
::::Basic Actions<br />
<br />
:*12:00 Lunch<br />
<br />
:*13:00 '''BFO Applied to Disease''' [http://ncor.buffalo.edu/2012/BFO-Disease-Tutorial-August2012.pptx Slides]<br />
:::Creating a domain ontology by extending BFO<br />
:::An overview of the Ontology for General Medical Science<br />
:::Disease courses are process profiles<br />
:::Occurrent symptoms are process profiles</div>Phismith