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)
|