From till at iks.cs.ovgu.de Mon Jun 6 18:24:27 2016 From: till at iks.cs.ovgu.de (Till Mossakowski) Date: Mon, 6 Jun 2016 18:24:27 +0200 Subject: [ontoiop-forum] [Hets-users] number of peaches In-Reply-To: References: Message-ID: <5755A3BB.9040008@iks.cs.ovgu.de> 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 > ) 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: From till at iks.cs.ovgu.de Tue Jun 7 12:08:14 2016 From: till at iks.cs.ovgu.de (Till Mossakowski) Date: Tue, 7 Jun 2016 12:08:14 +0200 Subject: [ontoiop-forum] [Hets-users] number of peaches In-Reply-To: References: Message-ID: <57569D0E.1040106@iks.cs.ovgu.de> Dear Vit, yes, the work by Spivak is interesting, and we are currently having a look into it. However, in the case of DOL, we also need a formalism that works in (or can be built on top of) any institution. Currently, my favourite solution is to work with the Kleisli institution of an institutional monad, see http://iws.cs.uni-magdeburg.de/%7Emossakow/papers/derived.pdf Best, Till Am 07.06.2016 um 11:19 schrieb Koksa, Vit: > > Dear Till, > > Thank you very much for your response. > > My thought is now just very vague and probably fruitless, but anyway. > When you write about queries and clean semantics it reminded me of the > work described by David Spivak from MIT, who models databases (and > related operations like data updates and queries, migrations of data) > by categorial semantics (transformations like maps, functors and > natural transformations, and their compositions). It is not clear to > me, whether such approach applicable on the databases could be mapped > to the ontologies and could be used as the basis of a DOL language > extension similar to FQL (Functorial Query Language). ... As I > recollect my memories I take my last statement back ? the FQL language > is also used in the domain of ontologies, the so called ologs > (Ontology Logs). > > If you were interested, here are some slides about the categorial > interpretation of SQL databases (Functorial Query Language, FQL): > http://categoricaldata.net/fql/intro.pdf . > > And a theoretical article about the mathematical background: Database > Queries and Constraints via Lifting Problems by D. Spivak, available > at http://arxiv.org/pdf/1202.2591v3.pdf . > > Maybe such formalization of the DB queries could represent also a > mathematical meet of the querying in the DOL-conformant logics. But > taking into account how ?much? I know about all this, I would be quite > skeptical/cautious about this line of thought. > > 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: From till at iks.cs.ovgu.de Thu Jun 9 11:01:03 2016 From: till at iks.cs.ovgu.de (Till Mossakowski) Date: Thu, 9 Jun 2016 11:01:03 +0200 Subject: [ontoiop-forum] [Hets-users] number of peaches In-Reply-To: References: Message-ID: <5759304F.2070606@iks.cs.ovgu.de> Dear Vit, please have a look at http://dol-omg.org , which now the main website for DOL. The definitive reference document for DOL is the first mentioned document, the current version of the DOL standard Best, Till Am 08.06.2016 um 21:14 schrieb Koksa, Vit: > > Dear Till, > > Thank you a lot for the reference. (The example with Male, Female, > Bdate, Bplace, etc. looks similar to the example provided in the FQL > description about the problem of joining database schemata and data in > FQL, so I can see that these approaches address among other things > this same issue.) > > Is there please some comprehensive manual of DOL (as accepted by Hets) > available except for the > http://tableaux2015.ii.uni.wroc.pl/Mossakowski-tutorial.pdf slides? > > 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: From till at iks.cs.ovgu.de Thu Jun 9 11:39:17 2016 From: till at iks.cs.ovgu.de (Till Mossakowski) Date: Thu, 9 Jun 2016 11:39:17 +0200 Subject: [ontoiop-forum] [Hets-users] number of peaches In-Reply-To: References: Message-ID: <57593945.805@iks.cs.ovgu.de> Dear Vit, indeed, DOL is not fully supported by Hets yet. We will set up a wiki page showing the current state of DOL support. Best, Till Am 09.06.2016 um 11:34 schrieb Koksa, Vit: > > Dear Till, > > I thought that the OMG standard describes an ideal language of which > only a part is implemented in Hets so far. That?s why I believed there > might be another document describing what is already implemented. > Thank you very much for your response. > > 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: