Andreas, (01)
That is indeed essential, and for any formal ontology
(i.e., one that is specified in some version of logic),
it should be satisfied: (02)
> 3. Ontologies are machine understandable. (03)
But to avoid needless haggling over what it means for
a machine to "understand", we should use a neutral
word such as "processable". (04)
Some versions of logic may be easier to process
than others, but that is a computational issue,
which is not essential to the definition. (05)
John (06)
_________________________________________________________________
Msg Archives: http://ontolog.cim3.net/forum/ontology-summit/
Subscribe/Config: http://ontolog.cim3.net/mailman/listinfo/ontology-summit/
Unsubscribe: mailto:ontology-summit-leave@xxxxxxxxxxxxxxxx
Community Files: http://ontolog.cim3.net/file/work/OntologySummit2007/
Community Wiki: http://ontolog.cim3.net/cgi-bin/wiki.pl?OntologySummit2007
Community Portal: http://ontolog.cim3.net/ (07)
|