E192-04 - Forschungsbereich Formal Methods in Systems Engineering
-
Zeitschrift:
Kuenstliche Intelligenz
-
ISSN:
0933-1875
-
Datum (veröffentlicht):
25-Jun-2020
-
Umfang:
5
-
Verlag:
Springer
-
Peer Reviewed:
Ja
-
Keywords:
Description logics; higher-order logic; OWL
en
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.
