Using Prolog unification to solve non-standard reasoning problems in Description Logics
The 9th Italian Convention on Computational Logic (CILC 2012) - -2012Authors
Colucci Simona,
Donini Francesco M. Download: ColucciDonini.pdfDOI
https://doi.org/10.2498/cit.2003.03.10BibTex references
@InProceedings{CD12a,
author = "Colucci, Simona and Donini, Francesco M.",
title = "Using Prolog unification to solve non-standard reasoning problems in Description Logics",
booktitle = "The 9th Italian Convention on Computational Logic (CILC 2012)",
year = "2012",
note = "to appear",
url = "http://sisinflab.poliba.it/Publications/2012/CD12a"
}