Philipp Seifer

Publication Activity (10 Years)

Years Active: 2019-2024
Publications (10 Years): 13

Top Topics

Open Source Java

Biomedical Ontologies

Description Logics

Top Venues

Description Logics

Publications

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