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

[Till Mossakowski]

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: <http://listserv.ovgu.de/pipermail/ontoiop-forum/attachments/20160607/f06417da/attachment.html>