Pukancová, JúliaHomola, Martin2021-04-232021-04-2320202020http://dx.doi.org/10.1007/s13218-020-00685-4https://dl.gi.de/handle/20.500.12116/36334AAA 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.AbductionDescription logicsImplementationText/Journal Article10.1007/s13218-020-00685-41610-1987