Philipp Seifer

14 papers A* 1B 1Misc 1Journal 7Unranked 4
YearRankTypeTitle / Venue / Authors
2024 J jnl
From Shapes to Shapes: Inferring SHACL Shapes for Results of SPARQL CONSTRUCT Queries (Extended Version).
CoRR
Philipp Seifer, Daniel Hernández, Ralf Lämmel, Steffen Staab
2024 A* conf
From Shapes to Shapes: Inferring SHACL Shapes for Results of SPARQL CONSTRUCT Queries.
WWW
Philipp Seifer, Daniel Hernández, Ralf Lämmel, Steffen Staab
2024 — conf
Inferring SHACL Constraints for Results of Composable Graph Queries (Extended Abstract).
Description Logics
Philipp Seifer, Daniel Hernández, Ralf Lämmel, Steffen Staab
2024 — conf
eSPARQL: Representing and Reconciling Agnostic and Atheistic Beliefs in RDF-star Knowledge Graphs.
ISWC (2)
Xinyi Pan, Daniel Hernández, Philipp Seifer, Ralf Lämmel, Steffen Staab
2024 J jnl
eSPARQL: Representing and Reconciling Agnostic and Atheistic Beliefs in RDF-star Knowledge Graphs.
CoRR
Xinyi Pan, Daniel Hernández, Philipp Seifer, Ralf Lämmel, Steffen Staab
2021 J jnl
ProGS: Property Graph Shapes Language (Extended Version).
CoRR
Philipp Seifer, Ralf Lämmel, Steffen Staab
2021 Misc conf
ProGS: Property Graph Shapes Language.
ISWC
Philipp Seifer, Ralf Lämmel, Steffen Staab
2020 — conf
Deciding SHACL Shape Containment Through Description Logics Reasoning.
ISWC (1)
Martin Leinberger, Philipp Seifer, Tjitze Rienstra, Ralf Lämmel, Steffen Staab
2020 J jnl
Deciding SHACL Shape Containment through Description Logics Reasoning (Extended Version).
CoRR
Martin Leinberger, Philipp Seifer, Tjitze Rienstra, Ralf Lämmel, Steffen Staab
2019 B conf
Empirical study on the usage of graph query languages in open source Java projects.
SLE
Philipp Seifer, Johannes Härtel, Martin Leinberger, Ralf Lämmel, Steffen Staab
2019 J jnl
Semantic Query Integration With Reason.
CoRR
Philipp Seifer, Martin Leinberger, Ralf Lämmel, Steffen Staab
2019 J jnl
Semantic Query Integration With Reason.
Art Sci. Eng. Program.
Philipp Seifer, Martin Leinberger, Ralf Lämmel, Steffen Staab
2019 — conf
Type Checking Program Code Using SHACL.
ISWC (1)
Martin Leinberger, Philipp Seifer, Claudia Schon, Ralf Lämmel, Steffen Staab
2019 J jnl
Type Checking Program Code using SHACL (Extended Version).
CoRR
Martin Leinberger, Philipp Seifer, Claudia Schon, Ralf Lämmel, Steffen Staab