| To: | "[ontolog-forum] " <ontolog-forum@xxxxxxxxxxxxxxxx> |
|---|---|
| From: | Adam Pease <apease@xxxxxxxxxxxxxxxxxx> |
| Date: | Thu, 01 May 2003 12:48:52 -0700 |
| Message-id: | <5.2.0.9.0.20030501124754.02959a30@xxxxxxxxxxxxxxxxxx> |
Folks, Also per today's discussion, the SNARK reasoner can be accessed at <http://www.ai.sri.com/~stickel/snark.html>. (01) Adam (02) _________________________________________________________________ Message Archives: http://ontolog.cim3.net/forum/ontolog-forum/ Subscribe/Unsubscribe/Config: http://ontolog.cim3.net/mailman/listinfo/ontolog-forum/ Shared Files: http://ontolog.cim3.net/file/ Community Wiki: http://ontolog.cim3.net/wiki/ To Post: mailto:ontolog-forum@xxxxxxxxxxxxxxxx (03) |
| <Prev in Thread] | Current Thread | [Next in Thread> |
|---|---|---|
| ||
| Previous by Date: | Re: [ontolog-forum] Re: [protege-discussion] Creating Semantic Business Models], Monica J. Martin |
|---|---|
| Next by Date: | RE: [ontolog-forum] [UBL] Agenda for 2003.05.01 Conference Call, rhodgson |
| Previous by Thread: | Re: [ontolog-forum] Re: [protege-discussion] Creating Semantic Business Models], Monica J. Martin |
| Next by Thread: | [ontolog-forum] Wiki Preferences, Peter P. Yim |
| Indexes: | [Date] [Thread] [Top] [All Lists] |