Inverting Subsumption for Constructive Reasoning

25th International Workshop on Description Logics (DL 2012) - 2012
Download the publication : main.pdf [166Ko]  

BibTex references


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

Other publications in the database

SisInf Lab - Information Systems Laboratory

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