Auflistung nach Autor:in "Homola, Martin"
1 - 2 von 2
Treffer pro Seite
Sortieroptionen
- ZeitschriftenartikelThe AAA ABox Abduction Solver(KI - Künstliche Intelligenz: Vol. 34, No. 4, 2020) Pukancová, Júlia; Homola, MartinAAA is a sound and complete ABox abduction solver based on the Reiter’s MHS algorithm and the Pellet reasoner. It supports DL expressivity up to $$\mathcal {SROIQ}$$ SROIQ (i.e., OWL 2). It supports multiple observations, and allows to specify abducibles.
- 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.