|From:||Александр Шкотин <alex.shkotin@xxxxxxxxx>|
|Date:||Sun, 1 Feb 2009 20:27:56 +0300|
thank you for detailed answer. Your architecture is very interesting.
It seems relationship "DL versus Prolog" is more complicated than I thought (http://arxiv.org/ftp/arxiv/papers/0711/0711.3419.pdf)
May be there is a direct comparison of reasoning "power" in different systems?
Something like reasoners competition;)
In our project we have just two goals:
- transform RDB to KB. (Because knowledge is better than data;)
- rebuild our application system on top of KB reasoning engine. (and here OWL-DL right now is mandatory;)
But you are absolutely right - next project we look (and read;) broader.
2009/2/1 John F. Sowa <sowa@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 To Post: mailto:ontolog-forum@xxxxxxxxxxxxxxxx (01)
|<Prev in Thread]||Current Thread||[Next in Thread>|
|Previous by Date:||Re: [ontolog-forum] Ontological Means for Systems Engineering, Azamat|
|Next by Date:||Re: [ontolog-forum] Is there something I missed?, John F. Sowa|
|Previous by Thread:||Re: [ontolog-forum] Is there something I missed?, John F. Sowa|
|Next by Thread:||Re: [ontolog-forum] Is there something I missed?, John F. Sowa|
|Indexes:||[Date] [Thread] [Top] [All Lists]|