Tbox - PDFSEARCH.IO - Document Search Engine

Tbox
Results: 70

#	Item
41	PDF Document Add to Reading List Source URL: korrekt.org Language: English - Date: 2014-07-04 04:01:39 Logic Information Semantic Web Knowledge representation Description logic Information science Abox Tbox Knowledge representation and reasoning Ontology Reasoning Science
42	c:/100_prace/veda/clanky/konference/EJC/preprint09/definitvni/PPV-TR-KSI-09-2.dvi Add to Reading List Source URL: www.ksi.mff.cuni.cz Language: English - Date: 2009-07-13 13:45:25 Semantic Web Science Information science Technical communication Knowledge engineering Web Ontology Language Description logic Relational algebra Tbox Ontology Information Data
43	Translation of Ontology Retrieval Problem into Relational Queries Jaroslav Pokorn´ y1 , Jana Pribolov´ a2 , and Peter Vojt´ aˇs1 Add to Reading List Source URL: sunsite.informatik.rwth-aachen.de Language: English - Date: 2009-06-14 12:49:38 Ontology Database theory Computer languages Relational model Knowledge representation Abox Tbox Data model Relational algebra Data management Information Data
44	PDF Document Add to Reading List Source URL: arxiv.org Language: English - Date: 2014-01-24 17:40:42 Computing Ontology Logic in computer science Mathematical logic Datalog Abox Horn clause Tbox Rewriting Theoretical computer science Query languages Mathematics
45	A SIMPLE APPLICATION OF DESCRIPTION LOGICS FOR A SEMANTIC SEARCH ENGINE Serge Linckels Hasso-Plattner-Institut für Softwaresystemtechnik, University of Potsdam Postfach[removed], D[removed]Potsdam [removed]-potsdam.d Add to Reading List Source URL: www.linckels.lu Language: English - Date: 2013-09-25 04:07:35 Science Knowledge representation Reasoning Information science Abox Tbox Cyc Semantic search Web Ontology Language Ontology Semantic Web Information
46	Ontology-Based Access to Probabilistic Data with OWL QL Jean Christoph Jung and Carsten Lutz Universit¨ at Bremen, Germany {jeanjung,clu}@informatik.uni-bremen.de Add to Reading List Source URL: iswc2012.semanticweb.org Language: English - Date: 2012-10-03 13:31:07 Information Abox Tbox Web Ontology Language FO PP Inference Description logic Probability Logic Ontology Science
47	Representation and Reasoning Description Logics Markus Krötzsch, Dresden University of Technology František Simancˇík, Google Ian Horrocks, Oxford University Add to Reading List Source URL: korrekt.org Language: English - Date: 2014-05-15 03:47:19 Science Data Information science Knowledge representation Knowledge engineering Web Ontology Language Description logic Tbox Abox Ontology Information Semantic Web
48	Reasoning in Description Logics by a Reduction to Disjunctive Datalog Ullrich Hustadt Department of Computer Science, University of Liverpool, Liverpool, UK Boris Motik Add to Reading List Source URL: www.cs.ox.ac.uk Language: English - Date: 2014-06-05 10:16:49 Reasoning Information Programming paradigms Semantic Web Datalog Abox Tbox Description logic Semantic reasoner Logic Science Ontology
49	Adding ABoxes to a Description Logic with Uniqueness Constraints via Path Agreements Vitaliy L. Khizder† , David Toman‡ and Grant Weddell‡ † ‡ Add to Reading List Source URL: www.ceur-ws.org Language: English - Date: 2007-05-22 01:39:22 Science Knowledge Artificial intelligence Abox Tbox Description logic Relational model Modal logic Logic Non-classical logic Ontology
50	2 Basic Description Logics Franz Baader Add to Reading List Source URL: www.inf.unibz.it Language: English - Date: 2011-09-08 09:53:48 Ontology Non-classical logic Philosophical logic Model theory Quantification Description logic Tbox Abox Knowledge representation and reasoning Logic Science Mathematical logic