W3C home > Mailing lists > Public > semantic-web@w3.org > August 2006

WFF in DLs

From: Matt Williams <matthew.williams@cancer.org.uk>
Date: Thu, 17 Aug 2006 20:31:09 +0100
Message-ID: <44E4C3FD.8040202@cancer.org.uk>
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

This archive was generated by hypermail 2.4.0 : Friday, 17 January 2020 19:47:17 UTC