Auflistung nach Schlagwort "higher-order logic"
1 - 1 von 1
Treffer pro Seite
Sortieroptionen
- ZeitschriftenartikelTowards Higher-order OWL(KI - Künstliche Intelligenz: Vol. 34, No. 3, 2020) Homola, Martin; Kľuka, Ján; Hozzová, Petra; Svátek, Vojtěch; Vacura, MiroslavWe 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.