[ontoiop-forum] [Hets-users] number of peaches

[Till Mossakowski]

Dear Vit,

many thanks for this useful suggestion!
Indeed it seems that the main problem is not to find and integrate tools 
that will provide answers to queries (like "what is 2+4"?), but to 
extend the DOL language with queries in a semantic clean way that is 
valid for all the DOL-conformant logics.

Best, Till

Am 06.06.2016 um 12:33 schrieb Koksa, Vit:
>
> Dear Till,
>
> Thank you a lot for summarizing the status of the querying capabilities.
>
> I guess then that some ontology reasoner integrated with Hets (e.g. 
> Pellet) will accept queries about a DOL ontology and provide the answers.
>
> As for the natural numbers, if the specification could be translated 
> to the language of Princess, this prover might respond with some valid 
> value of the existentially quantified variable.
>
> When Princess is run (using Java Webstart from over here 
> http://www.philipp.ruemmer.org/princess-examples.shtml 
> <http://www.philipp.ruemmer.org/princess-examples.shtml> ) with the 
> following (simplified as compared to the original CASL spec) problem 
> specification
>
> \existentialConstants {
>
>   /* Declare existentially quantified constants of the problem */
>
>   int peachesTogether;
>
> }
>
> \problem {
>
> \forall int peachesAllan, peachesJake; (
>
>   peachesAllan = 2
>
>   -> peachesJake = 4
>
>   -> peachesTogether = peachesAllan + peachesJake
>
> )
>
> }
>
> , the resulting model x = 6 is reported by the tool as follows:
>
> Loading  ...
>
> Preprocessing ...
>
> Constructing satisfying assignment for the existential constants ...
>
> VALID
>
> Under the assignment:
>
> peachesTogether = 6
>
> 27ms
>
> Maybe the integration with Princess might therefore be suitable for 
> generating a valid model of an integer arithmetic problem.
>
> With regards,
>
> Vit
>
>
>
> _______________________________________________
> Hets-users mailing list
> Hets-users at informatik.uni-bremen.de
> https://mailman.informatik.uni-bremen.de/mailman/listinfo/hets-users

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://listserv.ovgu.de/pipermail/ontoiop-forum/attachments/20160606/e80b76e1/attachment.html>