WG211/M24Laemmel - Revision history

Ralf at 17:11, 6 December 2024

2024-12-06T17:11:34Z

← Older revision		Revision as of 19:11, 6 December 2024
Line 11:		Line 11:
	What’s the framework of attribute, context-free and regular grammars to the programming language researcher, that’s the framework of description logics to the semantic web researcher. What’s type checking to the programming language researcher, that’s schema-based validation (think of SHACL and friends) to the semantic web researcher. What’s more or less functional code to the programming language researcher, that’s graph queries to the semantic web researcher.		What’s the framework of attribute, context-free and regular grammars to the programming language researcher, that’s the framework of description logics to the semantic web researcher. What’s type checking to the programming language researcher, that’s schema-based validation (think of SHACL and friends) to the semantic web researcher. What’s more or less functional code to the programming language researcher, that’s graph queries to the semantic web researcher.

	~~These~~ two worlds — programming languages (PL) and semantic web (SW) — are massively different:		Arguably, more than two worlds are at play -- especially when we talk about knowledge graphs and queries.
			That is, the database world is also at play, but let's focus on programming languages (PL) and semantic web (SW) here.

			PL and SW are notably massively different:
	* CWA is more Ok for the PL world; OWA is more Ok for the SW world, but both worlds aren’t shy to go back and forth.		* CWA is more Ok for the PL world; OWA is more Ok for the SW world, but both worlds aren’t shy to go back and forth.
	* The PL world focuses on functions and procedures; the SW world focuses on queries.		* The PL world focuses on functions and procedures; the SW world focuses on queries, but queries aren't alien to PL.
	* These two worlds also differ in terms of major pragmatics: (im)mutability, persistence, …		* These two worlds also differ in terms of major pragmatics: (im)mutability, persistence, …

	In this slot, we discuss “type inference in a semantic web / knowledge-graph setting” so that:		In this slot, we discuss “type inference in a semantic web / knowledge-graph setting” so that:
	* we demonstrate inference of schemas for results of ~~semantic data~~ queries;		* we demonstrate inference of schemas for results of graph queries;
	* we exemplify the challenges due to the open-world assumption for the data at hand;		* we exemplify the challenges due to the open-world assumption for the data at hand;
	* we pinpoint the role of description logics in formalizing type checking / inference in this setting.		* we pinpoint the role of description logics in formalizing type checking / inference in this setting.
Line 27:		Line 30:
	* Daniel Hernandez — University of Stuttgart		* Daniel Hernandez — University of Stuttgart
	* Ralf Lämmel — University of Koblenz		* Ralf Lämmel — University of Koblenz
			* Philipp Seifer — University of Koblenz
			* Steffen Staab — University of Stuttgart

			Contributors regarding the broader theme:
	* Martin Leinberger — Bosch Corporate Research		* Martin Leinberger — Bosch Corporate Research
	* Xinyi Pan — University of Stuttgart		* Xinyi Pan — University of Stuttgart
	* Tjitze Rienstra — Maastricht University		* Tjitze Rienstra — Maastricht University
	* Claudia Schon — Trier University of Applied Sciences		* Claudia Schon — Trier University of Applied Sciences
	* Philipp Seifer — University of Koblenz
	* Steffen Staab — University of Stuttgart

	== Further reading ==		== Further reading ==
Line 39:		Line 45:
	** https://arxiv.org/abs/2402.08509		** https://arxiv.org/abs/2402.08509
	** https://dl.acm.org/doi/10.1145/3589334.3645550		** https://dl.acm.org/doi/10.1145/3589334.3645550
	* From Shapes to Shapes: Inferring ~~SHACL-like~~ Shapes for Results of ~~GCORE-like Composable~~ Queries		* From Shapes to Shapes: Inferring Shapes for Results of Construct Queries on Knowledge Graphs
	** To be submitted.		** To be submitted.

Ralf at 15:52, 6 December 2024

2024-12-06T15:52:38Z

← Older revision		Revision as of 17:52, 6 December 2024
Line 1:		Line 1:
			== Slides ==

			[https://drive.google.com/file/d/15OTeohDUX8rLQVOSRSwJpj4zCpl4x5li/view?usp=sharing PDF] (on Google Drive)

	== Title ==		== Title ==

Ralf at 22:48, 23 November 2024

2024-11-23T22:48:08Z

← Older revision		Revision as of 00:48, 24 November 2024
Line 1:		Line 1:
	~~Title: Type Inference in a Knowledge-Graph Setting~~

	Abstract:		== Title ==

			Type Inference in a Knowledge-Graph Setting

			== Abstract ==

	What’s the framework of attribute, context-free and regular grammars to the programming language researcher, that’s the framework of description logics to the semantic web researcher. What’s type checking to the programming language researcher, that’s schema-based validation (think of SHACL and friends) to the semantic web researcher. What’s more or less functional code to the programming language researcher, that’s graph queries to the semantic web researcher.		What’s the framework of attribute, context-free and regular grammars to the programming language researcher, that’s the framework of description logics to the semantic web researcher. What’s type checking to the programming language researcher, that’s schema-based validation (think of SHACL and friends) to the semantic web researcher. What’s more or less functional code to the programming language researcher, that’s graph queries to the semantic web researcher.
Line 14:		Line 17:
	* we exemplify the challenges due to the open-world assumption for the data at hand;		* we exemplify the challenges due to the open-world assumption for the data at hand;
	* we pinpoint the role of description logics in formalizing type checking / inference in this setting.		* we pinpoint the role of description logics in formalizing type checking / inference in this setting.


			== Authors ==

	Combined author team in recent years — in alphabetical order:		Combined author team in recent years — in alphabetical order:
Line 25:		Line 31:
	* Steffen Staab — University of Stuttgart		* Steffen Staab — University of Stuttgart

	Further reading:		== Further reading ==

	* From Shapes to Shapes: Inferring SHACL Shapes for Results of SPARQL CONSTRUCT Queries		* From Shapes to Shapes: Inferring SHACL Shapes for Results of SPARQL CONSTRUCT Queries
	** https://arxiv.org/abs/2402.08509		** https://arxiv.org/abs/2402.08509

Ralf at 22:46, 23 November 2024

2024-11-23T22:46:32Z

Ralf at 22:45, 23 November 2024

2024-11-23T22:45:09Z

← Older revision		Revision as of 00:45, 24 November 2024
Line 34:		Line 34:
	Also:		Also:
	* eSPARQL: Representing and Reconciling Agnostic and Atheistic Beliefs in RDF-star Knowledge Graphs		* eSPARQL: Representing and Reconciling Agnostic and Atheistic Beliefs in RDF-star Knowledge Graphs
	* https://arxiv.org/abs/2407.21483		** https://arxiv.org/abs/2407.21483
	* https://iswc2024.semanticweb.org/event/3715c6fc-e2d7-47eb-8c01-5fe4ac589a52/websitePage:870dee1d-a340-45f2-af9c-bee1c707fbda		** https://iswc2024.semanticweb.org/event/3715c6fc-e2d7-47eb-8c01-5fe4ac589a52/websitePage:870dee1d-a340-45f2-af9c-bee1c707fbda
	* ProGS: Property Graph Shapes Language		* ProGS: Property Graph Shapes Language
	* https://arxiv.org/abs/2107.05566		* https://arxiv.org/abs/2107.05566

Ralf: Created page with "Title: Type Inference in a Knowledge-Graph Setting Abstract: What’s the framework of attribute, context-free and regular grammars to the programming language researcher, t..."

2024-11-23T22:44:25Z

Created page with "Title: Type Inference in a Knowledge-Graph Setting Abstract: What’s the framework of attribute, context-free and regular grammars to the programming language researcher, t..."

New page

Title: Type Inference in a Knowledge-Graph Setting

Abstract:

What’s the framework of attribute, context-free and regular grammars to the programming language researcher, that’s the framework of description logics to the semantic web researcher. What’s type checking to the programming language researcher, that’s schema-based validation (think of SHACL and friends) to the semantic web researcher. What’s more or less functional code to the programming language researcher, that’s graph queries to the semantic web researcher.

These two worlds — programming languages (PL) and semantic web (SW) — are massively different:
* CWA is more Ok for the PL world; OWA is more Ok for the SW world, but both worlds aren’t shy to go back and forth.
* The PL world focuses on functions and procedures; the SW world focuses on queries.
* These two worlds also differ in terms of major pragmatics: (im)mutability, persistence, …

In this slot, we discuss “type inference in a semantic web / knowledge-graph setting” so that:
* we demonstrate inference of schemas for results of semantic data queries;
* we exemplify the challenges due to the open-world assumption for the data at hand;
* we pinpoint the role of description logics in formalizing type checking / inference in this setting.

Combined author team in recent years — in alphabetical order:
* Daniel Hernandez — University of Stuttgart
* Ralf Lämmel — University of Koblenz
* Martin Leinberger — Bosch Corporate Research
* Xinyi Pan — University of Stuttgart
* Tjitze Rienstra — Maastricht University
* Claudia Schon — Trier University of Applied Sciences
* Philipp Seifer — University of Koblenz
* Steffen Staab — University of Stuttgart

Further reading:
* From Shapes to Shapes: Inferring SHACL Shapes for Results of SPARQL CONSTRUCT Queries
* https://arxiv.org/abs/2402.08509
* https://dl.acm.org/doi/10.1145/3589334.3645550
* From Shapes to Shapes: Inferring SHACL-like Shapes for Results of GCORE-like Composable Queries
* To be submitted.

Also:
* eSPARQL: Representing and Reconciling Agnostic and Atheistic Beliefs in RDF-star Knowledge Graphs
* https://arxiv.org/abs/2407.21483
* https://iswc2024.semanticweb.org/event/3715c6fc-e2d7-47eb-8c01-5fe4ac589a52/websitePage:870dee1d-a340-45f2-af9c-bee1c707fbda
* ProGS: Property Graph Shapes Language
* https://arxiv.org/abs/2107.05566
* https://link.springer.com/chapter/10.1007/978-3-030-88361-4_23
* Deciding SHACL Shape Containment Through Description Logics Reasoning
* https://arxiv.org/abs/2008.13603
* https://link.springer.com/chapter/10.1007/978-3-030-62419-4_21
* Semantic Query Integration With Reason
* https://arxiv.org/abs/1902.00545
* https://programming-journal.org/2019/3/13/
* Type Checking Program Code Using SHACL
* https://arxiv.org/abs/1907.00855
* https://link.springer.com/chapter/10.1007/978-3-030-30793-6_23

See https://dblp.org/pid/l/RalfLammel.html for more.

← Older revision		Revision as of 00:46, 24 November 2024
Line 27:		Line 27:
	Further reading:		Further reading:
	* From Shapes to Shapes: Inferring SHACL Shapes for Results of SPARQL CONSTRUCT Queries		* From Shapes to Shapes: Inferring SHACL Shapes for Results of SPARQL CONSTRUCT Queries
	* https://arxiv.org/abs/2402.08509		** https://arxiv.org/abs/2402.08509
	* https://dl.acm.org/doi/10.1145/3589334.3645550		** https://dl.acm.org/doi/10.1145/3589334.3645550
	* From Shapes to Shapes: Inferring SHACL-like Shapes for Results of GCORE-like Composable Queries		* From Shapes to Shapes: Inferring SHACL-like Shapes for Results of GCORE-like Composable Queries
	* To be submitted.		** To be submitted.

	Also:		Also:
Line 37:		Line 37:
	** https://iswc2024.semanticweb.org/event/3715c6fc-e2d7-47eb-8c01-5fe4ac589a52/websitePage:870dee1d-a340-45f2-af9c-bee1c707fbda		** https://iswc2024.semanticweb.org/event/3715c6fc-e2d7-47eb-8c01-5fe4ac589a52/websitePage:870dee1d-a340-45f2-af9c-bee1c707fbda
	* ProGS: Property Graph Shapes Language		* ProGS: Property Graph Shapes Language
	* https://arxiv.org/abs/2107.05566		** https://arxiv.org/abs/2107.05566
	* https://link.springer.com/chapter/10.1007/978-3-030-88361-4_23		** https://link.springer.com/chapter/10.1007/978-3-030-88361-4_23
	* Deciding SHACL Shape Containment Through Description Logics Reasoning		* Deciding SHACL Shape Containment Through Description Logics Reasoning
	* https://arxiv.org/abs/2008.13603		** https://arxiv.org/abs/2008.13603
	* https://link.springer.com/chapter/10.1007/978-3-030-62419-4_21		** https://link.springer.com/chapter/10.1007/978-3-030-62419-4_21
	* Semantic Query Integration With Reason		* Semantic Query Integration With Reason
	* https://arxiv.org/abs/1902.00545		** https://arxiv.org/abs/1902.00545
	* https://programming-journal.org/2019/3/13/		** https://programming-journal.org/2019/3/13/
	* Type Checking Program Code Using SHACL		* Type Checking Program Code Using SHACL
	* https://arxiv.org/abs/1907.00855		** https://arxiv.org/abs/1907.00855
	* https://link.springer.com/chapter/10.1007/978-3-030-30793-6_23		** https://link.springer.com/chapter/10.1007/978-3-030-30793-6_23

	See https://dblp.org/pid/l/RalfLammel.html for more.		See https://dblp.org/pid/l/RalfLammel.html for more.