Researchers have developed a new method for inferring schema constraints in property graphs after transformations. This approach uses a reasoning procedure that takes an input schema and a transforming query to infer an output schema, without needing to analyze graph instances. The system maps property graphs to RDF, ProGS to SHACL, and G-CORE to SPARQL CONSTRUCT queries, enabling schema inference through efficient Description Logic reasoners. AI
RANK_REASON The cluster contains an academic paper detailing a novel research method. [lever_c_demoted from research: ic=2 ai=0.4]
- arXiv
- description logic
- G-CORE
- ProgStar Study Group
- Resource Description Framework
- SHACL
- SPARQL CONSTRUCT
AI-generated summary · Google Gemini · from 2 sources. How we write summaries →