Using Prolog unification to solve non-standard reasoning problems in Description Logics

The 9th Italian Convention on Computational Logic (CILC 2012) - 2012
Download the publication : ColucciDonini.pdf [210Ko]  

BibTex references


@InProceedings{CD12a,
author = {Simona Colucci and Francesco M. Donini},
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"
}

Other publications in the database

SisInf Lab - Information Systems Laboratory

Research group of Politecnico di Bari
Edoardo Orabona St, 4 Bari, Italy