W3C home > Mailing lists > Public > public-esw-thes@w3.org > April 2011

Re: Mapping SKOS into BFO

From: Thad Guidry <thadguidry@gmail.com>
Date: Fri, 8 Apr 2011 12:24:19 -0500
Message-ID: <BANLkTimzDefKKhqOesvj9edfbU5B0kON7g@mail.gmail.com>
To: public-esw-thes@w3.org
Generally interested, Jim.  And looked at BFO and it's current ontology status.

To quote Barry Smith's paper:

"On the linguistic reading the assertions of is_a  and other relations
between concepts are assertions about meanings or ideas. A sentence
like

lytic vacuole is_a vacuole

is, appearances notwithstanding, not an assertion about lytic
vacuoles; rather it is an assertion about language use. It tells us
that the meaning associated with the name ‘lytic vacuole’
is narrower or more specific than the meaning associated with the name
‘vacuole’ by this or
that group of subjects"

To take Barry Smith's argument as a practical example,

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 ?

Thanks in advance,

On Wed, Apr 6, 2011 at 10:02 PM, Jim McCusker <james.mccusker@yale.edu> wrote:
> The Basic Formal Ontology is commonly used in biomedical semantics
> through OBO. I would like to propose a mapping of skos:Concept into
> BFO as a subclass of "generically dependent continuent". I believe
> this will help further the ongoing discussion surrounding definitions
> for the term "concept", and will also provide an ontological home for
> it in relation to non-conceptual ontologies. I chose "generically
> dependent continuent" for the following reasons:
>
> The definition of "generically dependent continuent" is: "Definition:
> A continuant [snap:Continuant] that is dependent on one or other
> independent continuant [snap:IndependentContinuant] bearers. For every
> instance of A requires some instance of (an independent continuant
> [snap:IndependentContinuant] type) B but which instance of B serves
> can change from time to time."
>
> This refers to entities that exist in relation to something, but it
> doesn't matter what, exactly, that something is. Ideas (and therefore
> concepts) have this property - an idea can exist in my head, I can
> write it down, someone else can read it, and in that process the idea
> is dependent on my brain, the media I write it down on, and then brain
> of the person who reads it.
>
> A concept is not an occurrent (definition: "An entity [bfo:Entity]
> that has temporal parts and that happens, unfolds or develops through
> time. Sometimes also called perdurants."). While a concept can have a
> lifetime in which it is imagined, changed, and forgotten, in BFO this
> is considered distinct from the entity itself.
>
> A concept is not an independent continuent (definition: A continuant
> [snap:Continuant] that is a bearer of quality [snap:Quality] and
> realizable entity [snap:RealizableEntity] entities, in which other
> entities inhere and which itself cannot inhere in anything.") These
> are things that exist in and of themselves, without any need for a
> substrate.
>
> A concept is not a specifically dependent continuent (definition: "A
> continuant [snap:Continuant] that inheres in or is borne by other
> entities. Every instance of A requires some specific instance of B
> which must always be the same.") Concepts do not need some specific
> instance for it to be borne by, but can exist all the same in any
> suitable substrate.
>
> That leaves generically dependent continuent. A concept needs to have
> some substrate to exist, but it doesn't have to be any one particular
> substrate.
>
> Additionally, in the Information Artifact Ontology, "information
> content entity" is a subclass of generically dependent continuent. An
> information content entity is "an entity that is generically dependent
> on some artifact and stands in relation of aboutness to some entity".
> Some concepts are about particular things (universal classes and
> properties, for instance), which would make them information content
> entities, and therefore generically dependent continuents.
>
> Thanks,
> 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
>
>



-- 
-Thad
http://www.freebase.com/view/en/thad_guidry
Received on Friday, 8 April 2011 17:24:46 GMT

This archive was generated by hypermail 2.2.0+W3C-0.50 : Friday, 8 April 2011 17:24:47 GMT