Philipp Seifer

According to our database, Philipp Seifer authored at least 13 papers between 2019 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Code for From Shapes to Shapes.

Philipp Seifer, Daniel Hernández, Ralf Lämmel, Steffen Staab

Dataset, February, 2024

eSPARQL: Representing and Reconciling Agnostic and Atheistic Beliefs in RDF-star Knowledge Graphs.

Xiny Pan, Daniel Hernández, Philipp Seifer, Ralf Lämmel, Steffen Staab

CoRR, 2024

From Shapes to Shapes: Inferring SHACL Shapes for Results of SPARQL CONSTRUCT Queries (Extended Version).

Philipp Seifer, Daniel Hernández, Ralf Lämmel, Steffen Staab

CoRR, 2024

From Shapes to Shapes: Inferring SHACL Shapes for Results of SPARQL CONSTRUCT Queries.

Philipp Seifer, Daniel Hernández, Ralf Lämmel, Steffen Staab

Proceedings of the ACM on Web Conference 2024, 2024

Inferring SHACL Constraints for Results of Composable Graph Queries (Extended Abstract).

Philipp Seifer, Daniel Hernández, Ralf Lämmel, Steffen Staab

Proceedings of the 37th International Workshop on Description Logics (DL 2024), 2024

2021

ProGS: Property Graph Shapes Language (Extended Version).

Philipp Seifer, Ralf Lämmel, Steffen Staab

CoRR, 2021

ProGS: Property Graph Shapes Language.

Philipp Seifer, Ralf Lämmel, Steffen Staab

Proceedings of the Semantic Web - ISWC 2021 - 20th International Semantic Web Conference, 2021

2020

Deciding SHACL Shape Containment through Description Logics Reasoning (Extended Version).

Martin Leinberger, Philipp Seifer, Tjitze Rienstra, Ralf Lämmel, Steffen Staab

CoRR, 2020

Deciding SHACL Shape Containment Through Description Logics Reasoning.

Martin Leinberger, Philipp Seifer, Tjitze Rienstra, Ralf Lämmel, Steffen Staab

Proceedings of the Semantic Web - ISWC 2020, 2020

2019

Semantic Query Integration With Reason.

Philipp Seifer, Martin Leinberger, Ralf Lämmel, Steffen Staab

Art Sci. Eng. Program., 2019

Type Checking Program Code using SHACL (Extended Version).

Martin Leinberger, Philipp Seifer, Claudia Schon, Ralf Lämmel, Steffen Staab

CoRR, 2019

Empirical study on the usage of graph query languages in open source Java projects.

Philipp Seifer, Johannes Härtel, Martin Leinberger, Ralf Lämmel, Steffen Staab

Proceedings of the 12th ACM SIGPLAN International Conference on Software Language Engineering, 2019

Type Checking Program Code Using SHACL.

Martin Leinberger, Philipp Seifer, Claudia Schon, Ralf Lämmel, Steffen Staab

Proceedings of the Semantic Web - ISWC 2019, 2019