Loom: Basic Concepts Thomas A. Russ U S C

First Page		Document Content
Date: 2009-06-12 15:14:07 Abox Tbox Function Ontology Mathematics Functions and mappings		Loom: Basic Concepts Thomas A. Russ U S C Add to Reading List Source URL: www.isi.edu Download Document from Source Website File Size: 323,49 KB Share Document on Facebook

	Proc. 23rd Int. Workshop on Description Logics (DL2010), CEUR-WS 573, Waterloo, Canada, TBox Classification in Parallel: Design and First Evaluation Mina Aslani and Volker Haarslev Concordia University, Montreal, DocID: 1tleS - View Document
	Proc. 23rd Int. Workshop on Description Logics (DL2010), CEUR-WS 573, Waterloo, Canada, Structure Preserving TBox Repair Using Defaults Thomas Scharrenbach1 , Rolf Gr¨ utter1 , Bettina Waldvogel1 , and Abraham DocID: 1thKg - View Document
	Soundness Preserving Approximation for TBox Reasoning in R Ren Yuan, Jeff Z. Pan and Yuting Zhao Dept. of Computing Science, University of Aberdeen King’s College, Aberdeen AB24 3FX, UK DocID: 1t8SI - 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