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

RE: Cyclic Classes/Properties [was: Re: ...]

From: Peter Crowther <peter.crowther@networkinference.com>
Date: Sun, 6 May 2001 12:34:53 +0100
Message-ID: <B6F03FDBA149CA41B6E9EB8A329EB12D05A239@vault.melandra.net>
To: www-rdf-logic@w3.org

> From: Peter Crowther [mailto:peter.crowther@networkinference.com]
[...]
> If you look at Ian Horrocks' FaCT reasoner [1]
[...]

I'd forget my head if it wasn't bolted on at the neck.  URL follows.

		- Peter

[1] http://www.cs.man.ac.uk/~horrocks/FaCT

Received on Sunday, 6 May 2001 07:35:01 GMT

This message: [ Message body ]
Next message: Sean B. Palmer: "Re: Cyclic Classes/Properties [was: Re: DAML Correction: Same Is Not A Sub Of Sub]"
Previous message: Peter Crowther: "RE: Cyclic Classes/Properties [was: Re: DAML Correction: Same Is Not A Sub Of Sub]"
In reply to: [ message archived in another list or period ]

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 : Monday, 7 December 2009 10:52:39 GMT