Auflistung nach Schlagwort "Abduction"
1 - 2 von 2
Treffer pro Seite
Sortieroptionen
- ZeitschriftenartikelAbductive Conjunctive Query Answering w.r.t. Ontologies(KI - Künstliche Intelligenz: Vol. 30, No. 2, 2016) Möller, Ralf; Özçep, Özgür; Haarslev, Volker; Nafissi, Anahita; Wessel, MichaelIn this article we investigate abductive conjunctive query answering w.r.t. ontologies and show how use cases can benefit from this kind of query answering service. While practical reasoning systems such as Racer have supported abductive conjunctive query answering for 10 years now, and many projects have exploited this feature, few publications deal with A-box abduction from an implementation perspective. This article gives a generalized overview on features provided by practical systems and also explains optimization techniques needed to meet practical requirements.
- 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.