Re: Mapping SKOS into BFO

Just to check:

 how would  you axiomitize, and what is entailed by these: (first, with just
BT, second with the more specific relations).

Car BT Vehicle  [ BTG ]
Honda S2000 BT Car [ BTG]
Simon's S2000 BT Honda S2000 [ BTI ]
Honda S2000 Steering Wheel BT Steering Wheel [ BTP ]
Honda S2000 Steering Wheel BT Honda S2000 [ BTP ]
Simon's S2000 Steering Wheel BT Simon's S2000 [ BTP]

Also: does a concept exist before it is first conceived; does it exist after
it is forgotten; what about in modal contexts in which it is never conceived
in the first place.

Simon

On Mon, Apr 18, 2011 at 10:09 AM, Jim McCusker <james.mccusker@yale.edu>wrote:

> Has a consensus emerged? There hasn't been much discussion on this in
> a week. cmo:represents and cmo:representedBy attempt to address the
> issues that were raised in those mails, with the additional benefit of
> having been vetted from the BFO/realist perspective as well.
>
> Thanks,
> Jim
>
> On Mon, Apr 11, 2011 at 5:17 AM, Alistair Miles
> <alimanfoo@googlemail.com> wrote:
> > Hi all,
> >
> > I definitely don't get all the nuances here, but I thought I'd flag up a
> > possible connection here between CMO, the discussion on this list in
> August
> > last year about the proposed foaf:focus property (see thread from [1]),
> and
> > older discussions from 2005 (see thread from [2]) about skos:it/skos:as.
> >
> > Could cmo:represents and cmo:representedBy be the properties we're
> looking for?
> >
> > Cheers,
> >
> > Alistair
> >
> > [1]
> http://lists.w3.org/Archives/Public/public-esw-thes/2010Aug/0002.html
> > [2]
> http://lists.w3.org/Archives/Public/public-esw-thes/2005Jun/0002.html
> >
> > On Sat, Apr 09, 2011 at 12:30:05PM -0400, Jim McCusker wrote:
> >> On Fri, Apr 8, 2011 at 1:24 PM, Thad Guidry <thadguidry@gmail.com>
> wrote:
> >> > Could you map out a quick example within BFO where lytic vacuole and
> >> > vacuole would play out, so that I could see a skos:Concept , a
> >> > bfo:Entity , and a snap:GenericallyDependentContinuent coordinated
> >> > with a snap:DependentContinuent ?
> >>
> >> Sure, that is actually a big part of what CMO attempts to address. The
> >> submitted paper (not proceedings, but accepted to ICBO) is available
> >> at http://tw.rpi.edu/web/doc/towardscmo. This example would look like
> >> the following, using OWL 2.
> >>
> >> If the classes vacoule and lytic_vacoule are universals:
> >>
> >> lytic_vacoule_concept a skos:Concept;
> >>     cmo:represents lytic_vacoule.
> >>     skos:broader vacoule_concept.
> >> lytic_vacoule a owl:Class, cmo:UniversalClass;
> >>     owl:subclassOf vacoule.
> >> vacoule a owl:Class, cmo:UniversalClass;
> >> vacoule_concept a skos:Concept;
> >>     cmo:represents vacoule.
> >>
> >> If the classes vacoule and lytic_vacoule are not universals, they can
> >> be expressed like this:
> >>
> >> lytic_vacoule a skos:Concept, owl:Class;
> >>     cmo:represents lytic_vacoule.
> >>     skos:broader vacoule.
> >>     owl:subclassOf vacoule.
> >> vacoule a owl:Class, skos:Concept;
> >>
> >> In each case, the idea of the vacoule is the concept, while the class
> >> of vacoule is the thing in the world that the concept represents. In
> >> non-realist representations, the classes and concepts can be the same,
> >> while in realist representations they can remain distinguished.
> >>
> >> Jim
> >> --
> >> Jim McCusker
> >> Programmer Analyst
> >> Krauthammer Lab, Pathology Informatics
> >> Yale School of Medicine
> >> james.mccusker@yale.edu | (203) 785-6330
> >> http://krauthammerlab.med.yale.edu
> >>
> >> PhD Student
> >> Tetherless World Constellation
> >> Rensselaer Polytechnic Institute
> >> mccusj@cs.rpi.edu
> >> http://tw.rpi.edu
> >>
> >
> > --
> > Alistair Miles
> > Head of Epidemiological Informatics
> > Centre for Genomics and Global Health <http://cggh.org>
> > The Wellcome Trust Centre for Human Genetics
> > Roosevelt Drive
> > Oxford
> > OX3 7BN
> > United Kingdom
> > Web: http://purl.org/net/aliman
> > Email: alimanfoo@gmail.com
> > Tel: +44 (0)1865 287669
> >
> >
>
>
>
> --
> Jim McCusker
> Programmer Analyst
> Krauthammer Lab, Pathology Informatics
> Yale School of Medicine
> james.mccusker@yale.edu | (203) 785-6330
> http://krauthammerlab.med.yale.edu
>
> PhD Student
> Tetherless World Constellation
> Rensselaer Polytechnic Institute
> mccusj@cs.rpi.edu
> http://tw.rpi.edu
>
>