Semantic Web Application Development with LITEQ

Leinberger, Martin; Scheglmann, Stefan; Lämmel, Ralf; Staab, Steffen; Thimm, Matthias; Viegas, Evelyne

doi:10.1007/978-3-319-11915-1_14

Cited by 12 publications

(9 citation statements)

References 12 publications

(16 reference statements)

Supporting

Mentioning

Contrasting

Unclassified

Order By: Relevance

“…Active-RDF has been an early proposal for handling Semantic Web data -however, without exploiting ontological information in the programming environment and not exploiting typing environment [8]. Modern approaches reuse ontological knowledge for helping the developer and the stability of the resulting programm [7].…”

Section: Definining Interaction With Linked Datamentioning

confidence: 99%

The semantic web

Staab

2015

Proceedings of the 7th ACM SIGCHI Symposium on Engineering Interactive Computing Systems

Self Cite

View full text Add to dashboard Cite

When developing user interfaces for interacting with data and content one typically assumes that one knows the type of data and one knows how to interact with such type of data. The core idea of the Semantic Web is that data is self-describing, which implies from a data consumer's point of view that its semantics is not designed and described according to its use, but according to possibly orthogonal concerns of a data publisher and that its usage semantics emerges over time. The ensued flexibility is one of the greatest assets of the Semantic Web, but it also severely handicaps intelligent interaction with its data.

show abstract

Section: Definining Interaction With Linked Datamentioning

confidence: 99%

The semantic web

Staab

2015

Proceedings of the 7th ACM SIGCHI Symposium on Engineering Interactive Computing Systems

Self Cite

View full text Add to dashboard Cite

show abstract

“…Approaches that create mappings between ontologies and, for example, the object model of object oriented languages, can offer at least some form of verification. Existing mapping frameworks include ActiveRDF [38], Alibaba [52], Owl2Java [27], Jastor [51], RDFReactor [45], OntologyBeanGenerator [1], Àgogo [41] and LITEQ [31]. However, mapping approaches come with their own set of limitations.…”

Section: Rdf and Ontology Integrationmentioning

confidence: 99%

“…Type providers [12,31,50] follow a goal similar to ScaSpa-bridging the gap between programming language and information sources. Compared to more naive mapping approaches, type providers are not directly limited by the size of the data source (types can usually be created lazily, when needed) and do not necessarily cause a runtime overhead, since provided types can be erased.…”

Section: Language Extensionmentioning

confidence: 99%

Semantic Query Integration With Reason

et al. 2019

Self Cite

View full text Add to dashboard Cite

Graph-based data models allow for flexible data representation. In particular, semantic data based on RDF and OWL fuels use cases ranging from general knowledge graphs to domain specific knowledge in various technological or scientific domains. The flexibility of such approaches, however, makes programming with semantic data tedious and error-prone. In particular the logics-based data descriptions employed by OWL are problematic for existing error-detecting techniques, such as type systems. In this paper, we present DOTSpa, an advanced integration of semantic data into programming. We embed description logics, the logical foundations of OWL, into the type checking process of a statically typed programming language and provide typed data access through an embedding of the query language SPARQL. In addition, we demonstrate a concrete implementation of the approach, by extending the Scala programming language. We qualitatively compare programs using our approach to equivalent programs using a state-of-the-art library, in terms of how both frameworks aid users in the handling of typical failure scenarios. ACM CCS 2012Theory of computation → Type structures;

show abstract

“…The focus is on transforming conceptual statements into types of the programming language. Frameworks include ActiveRDF [29], Alibaba 11 , Owl2Java [21], Jastor 12 , RDFReactor 13 , OntologyBeanGenerator 14 , Àgogo [31] and LITEQ [26]. However, mapping approaches are problematic for semantic data.…”

Section: Related Workmentioning

confidence: 99%

The Essence of Functional Programming on Semantic Data

Leinberger

Lämmel

Staab

2017

Programming Languages and Systems

Self Cite

View full text Add to dashboard Cite

Abstract. Semantic data fuels many different applications, but is still lacking proper integration into programming languages. Untyped access is error-prone. Mapping approaches cannot fully capture the conceptualization of semantic data. In this paper, we present λDL, a typed λ-calculus with constructs for operating on semantic data. This is achieved by the integration of description logics into the λ-calculus for both typing and data access or querying. The language is centered around several key design principles, in particular: (1) the usage of semantic conceptualizations as types, (2) subtype inference for these types, and (3) type-checked query access to the data by both ensuring the satisfiability of queries as well as typing query results precisely. The paper motivates the use of a designated type system for semantic data and it provides the theoretic foundation for the integration of description logics as well as the core formal definition of λDL including a proof of type safety.

show abstract

Semantic Web Application Development with LITEQ

Cited by 12 publications

References 12 publications

The semantic web

The semantic web

Semantic Query Integration With Reason

The Essence of Functional Programming on Semantic Data

Contact Info

Product

Resources

About