Incompleteness-aware programming with RDF data

It is becoming common to publish data on theWeb by using semantic technologies like RDF as a flexible formalism for structured data representation. In particular, industrial and governmental authorities have started to publish open data in RDF; see, for example, the governmental data collection project1 and Wikidata2 (i.e., the semantic data representation of Wikipedia). The publication and integration of RDF data relies on the Linked Data principles [7], which describe simple, best practices for using RDF, identifiers (URIs), and protocols (HTTP) for exposing, sharing, connecting, and consuming data on the Web.

[1]  Gilad Bracha,et al.  Modularity meets inheritance , 1992, Proceedings of the 1992 International Conference on Computer Languages.

[2]  Benedict R. Gaster,et al.  A Polymorphic Type System for Extensible Records and Variants , 1996 .

[3]  Neal Glew.  Type dispatch for named hierarchical types , 1999, ICFP '99.

[4]  Ralf Lämmel,et al.  Strategic programming meets adaptive programming , 2003, AOSD '03.

[5]  Simon L. Peyton Jones,et al.  Scrap your boilerplate: a practical design pattern for generic programming , 2003, TLDI '03.

[6]  Ralf Lämmel,et al.  Strongly typed heterogeneous collections , 2004, Haskell '04.

[7]  K. Rustan M. Leino,et al.  Object Invariants in Dynamic Contexts , 2004, ECOOP.

[8]  Boaz Patt-Shamir,et al.  Traversals of object structures: Specification and Efficient Implementation , 2004, TOPL.

[9]  Gavin M. Bierman,et al.  The Essence of Data Access in Comega , 2005, European Conference on Object-Oriented Programming.

[10]  Wolfram Schulte,et al.  The essence of data access in Cω: the power is in the dot! , 2005 .

[11]  Erik Meijer,et al.  Confessions of a used programming language salesman , 2007, OOPSLA.

[12]  Stephan Herrmann,et al.  A precise model for contextual roles: The programming language ObjectTeams/Java , 2007, Appl. Ontology.

[13]  Itay Maman,et al.  Whiteoak: introducing structural typing into java , 2008, OOPSLA.

[14]  Jörg Kienzle,et al.  Exceptional Transformations , 2010, ICMT@TOOLS.

[15]  Tom Heath,et al.  Linked Data: Evolving the Web into a Global Data Space , 2011, Linked Data.

[16]  Jordi Cabot,et al.  Theory and Practice of Model Transformations , 2011, Lecture Notes in Computer Science.

[17]  Tim Berners-Lee,et al.  Linked data , 2020, Semantic Web for the Working Ontologist.

[18]  Denny Vrandecic,et al.  Zhi# - OWL Aware Compilation , 2011, ESWC.

[19]  Malte Knauf,et al.  Explicit and Implicit Schema Information on the Linked Open Data Cloud: Joined Forces or Antagonists? , 2012 .

[20]  Steffen Staab,et al.  SchemEX - Efficient construction of a data catalogue by stream-based indexing of linked data , 2012, J. Web Semant..