[Top] [All Lists]

Re: [ontolog-forum] Is there something I missed?

To: "[ontolog-forum]" <ontolog-forum@xxxxxxxxxxxxxxxx>
From: Александр Шкотин <alex.shkotin@xxxxxxxxx>
Date: Sun, 1 Feb 2009 11:37:34 +0300
Message-id: <b24945a10902010037q758c85f6g3550cc8dc399629@xxxxxxxxxxxxxx>
Dear John,
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>