Er...what does ontology have to do with automated reasoning ? The scope of
ontology is far wider than that, and there are lots of ontologies out there
that are really useful for real world applications, but don't meet the
narrow requirements for finite-time reasoning. On the other hand, there are
ontologies out there that have been built only for reasoning, and are no use
whatsoever in real world applications...in fact there are rather a lot of
these, mostly funded by our taxes, unfortunately. (01)
I'm not sure a complete proof theory is required either. The
none-well-founded stuff seems to work quite well (assuming that's what Chris
meant by "proof"). (02)
-----Original Message-----
From: ontolog-forum-bounces@xxxxxxxxxxxxxxxx
[mailto:ontolog-forum-bounces@xxxxxxxxxxxxxxxx] On Behalf Of Ed Barkmeyer
Sent: 26 October 2009 15:12
To: [ontolog-forum]
Subject: Re: [ontolog-forum] Just What Is an Ontology, Anyway? (03)
Christopher Menzel wrote:
> On Oct 22, 2009, at 6:00 PM, Adrian Walker wrote:
> Hi All,
>
> For modern usage, I'd rate Ed Barkmeyer's definition of 'ontology' as the
most satisfactory so far.
>
> +1
>
> Here it is:
>
> What makes written knowledge an "ontology" is that the language has a
grammar and an interpretation of the grammatical constructs that is suitable
for automated reasoning.
> (04)
Thank you, gentlemen, but to give credit where it is due, what I wrote
is a paraphrase of a definition of "strong ontology" from Leo Obrst,
approximately 2005. (05)
And Chris offers another: (06)
> Otherwise (if less colorfully) put, what makes written knowledge an
ontology is that it is expressed in a logic (i.e., a formal language + model
theory) with a complete proof theory.
> (07)
-Ed (08)
--
Edward J. Barkmeyer Email: edbark@xxxxxxxx
National Institute of Standards & Technology
Manufacturing Systems Integration Division
100 Bureau Drive, Stop 8263 Tel: +1 301-975-3528
Gaithersburg, MD 20899-8263 FAX: +1 301-975-4694 (09)
"The opinions expressed above do not reflect consensus of NIST,
and have not been reviewed by any Government authority." (010)
_________________________________________________________________
Message Archives: http://ontolog.cim3.net/forum/ontolog-forum/
Config Subscr: 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 join: http://ontolog.cim3.net/cgi-bin/wiki.pl?WikiHomePage#nid1J
To Post: mailto:ontolog-forum@xxxxxxxxxxxxxxxx (011)
_________________________________________________________________
Message Archives: http://ontolog.cim3.net/forum/ontolog-forum/
Config Subscr: 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 join: http://ontolog.cim3.net/cgi-bin/wiki.pl?WikiHomePage#nid1J
To Post: mailto:ontolog-forum@xxxxxxxxxxxxxxxx (012)
|