Actions and Programs over Description Logic Ontologies Diego Calvanese1 , Giuseppe De Giacomo2 , Maurizio Lenzerini2 , Riccardo Rosati2

First Page		Document Content
Date: 2007-05-22 01:39:22 Science Data Semantic Web Technical communication Knowledge representation Tbox Abox Description logic Ontology Information Information science		Actions and Programs over Description Logic Ontologies Diego Calvanese1 , Giuseppe De Giacomo2 , Maurizio Lenzerini2 , Riccardo Rosati2 Add to Reading List Source URL: www.ceur-ws.org Download Document from Source Website File Size: 225,38 KB Share Document on Facebook

	On Prototypes for Winslett’s Semantics of DL-Lite ABox Evolution Evgeny Kharlamov, and Dmitriy Zheleznyakov KRDB Research Centre, Free University of Bozen-Bolzano, Italy Abstract. Evolution of Kn DocID: 1tjLM - View Document
	Practical ABox cleaning in DL-Lite (progress report) Giulia Masotti, Riccardo Rosati, Marco Ruzzi Dipartimento di Informatica e Sistemistica “Antonio Ruberti” Sapienza Universit`a di Roma Via Ariosto 25, IRoma DocID: 1thJW - View Document
	Proc. 23rd Int. Workshop on Description Logics (DL2010), CEUR-WS 573, Waterloo, Canada, Towards Soundness Preserving Approximation for ABox Reasoning of OWL2 Yuan Ren, Jeff Z. Pan and Yuting Zhao Department of Com DocID: 1t8CS - View Document
	Tractable Reasoning and Efficient Query Answering in Description Logics: The DL-Lite Family Diego Calvanese Faculty of Computer Science Free University of Bozen-Bolzano Piazza Domenicani 3 DocID: 1r5sN - View Document
	Computed Knowledge Base for Description of Information Resources of Water Spectroscopy Alexander Fazliev1, Alexey Privezentsev1, Dmitry Tsarkov2, and Jonathan Tennyson3 1 Institute of Atmospheric Optics SB RAS, Zuev Squ DocID: 1qCnk - View Document