Researchers have developed a fitting approach for learning SHACL shapes, which are crucial for validating data graphs in knowledge graph applications. The study focuses on a core fragment of SHACL that aligns with the Description Logic ELI, considering various semantics for recursive shape catalogues. The work establishes tight exponential-time upper bounds for computing the most specific fitting shape and addresses its existence, while also identifying polynomial bounds for specific scenarios. AI
IMPACT Formalizes methods for knowledge graph validation, potentially improving data consistency and reliability in AI applications.
RANK_REASON Academic paper on formal methods for knowledge graph validation. [lever_c_demoted from research: ic=1 ai=1.0]
AI-generated summary · Google Gemini · from 1 sources. How we write summaries →
