- From: Simon Spero <ses@unc.edu>
- Date: Mon, 18 Apr 2011 10:47:59 -0400
- To: Jim McCusker <james.mccusker@yale.edu>
- Cc: Alistair Miles <alimanfoo@googlemail.com>, public-esw-thes@w3.org
- Message-ID: <BANLkTikHwm9JCzDu2Xp-DPoa2Fuj_c1sQw@mail.gmail.com>
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 > >
Received on Monday, 18 April 2011 14:48:27 UTC