Re: Formula definition in SUO-KIF language.
Vaibhav,
SUO-KIF specifies a logical language, rather than an ontology, and as
such does not define terms other than the fundamental logical
operators. Terms such as Formula are defined in the ontology itself. The
OWL version is a lossy translation of the SUMO. I'd recommend looking at
the KIF version of SUMO, which is authoritative.
Adam
At 09:34 PM 6/21/2004 -0500, Vaibhav . wrote:
>Hi,
>
>I am studying SUMO ontology (OWL version) and found that sumo:Formula is
>described (in comment) as a well-formed formula in the SUO-KIF knowledge
>representation language. However, the SUO-KIF document [1] does not define
>concept formula. Probably I am looking at wrong document. Can someone tell
>what is the intended definition of formula or which papers may explain it.
>
>Thanks in advance,
>
>Vaibhav
>
>[1] http://suo.ieee.org/SUO/KIF/suo-kif.html
>--
>___________________________________________________________
>Sign-up for Ads Free at Mail.com
>http://promo.mail.com/adsfreejump.htm