- From: Matt Williams <matthew.williams@cancer.org.uk>
- Date: Thu, 17 Aug 2006 20:31:09 +0100
- To: Semantic Web <semantic-web@w3.org>
Dear All, I have been trying to find a definition of what constitutes a well-formed formula in any particular DL. I'm familiar with the different constructors used in some of the different DLs, but what I haven't seen in anything like the usual FOPL presentation of a WFF. Does anyone know of one? Thanks, Matt -- http://acl.icnet.uk/~mw http://adhominem.blogsome.com/ +44 (0)7834 899570
Received on Thursday, 17 August 2006 19:31:23 UTC