Reification, Polymorphism and Reuse: Three Principles for Designing Visual Interfaces Michel Beaudouin-Lafon and Wendy E. Mackay University of Aarhus, Department of Computer Science Aabogade 34 DK-8200 Aarhus N - Denmark

Source URL: www.lri.fr

Intuition before Formalism References June 23, 2015 Relational post conditions: [Flo67, dBS69, Hoa69, Jon73, Jon80, Acz82, Jon86] Data abstraction/reification: [Luc68, Jon70, Jon80, Jon86, Mar86, Nip86, Jon07] Tool suppo

Source URL: homepages.cs.ncl.ac.uk

• Software engineering
• Computer science
• Theoretical computer science
• Formal methods
• Fellows of the British Computer Society
• Logic in computer science
• Cliff Jones
• Dines Bjrner
• Models of computation
• Vienna Development Method
• David Gries
• Formal Aspects of Computing

Constructing Geo-Ontologies by Reification of Observation Data Benjamin Adams Krzysztof Janowicz

Source URL: geog.ucsb.edu

• Knowledge representation
• Computing
• Semantic Web
• Information science
• Ontology
• Information
• Knowledge engineering
• Web Ontology Language
• Semantic similarity
• Resource Description Framework
• Frame language
• Reification

Under consideration for publication in Math. Struct. in Comp. Science On the Reification of Semantic Linearity M A R C O G A B O A R D I1,3 , L U C A P A O L I N I2 1 2

Source URL: www.cs.unibo.it

POLICY FORUM MEDICINE Race and Reification in Science Troy Duster

Source URL: sociology.fas.nyu.edu

• Population genetics
• Kinship and descent
• Social inequality
• Race
• Genetic genealogy
• Isosorbide dinitrate/hydralazine
• Social interpretations of race
• Health equity
• Historical race concepts
• Medicine
• Biology
• Health

The Semantic Web and an Introduction to RDF Thomas Krichel August 8, 2002 Abstract The semantic web is an effort promoted by the World Wide Web Consortium (W3C) to make more

Source URL: eprints.rclis.org

• World Wide Web Consortium
• Resource Description Framework
• RDF Schema
• Resource
• Blank node
• Reification
• Versa
• RDFLib
• Semantic Web Stack
• Semantic Web
• Computing
• Web standards

Model for Collaborative Decision Making Based on RDF Reification Dmitry Borodaenko Abstract. This paper presents a novel approach to online collaboration

Source URL: samizdat.nongnu.org

• RDF Schema
• Reification
• Resource
• Resource Description Framework
• Semantic Web
• Computing
• World Wide Web

Specification of a Reification Extension for SPARQL Olaf Hartig May 7, 2012 Abstract This document defines an extension for SPARQL that adds support for accessing RDF reification

Source URL: www.blazegraph.com

• World Wide Web Consortium
• Query languages
• Semantic Web
• Knowledge representation
• SPARQL
• RDF Schema
• RDF query language
• Reification
• RDFLib
• RDF
• Computing
• Web standards

Case Studies in Systematic Software Development

Source URL: homepages.cs.ncl.ac.uk

• Vienna Development Method
• Dines Bjørner
• Cliff Jones
• Formal specification
• Software development process
• Reification
• Abstraction
• Meta-IV
• Formal methods
• Software development
• Computing

SYSTEMATIC SOFTWARE DEVELOPMENT USING VDM SECOND EDITION SYSTEMATIC SOFTWARE

Source URL: homepages.cs.ncl.ac.uk

• Technology
• Formal specification
• Specification language
• Specification
• Functional specification
• Software development process
• Reification
• Abstraction
• Vienna Development Method
• Formal methods
• Software development
• Science