Inverting Subsumption for Constructive Reasoning
25th International Workshop on Description Logics (DL 2012) - -2012Authors
Colucci Simona,
Donini Francesco M. Download: main.pdfDOI
https://doi.org/10.1007/978-3-319-70169-1_18BibTex references
@InProceedings{CD12,
author = "Colucci, Simona and Donini, Francesco M.",
title = "Inverting Subsumption for Constructive Reasoning",
booktitle = "25th International Workshop on Description Logics (DL 2012) ",
year = "2012",
publisher = "CEUR",
note = "to appear",
url = "http://sisinflab.poliba.it/Publications/2012/CD12"
}