Re:oops Revised Axioms for Cardinality Restrictions

• From: Richard Waldinger <waldinger@AI.SRI.COM>
• Date: Fri, 14 Sep 2001 13:11:30 -0700
• To: Richard Fikes <fikes@KSL.Stanford.EDU>, "www-rdf-logic@w3.org" <www-rdf-logic@w3.org>, Pat Hayes <phayes@ai.uwf.edu>
• Message-ID: <3BA26472.21E93319@ai.sri.com>

I left the conclusion (= ?m ?n) out of my rephrasing of the axioms.

Received on Friday, 14 September 2001 16:12:47 UTC