Type-Safe Programming with OWL in Semantics4J.

Carsten Hartenfels Martin Leinberger Ralf Lämmel Steffen Staab

Published in: ISWC (Posters, Demos & Industry Tracks) (2017)

Keyphrases

open world
programming language
owl ontologies
logic programming
database systems
knowledge representation
knowledge representation language
semantic web
conceptual model
object oriented programming language
software engineering
data model
semantic information
programming environment