Extending Forgetting-Based Abduction Using Nominals

Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

103 Downloads (Pure)


Abductive reasoning produces hypotheses to explain new observations with respect to some background knowledge. This paper focuses on ABox abduction in ontologies, where knowledge is expressed in description logics and both the observations and hypotheses are ground statements. The input is expressed in the description logic ALC and the observation can contain any set of ALC concept or role assertions. The proposed approach uses forgetting to produce hypotheses in the form of a disjunctive set of axioms, where each disjunct is an independent explanation for the observation and the overall hypothesis is semantically minimal, i.e., makes the least assumptions required. Previous work on forgetting-based abduction is combined with the semantic forgetting method of the system FAME. The hypotheses produced are expressed in an extension of ALC which uses nominals, role inverses and fixpoints: ALCOImu(toprole). This combination overcomes the inability of the existing forgetting-based approach to allow role assertions in observations and hypotheses, and enables the computation of other previously unreachable hypotheses. An experimental evaluation is performed using a prototype implementation of the method on a corpus of real world ontologies.
Original languageEnglish
Title of host publicationFrontiers of Combining Systems: FroCoS 2019
PublisherSpringer Nature
Publication statusPublished - 2019

Publication series

NameLecture Notes in Computer Science


Dive into the research topics of 'Extending Forgetting-Based Abduction Using Nominals'. Together they form a unique fingerprint.

Cite this