(KI - Künstliche Intelligenz: Vol. 34, No. 4, 2020) Pukancová, Júlia; Homola, Martin
AAA 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.
