ontolog-forum
[Top] [All Lists]
<prev [Date] next>
[Advanced]
<prev [Thread] next>

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

from [Александр Шкотин] [Permanent Link][Original]
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;)
Alex

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

http://www.jfsowa.com/talks/cl_sowa.pdf 

_________________________________________________________________
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)
[More with this subject...]
<Prev in Thread] Current Thread [Next in Thread>
Next by Date: Re: [ontolog-forum] Ontological Means for Systems Engineering , Howard Mason
Next by Thread: Re: [ontolog-forum] Is there something I missed? , John F. Sowa
Indexes: [Date] [Thread] [Top] [All Lists]

AltStyle によって変換されたページ (->オリジナル) /