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

Re:oops Revised Axioms for Cardinality Restrictions

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

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

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

This message: [ Message body ]
Next message: Richard Waldinger: "Re: [daml] Re: oops Revised Axioms for Cardinality Restrictions"
Previous message: Richard Waldinger: "Re: Revised Axioms for Cardinality Restrictions"
In reply to: Richard Waldinger: "Re: Revised Axioms for Cardinality Restrictions"
Next in thread: Richard Waldinger: "Re: [daml] Re: oops Revised Axioms for Cardinality Restrictions"
Reply: Richard Waldinger: "Re: [daml] Re: oops Revised Axioms for Cardinality Restrictions"

Mail actions: [ respond to this message ] [ mail a new topic ]
Contemporary messages sorted: [ by date ] [ by thread ] [ by subject ] [ by author ]
Help: [ How to use the archives ] [ Search in the archives ]

This archive was generated by hypermail 2.2.0+W3C-0.50 : Tuesday, 27 October 2009 08:34:47 GMT