To: | "[ontolog-forum]" <ontolog-forum@xxxxxxxxxxxxxxxx> |
---|---|
From: | rrovetto@xxxxxxxxxxx |
Date: | Wed, 25 Jun 2014 17:42:32 -0400 |
Message-id: | <CADM4J9z=YUpjOf_FjvqAvechnaUcUWKa6Lmo1tCcTBBHZQcabA@xxxxxxxxxxxxxx> |
@David: Thanks for the additions. At least some of those are based on syllgostic/fol. Since the original question was about non-syllogistic, non-FOL based logics for ontologies, I was trying to focus on summarizing what the input on that has been. Some of those you added were mentioned earlier so thanks!
On Wed, Jun 25, 2014 at 5:22 PM, David Whitten <whitten@xxxxxxxxxx> wrote:
_________________________________________________________________ Message Archives: http://ontolog.cim3.net/forum/ontolog-forum/ Config Subscr: http://ontolog.cim3.net/mailman/listinfo/ontolog-forum/ Unsubscribe: mailto:ontolog-forum-leave@xxxxxxxxxxxxxxxx Shared Files: http://ontolog.cim3.net/file/ Community Wiki: http://ontolog.cim3.net/wiki/ To join: http://ontolog.cim3.net/cgi-bin/wiki.pl?WikiHomePage#nid1J (01) |
<Prev in Thread] | Current Thread | [Next in Thread> |
---|---|---|
|
Previous by Date: | Re: [ontolog-forum] Types of Formal (logical) Definitions in ontology, David Whitten |
---|---|
Next by Date: | Re: [ontolog-forum] Types of Formal (logical) Definitions in ontology, Philip Jackson |
Previous by Thread: | Re: [ontolog-forum] Types of Formal (logical) Definitions in ontology, David Whitten |
Next by Thread: | Re: [ontolog-forum] Types of Formal (logical) Definitions in ontology, Philip Jackson |
Indexes: | [Date] [Thread] [Top] [All Lists] |