Please use this identifier to cite or link to this item:
http://hdl.handle.net/2067/41828
Title: | Using Prolog Unification to Solve Non-standard Reasoning Problems in Description Logics | Authors: | Simona Colucci Donini, Francesco Maria |
Journal: | Proceedings of the 9th Italian Convention on Computational Logic | Issue Date: | 2012 | URI: | http://hdl.handle.net/2067/41828 |
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