Abox - PDFSEARCH.IO - Document Search Engine

Abox
Results: 87

#	Item
61	The Erlangen CRM. An OWL DL ontology for the practical use of the CIDOC CRM. Georg Hohmann Germanisches Nationalmuseum Department of Cultural and Museum Informatics Add to Reading List Source URL: files.meetup.com Language: English - Date: 2012-07-14 06:26:20 Information Semantic Web Information science Technical communication CIDOC Conceptual Reference Model International Council of Museums Formal ontology UMBEL Abox Ontology Knowledge representation Science
62	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
63	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
64	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
65	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
66	Alexey Kletsel Abox Logo The guide on using the logo Press: Add to Reading List Source URL: www.kletsel.com Language: English - Date: 2014-04-27 04:53:55 Logo Ontology Abox Communication design
67	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
68	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
69	PDF Document Add to Reading List Source URL: www.inf.unibz.it Language: English - Date: 2011-09-08 09:53:47 MusiCares Person of the Year Modal logic Ontology Autoepistemic logic Description logic Relational algebra Science Abox Information Logic Grammy Legend Award Luciano Pavarotti
70	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