<div class="csl-bib-body">
<div class="csl-entry">Homola, M., Kľuka, J., Hozzová, P., Svátek, V., & Vacura, M. (2020). Towards Higher-order OWL. <i>Kuenstliche Intelligenz</i>, <i>34</i>, 417–421. https://doi.org/10.1007/s13218-020-00665-8</div>
</div>
-
dc.identifier.issn
0933-1875
-
dc.identifier.uri
http://hdl.handle.net/20.500.12708/142510
-
dc.description.abstract
We summarize our ongoing endeavour towards proposing a suitable higher-order description logic that could serve as the semantic foundation for higher-order OWL, similarly to SROIQ serving as the semantic foundation of regular OWL.