John, (01)
Thank you for returning to the subject and for the link.
I think it's a good timing for Controlled English. While expanding the audience
from just people to people + computers, we have to be more precise and less
ambiguous in expressing information for this new audience and Controlled
English does exactly that. (02)
There is some interesting work in this direction done by Boeing
(www.userlab.com/SE.html) and there are several tools offered by SMART
Communications, Inc., (http://www.smartny.com/) who also focused on aerospace. (03)
Do you know about similar work in financial area? (04)
Or maybe financial ontology will become the basis for a controlled financial
language? (05)
What do you think? (06)
Thank you, (07)
Yefim (Jeff) (08)
-----Original Message-----
From: ontolog-forum-bounces@xxxxxxxxxxxxxxxx
[mailto:ontolog-forum-bounces@xxxxxxxxxxxxxxxx] On Behalf Of John F. Sowa
Sent: Saturday, March 05, 2011 1:09 PM
To: [ontolog-forum]
Subject: [ontolog-forum] Using controlled natural languages for ontology (09)
In some discussions for the Ontology Summit in April, I mentioned the
use of controlled English for specifying and/or explaining ontologies. (010)
Following is an objection to a point I made: (011)
> Sure, you could use a highly formalistic English to be much more
> precise, but by then it may be so verbose as to be harder to understand
> than a formal lang depicted in a good visualization/exploration tool. (012)
In response, I would like to cite the example of Naproche (NAtural-
language PROof CHecker): (013)
http://naproche.net/ (014)
From that web page:
> The Naproche system accepts a controlled but rich subset of ordinary
> mathematical language including TeX-style typeset formulas and
> transforms them into formal statements. Linguistic techniques are
> adapted to allow for common grammatical constructs and to extract
> mathematically relevant implicit information about hypotheses and
> conclusions. Finally, automated theorem provers are used to prove
> the correctness of the input text. (015)
See the examples and publications on their web site. The language
they use is English as written in a mathematical textbook, and they
allow any special symbols or expressions that can be written in
TeX notation. (016)
The English is very readable, it does allow some symbols and
expressions to be embedded in the English, and it is no more
verbose that the explanations in a typical textbook. (017)
I am not recommending controlled English as the *only* notation
for ontology, but it can be a very helpful supplement. I also
like diagrams, and I would definitely support diagrams as
a supplementary representation. (018)
Important point: With controlled English, the comments and the
implementation can always be kept in *exact* correspondence because
one can be derived from (and/or checked with) the other. (019)
Adam Pease, for example, was originally skeptical about using
controlled English for SUMO, but he later agreed that it was
very helpful. (020)
John (021)
_________________________________________________________________
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 (022)
This E-Mail has been scanned for viruses. (023)
_________________________________________________________________
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 (024)
|