To: | "[ontolog-forum]" <ontolog-forum@xxxxxxxxxxxxxxxx> |
---|---|
From: | Alex Shkotin <alex.shkotin@xxxxxxxxx> |
Date: | Tue, 24 Jun 2014 11:35:04 +0400 |
Message-id: | <CAFxxROQZVRwWgqjMZj4azJOi0eD=vDgyeYk4gNBX7urhAHwHNw@xxxxxxxxxxxxxx> |
Robert,
you should investigate http://ontolog.cim3.net/cgi-bin/wiki.pl/ as 1) it was at least one workshop about "other logics",
2) at one web-workshop one lady (may be http://ontolog.cim3.net/cgi-bin/wiki.pl?AmandaVizedom) has written in chat that FOL is not enough.
And may be somebody has a list of languages used to write ontologies just check vs FOL? For example OWL 2 Full is not FOL.
Alex 2014-06-24 7:25 GMT+04:00 <rrovetto@xxxxxxxxxxx>:
_________________________________________________________________ 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) |
Previous by Date: | Re: [ontolog-forum] Types of Formal (logical) Definitions in ontology, John F Sowa |
---|---|
Next by Date: | Re: [ontolog-forum] Types of Formal (logical) Definitions in ontology, Adrian Walker |
Previous by Thread: | Re: [ontolog-forum] Types of Formal (logical) Definitions in ontology, rrovetto |
Next by Thread: | Re: [ontolog-forum] Types of Formal (logical) Definitions in ontology, Adrian Walker |
Indexes: | [Date] [Thread] [Top] [All Lists] |