<html>
<head>
<meta content="text/html; charset=windows-1252"
http-equiv="Content-Type">
</head>
<body text="#000000" bgcolor="#FFFFFF">
<div class="moz-cite-prefix">Dear Vit,<br>
<br>
yes, the work by Spivak is interesting, and we are currently
having a look into it.<br>
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<br>
<a class="moz-txt-link-freetext" href="http://iws.cs.uni-magdeburg.de/%7Emossakow/papers/derived.pdf">http://iws.cs.uni-magdeburg.de/%7Emossakow/papers/derived.pdf</a><br>
<br>
Best, Till<br>
<br>
Am 07.06.2016 um 11:19 schrieb Koksa, Vit:<br>
</div>
<blockquote
cite="mid:B2ADAC13EB485944801892D44509A23D81488E53@DE08W1302.global.ds.honeywell.com"
type="cite">
<meta http-equiv="Context-Type" content="text/html;
charset=us-ascii">
<meta name="Generator" content="Microsoft Word 15 (filtered
medium)">
<div class="WordSection1">
<p class="MsoNormal"><span lang="CS">Dear Till,</span></p>
<p class="MsoNormal"><span lang="CS"> </span></p>
<p class="MsoNormal"><span lang="CS">Thank you very much for
your response.</span></p>
<p class="MsoNormal"><span lang="CS"> </span></p>
<p class="MsoNormal"><span lang="CS">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).</span></p>
<p class="MsoNormal"><span lang="CS"> </span></p>
<p class="MsoNormal"><span lang="CS">If you were interested,
here are some slides about the categorial interpretation of
SQL databases (Functorial Query Language, FQL): <a
moz-do-not-send="true"
href="http://categoricaldata.net/fql/intro.pdf"><a class="moz-txt-link-freetext" href="http://categoricaldata.net/fql/intro.pdf">http://categoricaldata.net/fql/intro.pdf</a></a>
.</span></p>
<p class="MsoNormal"><span lang="CS">And a theoretical article
about the mathematical background: Database Queries and
Constraints via Lifting Problems by D. Spivak, available at
<a moz-do-not-send="true"
href="http://arxiv.org/pdf/1202.2591v3.pdf">http://arxiv.org/pdf/1202.2591v3.pdf</a>
.</span></p>
<p class="MsoNormal"><span lang="CS"> </span></p>
<p class="MsoNormal"><span lang="CS">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.</span></p>
<p class="MsoNormal"><span lang="CS"> </span></p>
<p class="MsoNormal"><span lang="CS">With regards,</span></p>
<p class="MsoNormal"><span lang="CS">Vit</span></p>
</div>
<br>
<fieldset class="mimeAttachmentHeader"></fieldset>
<br>
<pre wrap="">_______________________________________________
Hets-users mailing list
<a class="moz-txt-link-abbreviated" href="mailto:Hets-users@informatik.uni-bremen.de">Hets-users@informatik.uni-bremen.de</a>
<a class="moz-txt-link-freetext" href="https://mailman.informatik.uni-bremen.de/mailman/listinfo/hets-users">https://mailman.informatik.uni-bremen.de/mailman/listinfo/hets-users</a>
</pre>
</blockquote>
<br>
</body>
</html>