Tbox - PDFSEARCH.IO - Document Search Engine

Tbox
Results: 70

#	Item
51	On conjunctive query answering in EL Riccardo Rosati Dipartimento di Informatica e Sistemistica Universit`a di Roma “La Sapienza” Via Salaria 113, 00198 Roma, Italy [removed] Add to Reading List Source URL: www.ceur-ws.org Language: English - Date: 2007-05-22 01:39:22 Database theory Mathematics Datalog Mathematical logic FO Modal logic Tbox Rewriting Theoretical computer science Logic Conjunctive query
52	Action Based ABox Update: an Example from the Chemical Compound Formulation Alessandro Mosca, Matteo Palmonari Department of Computer Science, Systems and Communication (DISCo) University of Milano-Bicocca via Bicocca de Add to Reading List Source URL: www.ceur-ws.org Language: English - Date: 2007-05-22 01:39:22 Tbox Linguistics Compounding Symbol Compound E Chemistry Chemical substance Mathematics Ontology Abox Science
53	On Importing Knowledge from DL Ontologies: some intuitions and problems Alex Borgida Dept. of Computer Science, Rutgers University, New Brunswick, NJ, USA Abstract. This paper argues for the benefits of distinguishing th Add to Reading List Source URL: www.ceur-ws.org Language: English - Date: 2007-05-22 01:39:22 Information Ontology Technical communication Knowledge Semantic Web Upper ontology Tbox Completeness Description logic Knowledge representation Information science Science
54	Multimedia Interpretation as Abduction S. Espinosa Peraldi, A. Kaya, S. Melzer, R. M¨oller, M. Wessel Hamburg University of Technology, Germany Abstract. In this work we present an approach to interpret information extr Add to Reading List Source URL: www.ceur-ws.org Language: English - Date: 2007-05-22 01:39:22 Science Knowledge Charles Sanders Peirce Abductive reasoning Epistemology Critical thinking Abox Tbox Inference Logic Reasoning Ontology
55	Distributed Description Logics Revisited Martin Homola Comenius University, Bratislava, Slovakia, Faculty of Mathematics, Physics and Informatics, [removed] Add to Reading List Source URL: www.ceur-ws.org Language: English - Date: 2007-05-22 01:39:22 Science Information science Knowledge representation Technical communication Tbox Information Semantic Web Ontology
56	Induction of Optimal Semi-distances for Individuals based on Feature Sets Nicola Fanizzi, Claudia d’Amato, Floriana Esposito LACAM – Dipartimento di Informatica – Universit`a degli Studi di Bari Campus Universitari Add to Reading List Source URL: www.ceur-ws.org Language: English - Date: 2007-05-22 01:39:22 Science Mathematics Artificial intelligence Semantic similarity Description logic Natural logarithm Tbox Similarity Concept learning Ontology Geometry Computational linguistics
57	Optimizing Tableau Reasoning in ALC Extended with Uncertainty Add to Reading List Source URL: www.ceur-ws.org Language: English - Date: 2007-05-22 01:39:22 Mind Reasoning Thought Abox Tbox Mathematical optimization Epistemology Description logic Reason Science Ontology Knowledge
58	Blocking Automata for PSpace DLs Franz Baader1 , Jan Hladik1 , and Rafael Pe˜ naloza2? 1 Theoretical Computer Science, TU Dresden, Germany Add to Reading List Source URL: www.ceur-ws.org Language: English - Date: 2007-05-22 01:39:22 Tree automaton Tree PSPACE-complete Tbox Automata theory Theoretical computer science Computer science
59	A New Mapping from ALCI to ALC Yu Ding and Volker Haarslev and Jiewen Wu Concordia University, Montreal, Quebec, Canada {ding yu\|haarslev\|w jiewen}@cse.concordia.ca 1 Add to Reading List Source URL: www.ceur-ws.org Language: English - Date: 2007-05-22 01:39:22 Modal logic Philosophical logic Abox Tbox Description logic Hybrid logic Logic Non-classical logic Ontology
60	Modularity in DL-Lite Roman Kontchakov1 , Frank Wolter2 , and Michael Zakharyaschev1 1 School of Computer Science and Information Systems, Birkbeck College, London, {roman,michael}@dcs.bbk.ac.uk Add to Reading List Source URL: www.ceur-ws.org Language: English - Date: 2007-05-22 01:39:22 Logic Information Group theory Abox Tbox Parity of a permutation Conservative extension Structure Ontology Mathematics Model theory