by Homola, Martin, Kľuka, Ján, Hozzová, Petra, Svátek, Vojtěch and Vacura, Miroslav
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 $\$\textbackslashmathcal \SROIQ\$\$SROIQ serving as the semantic foundation of regular OWL.
Reference:
Homola, M., Kľuka, J., Hozzová, P., Svátek, V., Vacura, M., "Towards Higher-order OWL", KI - Künstliche Intelligenz, vol. 34, no. 3, 2020.
Bibtex Entry:
@article{homola_towards_2020,
title = {Towards {Higher}-order {OWL}},
issn = {1610-1987},
url = {https://doi.org/10.1007/s13218-020-00665-8},
doi = {10.1007/s13218-020-00665-8},
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 \$\${\textbackslash}mathcal \{SROIQ\}\$\$SROIQ serving as the semantic foundation of regular OWL.},
journal = {KI - Künstliche Intelligenz},
author = {Homola, Martin and Kľuka, Ján and Hozzová, Petra and Svátek, Vojtěch and Vacura, Miroslav},
year = {2020},
volume = {34},
number = {3},
pdf = {https://link.springer.com/article/10.1007/s13218-020-00665-8},
restype = {Ai}
}