>
>I would prefer that we don't say that names are "defined". Very few
>ontology languages provide for actual definitions of names, and
>several that once did (notably KIF) no longer do. Explicit
>definitions are semantically troublesome, practically of no actual
>use, create paradoxes, and generally have negative utility. The
>entire SWeb apparatus has no definitions in it anywhere, nor is it
>likely to in the future. It is very hard to even see what it would
>mean to define a globally useable name. Let us just say that names
>occur in ontologies, and ontologies constrain the meaning of names.
>
>Pat (01)
From my experience working with biologists and medical researchers
on ontologies, definitions (ideally both natural language definitions
and equivalent formal definitions) play a very useful role when it
comes to ensuring that ontologies are populated in consistent ways
across disciplines and subsequently used correctly (or indeed at all)
in practical applications. Most of those involved in such use will
not have logical or computer science expertise. Where else should
they turn to find out what a term means?
BS (02)
_________________________________________________________________
Message Archives: http://ontolog.cim3.net/forum/ontolog-forum/
Subscribe/Config: 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 Post: mailto:ontolog-forum@xxxxxxxxxxxxxxxx (03)
|