Abox - PDFSEARCH.IO - Document Search Engine

Abox
Results: 87

#	Item
11	Microsoft PowerPoint - A-BOA-1.0.ppt Add to Reading List Source URL: software.ucv.ro Language: English - Date: 2012-07-04 02:41:05 Ontology Semantic Web Information science Knowledge representation Knowledge engineering Information Computing Abox Web Ontology Language Tbox
12	The Combined Approach to OBDA: Taming Role Hierarchies using Filters ˙ Carsten Lutz1 , Inan¸ c Seylan1 , David Toman2 , and Frank Wolter3 1 Add to Reading List Source URL: www.informatik.uni-bremen.de Language: English - Date: 2013-09-04 06:33:09 Tbox Ontology Abox Valuation
13	Tractable Ontological Stream Reasoning Jeﬀ Z. Pan University of Aberdeen Add to Reading List Source URL: dream.inf.ed.ac.uk Language: English - Date: 2013-04-25 04:28:39 Knowledge representation Knowledge engineering Artificial intelligence Reasoning Abox Semantic reasoner Tbox Ontology Semantic Web Information
14	Ontology-Based Data Access with Closed Predicates is Inherently Intractable (Sometimes) ˙ Carsten Lutz and Inanc ¸ Seylan Fachbereich Informatik Add to Reading List Source URL: www.informatik.uni-bremen.de Language: English - Date: 2013-07-31 11:04:35 Universal algebra Parity of a permutation Abox Mathematics Model theory Structure
15	Ontology-Based Access to Probabilistic Data Jean Christoph Jung and Carsten Lutz Universit¨ at Bremen, Germany {jeanjung,clu}@informatik.uni-bremen.de Add to Reading List Source URL: www.informatik.uni-bremen.de Language: English - Date: 2013-08-01 04:01:12 FO Tbox Inference Probability Knowledge Ontology Logic Abox
16	Applied Artiﬁcial Intelligence, 23:758–788 Copyright © 2009 Taylor & Francis Group, LLC ISSN: printonline DOI: VERIFICATION OF DISTRIBUTED FIREWALLS CONFIGURATION Add to Reading List Source URL: www.csc.kth.se Language: English - Date: 2012-08-01 20:05:41 Mathematical logic Science Data security Distributed firewall Tbox Firewall Abox Axiom Description logic Computer network security Logic Ontology
17	A Family History Knowledge Base in OWL 2 Robert Stevens, Nicolas Matentzoglu, Uli Sattler, and Margaret Stevens School of Computer Science, University of Manchester, Manchester (United Kingdom) {robert.stevens\|Ulrike.sat Add to Reading List Source URL: ceur-ws.org Language: English - Date: 2014-08-07 03:53:36 Science Logic Information science Knowledge representation Reasoning Web Ontology Language Description logic Semantic reasoner Abox Semantic Web Information Ontology
18	Graph-based Ontology Classification in OWL 2 QL Domenico Lembo, Valerio Santarelli, and Domenico Fabio Savo Dipartimento di Ing. Informatica, Automatica e Gestionale “Antonio Ruberti” Sapienza Universit` a di Roma Add to Reading List Source URL: eswc-conferences.org Language: English - Date: 2015-05-13 12:33:38 Science Semantic Web Information science Metalogic Knowledge representation Tbox Web Ontology Language Abox Description logic Logic Ontology Information
19	A KNOWLEDGE BASED FRAMEWORK FOR THE DETECTION OF MEASUREMENT UNCERTAINTIES IN DERIVED SEA SURFACE CURRENT FIELDS Benjamin Seppke1, Leonie Dreschler-Fischer1, Michael Wessel2 and Martin Gade3 1 University of Hamburg, Dep Add to Reading List Source URL: kogs-www.informatik.uni-hamburg.de Language: English - Date: 2010-09-29 11:06:02 Reasoning Ontology Epistemology Branches of philosophy Logical consequence Abox Tbox Description logic Web Ontology Language Logic Science Knowledge
20	Optimal communication vocabularies in the presence of heterogeneous ontologies Jurriaan van Diggelen Robbert Jan Beun Frank Dignum Add to Reading List Source URL: www.cs.uu.nl Language: English - Date: 2004-01-21 10:39:00 Information science Data Technical communication Semantic Web Knowledge representation Cyc Software agent Abox Tbox Ontology Information Science