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

First Page		Document Content
Date: 2008-11-27 08:56:04 Computing Ontology Information science Information Semantic Web Knowledge representation Artificial intelligence Description logic Web Ontology Language Tbox Abox Conjunctive query		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 Add to Reading List Source URL: exmo.inria.fr Download Document from Source Website File Size: 478,47 KB Share Document on Facebook

	Fabienne Martin, Dennis Spohr, Achim Stein Representing a Resource of Formal Lexical-Semantic Descriptions in the Web Ontology Language This paper presents an approach to disambiguating verb senses which DocID: 1tqt7 - View Document
	Conférence TIA-2007, Sophia Antipolis, 8-9 octobreTermExtractor: a Web Application to Learn the Common Terminology of Interest Groups and Research Communities Francesco Sclano, Paola Velardi DocID: 1ru0z - View Document
	Generating Ontologies via Language Components and Ontology Reuse Yihong Ding1 , Deryle Lonsdale2 , David W. Embley1 , Martin Hepp3 , and Li Xu4 1 DocID: 1rtMj - View Document
	Microsoft Word - ProdLight-BIS2007-lncs.doc DocID: 1rt9m - View Document
	Visualizing the Evolution of Ontologies: A Dynamic Graph Perspective Michael Burch1 and Steffen Lohmann2 1 VISUS, University of Stuttgart, Germany DocID: 1rt8K - View Document