A Tableaux-based calculus for Abduction in Expressive Description Logics: Preliminary Results

A Tableaux-based calculus for Abduction in Expressive Description Logics: Preliminary Results

22nd International Workshop on Description Logics (DL 2009) - -2009

Authors

Di Noia Tommaso, Di Sciascio Eugenio, Donini Francesco M.

Download: Di_Noia_et_al_dl_09.pdf

DOI

https://doi.org/10.1007/978-3-662-49224-6_19

BibTex references

@InProceedings{DDD09,
  author       = "Di Noia, Tommaso and Di Sciascio, Eugenio and Donini, Francesco M.",
  title        = "A Tableaux-based calculus for Abduction in Expressive Description Logics: Preliminary Results",
  booktitle    = "22nd International Workshop on Description Logics (DL 2009)",
  series       = "CEUR Workshop Proceedings",
  volume       = "477",
  year         = "2009",
  url          = "http://sisinflab.poliba.it/Publications/2009/DDD09"

}