28 citations · 90 across the 14 of their papers we have counts for
Showing cs.PLShow all
2 papers · 1 filter
cs.PL2019
Type Checking Program Code using SHACL (Extended Version)
Martin Leinberger, Philipp Seifer, Claudia Schon +2
It is a strength of graph-based data formats, like RDF, that they are very flexible with representing data. To avoid run-time errors, program code that processes highly-flexible da…
cs.PL2019★ 4 cited
Semantic Query Integration With Reason
Philipp Seifer, Martin Leinberger, Ralf Lämmel +1
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 sp…