Logo des Repositoriums
 
Zeitschriftenartikel

The AAA ABox Abduction Solver

Vorschaubild nicht verfügbar

Volltext URI

Dokumententyp

Text/Journal Article

Zusatzinformation

Datum

2020

Autor:innen

Zeitschriftentitel

ISSN der Zeitschrift

Bandtitel

Quelle

KI - Künstliche Intelligenz: Vol. 34, No. 4

Verlag

Springer

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.

Beschreibung

Pukancová, Júlia; Homola, Martin (2020): The AAA ABox Abduction Solver. KI - Künstliche Intelligenz: Vol. 34, No. 4. DOI: 10.1007/s13218-020-00685-4. Springer. PISSN: 1610-1987. pp. 517-522

Schlagwörter

Abduction , Description logics , Implementation

Zitierform

DOI

10.1007/s13218-020-00685-4

Tags

Sammlungen

Künstliche Intelligenz 34(4) - Dezember 2020