Towards Higher-order OWL

Homola, Martin; Kľuka, Ján; Hozzová, Petra; Svátek, Vojtěch; Vacura, Miroslav

Autor(en):

Homola, Martin [DBLP] ;

Kľuka, Ján [DBLP] ;

Hozzová, Petra [DBLP] ;

Svátek, Vojtěch [DBLP] ;

Vacura, Miroslav [DBLP]

Zusammenfassung

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 $$\mathcal {SROIQ}$$ SROIQ serving as the semantic foundation of regular OWL.

Vollständige Referenz
BibTeX

Homola, M., Kľuka, J., Hozzová, P., Svátek, V. & Vacura, M., (2020). Towards Higher-order OWL. KI - Künstliche Intelligenz: Vol. 34, No. 3. Springer. (S. 417-421). DOI: 10.1007/s13218-020-00665-8

@article{mci/Homola2020,
author = {Homola, Martin AND Kľuka, Ján AND Hozzová, Petra AND Svátek, Vojtěch AND Vacura, Miroslav},
title = {Towards Higher-order OWL},
journal = {KI - Künstliche Intelligenz},
volume = {34},
number = {3},
year = {2020},
,
pages = { 417-421 } ,
doi = { 10.1007/s13218-020-00665-8 }
}

Sollte hier kein Volltext (PDF) verlinkt sein, dann kann es sein, dass dieser aus verschiedenen Gruenden (z.B. Lizenzen oder Copyright) nur in einer anderen Digital Library verfuegbar ist. Versuchen Sie in diesem Fall einen Zugriff ueber die verlinkte DOI: 10.1007/s13218-020-00665-8

Haben Sie fehlerhafte Angaben entdeckt? Sagen Sie uns Bescheid: Feedback abschicken