Please use this identifier to cite or link to this item:
http://hdl.handle.net/2067/35398
Title: | Inverting Subsumption for Constructive Reasoning | Authors: | Simona Colucci Donini, Francesco Maria |
Journal: | Proceedings of the 2012 International Workshop on Description Logics, DL-2012 | Issue Date: | 2012 | URI: | http://hdl.handle.net/2067/35398 |
Appears in Collections: | D1. Contributo in Atti di convegno |
Show full item record
All documents in the "Unitus Open Access" community are published as open access.
All documents in the community "Prodotti della Ricerca" are restricted access unless otherwise indicated for specific documents