Type-Safe Programming with OWL in Semantics4J

Abstract

Programming with OWL is error-prone due to the lack of type-safe integration into programming languages. While generic types such as Resource can represent anything the data can model, they make it impossible to errorcheck programs. Mapping ontological concepts into types of the programming language on the other hand often cannot capture the ontology… (More)

Topics

1 Figure or Table

Slides referencing similar topics