Abox - PDFSEARCH.IO - Document Search Engine

Abox
Results: 87

#	Item
71	Planning in Action Formalisms based on DLs: First Results Maja Miliˇci´c Institut f¨ ur Theoretische Informatik TU Dresden, Germany Add to Reading List Source URL: www.ceur-ws.org Language: English - Date: 2007-05-22 01:39:22 Abox Sheaf Constructible universe Mathematics Algebraic topology FO Finite model theory
72	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
73	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
74	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
75	Consistent Query Answering over Description Logic Ontologies? Domenico Lembo and Marco Ruzzi Dipartimento di Informatica e Sistemistica, Sapienza Universit`a di Roma lembo,[removed] Add to Reading List Source URL: www.ceur-ws.org Language: English - Date: 2007-05-22 01:39:22 Ontology Semantic Web Information science Knowledge representation Abox Knowledge engineering Web Ontology Language Description logic Conjunctive query Logic Information Science
76	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
77	Partitioning ABoxes Based on Converting DL to Plain Datalog Jianfeng Du1,2 and Yi-Dong Shen1 1 2 Add to Reading List Source URL: www.ceur-ws.org Language: English - Date: 2007-05-22 01:39:22 Logic Datalog Partition of a set Inference Abox Derived row Partition Mathematics Combinatorics Data management
78	Pinpointing in the Description Logic EL Franz Baader1, Rafael Pe˜ naloza2⋆ , and Boontawee Suntisrivaraporn1 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 Ontology Mathematical logic Abox Function Tbox Algorithm Axiom Boolean satisfiability problem Time complexity Mathematics Theoretical computer science Applied mathematics
79	Data Complexity in the EL family of DLs Adila Krisnadhi1 and Carsten Lutz2 1 2 Add to Reading List Source URL: www.ceur-ws.org Language: English - Date: 2007-05-22 01:39:22 Tbox FO Ontology Abox Conjunctive query
80	Model Checking of Restricted CTL* formulas using ALCKR+ Taufiq Rochaeli and Claudia Eckert Department of Computer Science Technische Universitt Darmstadt {rochaeli,eckert}@sec.informatik.tu-darmstadt.de Add to Reading List Source URL: www.ceur-ws.org Language: English - Date: 2007-05-22 01:39:22 Temporal logic Semantics Ontology Linear temporal logic CTL* Kripke semantics Abox Tbox Interpretation Logic Mathematical logic Philosophy of language