[Top] [All Lists]

Re: [oor-forum] BioPortal defines the following resources which act as p

To: oor-forum@xxxxxxxxxxxxxxxx
From: "John F. Sowa" <sowa@xxxxxxxxxxx>
Date: Tue, 07 Sep 2010 12:52:52 -0400
Message-id: <4C866DE4.6040902@xxxxxxxxxxx>
Cameron,    (01)

That is just a matter of terminology:    (02)

> There is no notion of concepts, properties, instances etc. within CL,
> which seems to be central to the resource model defined within BioPortal.    (03)

In the Common Logic semantics, all those notions are covered with the
barest minimum of terminology:    (04)

  1. In the CL semantics, an instance is anything in a set D, called
     the domain.  For any application of CL, anything that is assumed
     to exist is assumed to be in the domain D.    (05)

  2. A type or a class is represented by a monadic relation.    (06)

  3. A property, an attribute, a feature, or a facet are all represented
     by monadic relations.    (07)

  4. Note Annex B, of ISO 24707, which maps the Conceptual Graph
     Interchange Format (CGIF) to the CL semantics.  A concept in CGIF
     is defined as a node that has two parts:  a type field, which
     names or specifies a monadic relation; and a referent field, which
     names something in D or contains a quantifier that ranges over D.    (08)

Philosophers, librarians, linguists, and software engineers have
debated such terms for ages upon ages.  But from the point of view
of logic, they're all represented by some domain D together with
some relations and functions defined over members of the set D.    (09)

A particularly ancient pair of terms, which have been debated for
ages with more confusion than enlightenment, are 'universal' and
'particular'.  In the CL semantics, a particular is anything in D,
and a universal is any function or relation defined over D.    (010)

I strongly urge anybody and everybody who prefers to use other
terminology to map their pet terms to the CL semantics.  The result
is a huge improvement in clarity, an immense reduction in confusion,
and the ability to relate different theories and implementations
to one another with great precision and without pointless debate.    (011)

John    (012)

Message Archives: http://ontolog.cim3.net/forum/oor-forum/  
Subscribe: mailto:oor-forum-join@xxxxxxxxxxxxxxxx 
Config/Unsubscribe: http://ontolog.cim3.net/mailman/listinfo/oor-forum/  
Shared Files: http://ontolog.cim3.net/file/work/OOR/ 
Wiki: http://ontolog.cim3.net/cgi-bin/wiki.pl?OpenOntologyRepository     (013)
<Prev in Thread] Current Thread [Next in Thread>