Open world assumption - PDFSEARCH.IO - Document Search Engine

Open world assumption
Results: 7

#	Item
1	Verifying an Open Compiler Using Multi-Language Semantics James T. Perconti and Amal Ahmed Northeastern University Abstract. Existing verified compilers are proved correct under a closed-world assumption, i.e., that the Add to Reading List Source URL: www.ccs.neu.edu Language: English - Date: 2014-01-17 22:16:49 Logic Theoretical computer science Automated theorem proving Logic programming Logical truth Propositional calculus Substitution Mathematical logic Security type system Symbol
2	Distributed Affordance: An Open-World Assumption for Hypermedia Ruben Verborgh Michael Hausenblas Add to Reading List Source URL: distributedaffordance.org Language: English - Date: 2013-12-19 08:28:22 Motor control Information science Affordance Bias Usability James J. Gibson Representational state transfer Adaptive hypermedia Hypermedia Human–computer interaction Hypertext Computing
3	RDF graphs to be enhanced by declaring semantic constraints between classes and properties. Such constraints are interpreted under the open-world assumption [2], propagating instances from one relationship to another. Fo Add to Reading List Source URL: eprints.soton.ac.uk Language: English - Date: 2014-01-20 11:27:26 Data Business intelligence Formal sciences Knowledge representation Metadata Linked data Resource Description Framework Data warehouse Big data Semantic Web Data management Information
4	Open and Closed World Assumptions in Data Exchange Leonid Libkin1 and Cristina Sirangelo2 1 School of Informatics, University of Edinburgh Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2009-09-16 09:05:50 Computing Database management systems Conjunctive query Closed world assumption Data exchange SQL Null Database Structure Data management Database theory Data
5	Ontology-based Data Access a.k.a. Queries and the Open World Assumption David Toman D. R. Cheriton School of Computer Science D. Toman (Waterloo) Add to Reading List Source URL: www.nii.ac.jp Language: English - Date: 2010-03-15 22:47:10 Ontology Information Science Knowledge Semantic Web FO Finite model theory
6	Distributed Affordance: An Open-World Assumption for Hypermedia Ruben Verborgh Michael Hausenblas Add to Reading List Source URL: telemedicina.unifesp.br Language: English - Date: 2013-04-29 12:11:00 Motor control Information science Affordance Bias Usability James J. Gibson Representational state transfer Adaptive hypermedia Hypermedia Human–computer interaction Hypertext Computing
7	Webs of Belief and Chains of Trust Semantics and Agency in a World of Connected Things Pete Rai – Cisco-SPVSS There is a common conviction that, in order to facilitate the future world of connected things, we simply ne Add to Reading List Source URL: www.w3.org Language: English - Date: 2014-05-10 13:44:39 SQL keywords Theories of truth Grammar Predicate Semantics Normative Property Open world assumption Truth Philosophy Logic Metaphysics

UPDATE