Tableau-Based ABox Abduction for the ALCHO Description Logic

@inproceedings{Pukancov2017TableauBasedAA,
  title={Tableau-Based ABox Abduction for the ALCHO Description Logic},
  author={J{\'u}lia Pukancov{\'a} and Martin Homola},
  booktitle={Description Logics},
  year={2017}
}
Abduction is a useful decision problem that is related to diagnostics. Given some observation in form of a set of axioms, that is not entailed by a knowledge base, we are looking for explanations, sets of axioms, that can be added to the knowledge base in order to entail the observation. ABox abduction limits both observations and explanations to ABox assertions. In this work we focus on direct tableau-based approach to answer ABox abduction. We develop an ABox abduction algorithm for the ALCHO… CONTINUE READING

Citations

Publications citing this paper.

References

Publications referenced by this paper.
SHOWING 1-10 OF 16 REFERENCES

Similar Papers