A descriptive type foundation for RDF Schema

Abstract

This paper provides a type theoretic foundation for descriptive types that appear in Linked Data. Linked Data is data published on the Web according to principles and standards supported by the W3C. Such Linked Data is inherently messy: this is due to the fact that instead of being assigned a strict a priori schema, the schema is inferred a posteriori. Moreover, such a posteriori schema consists of opaque names that guide programmers, without prescribing structure. We employ what we call a descriptive type system for Linked Data. This descriptive type system differs from a traditional type system in that it provides hints or warnings rather than errors and evolves to describe the data while Linked Data is discovered at runtime. We explain how our descriptive type system allows RDF Schema inference mechanisms to be tightly coupled with domain specific scripting languages for Linked Data, enabling an interactive feedback to Web developers.

Semantic Web Technologies and Machine Learning: A Conjoined Silver Bullet for Big Data

“…RDF and RDFS are often used interchangeably in many literature, however, there is a distinct dichotomy between them. While RDF is a data model represented as a triple in the form of subject, predicate, and object, RDFS is a representational language consisting of vocabularies for describing resources 34,35 with several variations including RDFS++, and RDFa 30,36 . A formal description of RDF can help one further appreciate its nitty-gritty.…”

Application of the Financial Industry Business Ontology (FIBO) for development of a financial organization ontology

“…Such languages as RDFS [6] and OWL [7] were developed within the Semantic Web framework. These languages have different capabilities facilitating creation of detailed concept descriptions and performance of logical inference.…”