Sie sind hier

A universe of types

An claim made quite often is that types in RDF and the Semantic Web differ fundamentally from the types as they exist in programming languages. The claim is usually aimed towards the way modern, existing languages treat data types. In this talk, we want to investigate whether this claim also exists on a theoretic level. We're therefore looking at a theoretic model of types in programming languages based on a universe of values and sets in this universe. We take a look at the values in this universe and how Semantic Web data could be represented in it. Afterwards, we are taking a look at Formal Concept Analysis, RDF and OWL and check how these type their values.

21.05.2015 - 10:15
B 017