Record link: 
http://hdl.handle.net/20.500.12708/142510
-
Title: 
Towards Higher-order OWL
en
Citation: 
Homola, M., Kľuka, J., Hozzová, P., Svátek, V., & Vacura, M. (2020). Towards Higher-order OWL. Kuenstliche Intelligenz, 34, 417–421. https://doi.org/10.1007/s13218-020-00665-8
-
Publisher DOI: 
10.1007/s13218-020-00665-8
-
Publication Type: 
Article - Review Article
en
Language: 
English
-
Authors: 
Homola, Martin 
Kľuka, Ján 
Hozzová, Petra 
Svátek, Vojtěch 
Vacura, Miroslav 
-
Organisational Unit: 
E192-04 - Forschungsbereich Formal Methods in Systems Engineering 
-
Journal: 
Kuenstliche Intelligenz 
-
ISSN: 
0933-1875
-
Date (published): 
25-Jun-2020
-
Number of Pages: 
5
-
Publisher: 
Springer
-
Peer reviewed: 
Yes
-
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.
en
Research Areas: 
Logic and Computation: 100%
-
Science Branch: 
1020 - Informatik: 80%
1010 - Mathematik: 20%
-
Appears in Collections:
Article

Show full item record

Page view(s)

146
checked on Nov 23, 2023

Google ScholarTM

Check