Yes that is the correct view of primitives. Unfortunately, if we include
in domain ontologies (as I do) ontology elements that are not "defined" by
necessary and sufficient conditions (e.g. just related to others by
necessary conditions and some restrictions), there can be some debate as to
whether there is still some "primitive" component of that ontology element.
I think the practical problem will be whether we consider the logical
description of an element as sufficient to allow machines to use it
accurately; this may require that the logical description not require appeal
to known instances to permit the machines or people to interpret its proper
use. This is the borderline that I am uncertain about.
My criterion for considering something as fit for the FO is, if it seems
to be a clear primitive (e.g. one based on perception, feelings) or if it is
just a common concept *and* no one has an objection to keeping it in the FO.
That makes it easier to avoid redefining concepts, in perhaps unintended
incompatible ways. This is a very practical project, though it does touch
on the basic issue of what inventory of basic ontology elements are required
to describe everything else. The competing desire is to keep the FO as
small as possible. It will depend on what the users want. (01)
> -----Original Message-----
> From: ontolog-forum-bounces@xxxxxxxxxxxxxxxx [mailto:ontolog-forum-
> bounces@xxxxxxxxxxxxxxxx] On Behalf Of Matthew West
> Sent: Tuesday, February 02, 2010 2:44 PM
> To: '[ontolog-forum] '
> Subject: Re: [ontolog-forum] Foundation Ontology Primitives
> Dear Pat,
> This at least is easy.
> > I hope that it will not actually be necessary to try to precisely
> > define
> > the borderline between primitive and non-primitive.
> A concept is primitive if it cannot be completely defined in terms of
> concepts you already have defined.
> Matthew West
> Information Junction
> Tel: +44 560 302 3685
> Mobile: +44 750 3385279
> This email originates from Information Junction Ltd. Registered in
> and Wales No. 6632177.
> Registered office: 2 Brookside, Meadow Way, Letchworth Garden City,
> Hertfordshire, SG6 3JE.
> Message Archives: http://ontolog.cim3.net/forum/ontolog-forum/
> Config Subscr: http://ontolog.cim3.net/mailman/listinfo/ontolog-forum/
> Unsubscribe: mailto:ontolog-forum-leave@xxxxxxxxxxxxxxxx
> Shared Files: http://ontolog.cim3.net/file/
> Community Wiki: http://ontolog.cim3.net/wiki/
> To join: http://ontolog.cim3.net/cgi-bin/wiki.pl?WikiHomePage#nid1J
> To Post: mailto:ontolog-forum@xxxxxxxxxxxxxxxx
Message Archives: http://ontolog.cim3.net/forum/ontolog-forum/
Config Subscr: http://ontolog.cim3.net/mailman/listinfo/ontolog-forum/
Shared Files: http://ontolog.cim3.net/file/
Community Wiki: http://ontolog.cim3.net/wiki/
To join: http://ontolog.cim3.net/cgi-bin/wiki.pl?WikiHomePage#nid1J
To Post: mailto:ontolog-forum@xxxxxxxxxxxxxxxx (05)