W3C home > Mailing lists > Public > www-rdf-logic@w3.org > September 2001

Re: [daml] Re: oops Revised Axioms for Cardinality Restrictions

From: Richard Waldinger <waldinger@AI.SRI.COM>
Date: Fri, 14 Sep 2001 13:31:24 -0700
Message-ID: <3BA2691C.A79D1813@ai.sri.com>
To: "Richard@ai.sri.com Fikes" <fikes@KSL.Stanford.EDU>, "www-rdf-logic@w3.org" <www-rdf-logic@w3.org>, Pat Hayes <phayes@ai.uwf.edu>
now i see your leaving out the quantifier in the cardinality axiom was
correct and i don't need the conclusion ?m = ?n.
sorry for the confusion---rw
Received on Friday, 14 September 2001 16:32:40 UTC

This archive was generated by hypermail 2.3.1 : Wednesday, 2 March 2016 11:10:36 UTC