The AAA ABox Abduction Solver
Zusammenfassung
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.
- Vollständige Referenz
- BibTeX
Pukancová, J. & Homola, M.,
(2020).
The AAA ABox Abduction Solver.
KI - Künstliche Intelligenz: Vol. 34, No. 4.
Springer.
(S. 517-522).
DOI: 10.1007/s13218-020-00685-4
@article{mci/Pukancová2020,
author = {Pukancová, Júlia AND Homola, Martin},
title = {The AAA ABox Abduction Solver},
journal = {KI - Künstliche Intelligenz},
volume = {34},
number = {4},
year = {2020},
,
pages = { 517-522 } ,
doi = { 10.1007/s13218-020-00685-4 }
}
author = {Pukancová, Júlia AND Homola, Martin},
title = {The AAA ABox Abduction Solver},
journal = {KI - Künstliche Intelligenz},
volume = {34},
number = {4},
year = {2020},
,
pages = { 517-522 } ,
doi = { 10.1007/s13218-020-00685-4 }
}
Sollte hier kein Volltext (PDF) verlinkt sein, dann kann es sein, dass dieser aus verschiedenen Gruenden (z.B. Lizenzen oder Copyright) nur in einer anderen Digital Library verfuegbar ist. Versuchen Sie in diesem Fall einen Zugriff ueber die verlinkte DOI: 10.1007/s13218-020-00685-4
Haben Sie fehlerhafte Angaben entdeckt? Sagen Sie uns Bescheid: Feedback abschicken
Mehr Information
ISSN: 1610-1987
Datum: 2020
Typ: Text/Journal Article