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

[Александр Шкотин <alex.shkotin@xxxxxxxxx>]

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)