Leo, (01)
I think that we agree about the basic issues, but it is
very hard to set any limits on the domain: (02)
> Indeed, I would say an ontology is a logical theory AND
> purports to be about the real world. I can develop a
> nonsensical logical theory, for example. (03)
For example, all mathematical theories are purely abstract,
and they could be applied to the real world or anything else
imaginable. And any plans for something that does not yet
exist (e.g., the next new airplane by Boeing or Airbus) are
about an imaginary entity that does not yet exist, but it might
or might not exist at some indefinite time in the future. (04)
And once you allow ontologies for hypothetical devices, virtual
worlds, arbitrary mathematical structures, and hypothetical
scientific theories, it is hard to exclude anything else. (05)
Therefore, I would propose the following definition: (06)
A formal ontology is a consistent theory expressed in some version
of logic that defines the types, relations, and functions that
characterize the entities of some domain, which may be concrete
or abstract, real or virtual. (07)
The requirement of a consistent theory rules out nonsense whose
existence is impossible even in a virtual world, but it does
allow worlds whose laws may be very different from what we
currently consider "physics". (08)
For example, Alice's Wonderland has laws that are different
from anything we experience in the real world, and I doubt
that those laws are globally consistent. But it may be possible
to simulate a virtual world described by a global theory that
is defined as a disjunction of locally consistent theories
for the various episodes in Alice's adventures. (09)
John (010)
_________________________________________________________________
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/ (011)
|