Logo des Repositoriums
 
Zeitschriftenartikel

Towards Higher-order OWL

Vorschaubild nicht verfügbar

Volltext URI

Dokumententyp

Text/Journal Article

Zusatzinformation

Datum

2020

Autor:innen

Zeitschriftentitel

ISSN der Zeitschrift

Bandtitel

Quelle

KI - Künstliche Intelligenz: Vol. 34, No. 3

Verlag

Springer

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.

Beschreibung

Homola, Martin; Kľuka, Ján; Hozzová, Petra; Svátek, Vojtěch; Vacura, Miroslav (2020): Towards Higher-order OWL. KI - Künstliche Intelligenz: Vol. 34, No. 3. DOI: 10.1007/s13218-020-00665-8. Springer. PISSN: 1610-1987. pp. 417-421

Schlagwörter

Description logics , higher-order logic , OWL

Zitierform

DOI

10.1007/s13218-020-00665-8

Tags

Sammlungen

Künstliche Intelligenz 34(3) - September 2020