|From:||Александр Шкотин <alex.shkotin@xxxxxxxxx>|
|Date:||Sun, 1 Feb 2009 11:37:34 +0300|
for context see below, but
we choose OWL-DL as there are reasoners for it:
- to check inconsistency of definitions and facts
- to use reasoning during answer forming (to get clever answer;)
and there are repositories to store huge amount of owl-sentences. Now we have an idea to use owlgres.
I hope sentences I mentioned before are CL (SCL;), as they are so simple.
I did not find quickly any reasoner for CL. do we have one?
And if we are talking about translation to Prolog for reasoning (your slide 25) - well, I heard that DL-reasoner is a little bit more clever;)
ASh> Then we automatically translate these sentences to OWL...
I wouldn't recommend OWL. Translating a controlled natural language
to and from Common Logic is much simpler and more systematic. See
_________________________________________________________________ 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>|