Hi Yefim,
There is a financial ontology as part of SUMO
http://www.ontologyportal.org , and the CELT system (ref below) can be
used to make statements involving the terms from that ontology. (01)
Adam (02)
Pease, A., and Li, J. (2010) Controlled English to Logic Translation. In
Theory and Applications of Ontology, ed. Roberto Poli, Michael Healy,
and Achilles Kameas, Springer, ISBN: 978-90-481-8846-8.
http://www.adampease.org/professional/CELT.pdf (03)
On Sat, 2011-03-05 at 23:16 -0500, Zhuk, Yefim wrote:
> John,
>
> 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.
>
>
> 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.
>
> Do you know about similar work in financial area?
>
> Or maybe financial ontology will become the basis for a controlled financial
>language?
>
> What do you think?
>
> Thank you,
>
> Yefim (Jeff)
>
> -----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
>
> In some discussions for the Ontology Summit in April, I mentioned the
> use of controlled English for specifying and/or explaining ontologies.
>
> Following is an objection to a point I made:
>
> > 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.
>
> In response, I would like to cite the example of Naproche (NAtural-
> language PROof CHecker):
>
> http://naproche.net/
>
> 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.
>
> 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.
>
> 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.
>
> 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.
>
> 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.
>
> Adam Pease, for example, was originally skeptical about using
> controlled English for SUMO, but he later agreed that it was
> very helpful.
>
> John
>
> _________________________________________________________________
> 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
>
>
> This E-Mail has been scanned for viruses.
>
> _________________________________________________________________
> 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
> (04)
--
----------------------
www.ontologyportal.org - free ontologies and tools (05)
_________________________________________________________________
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 (06)
|