研究人员开发了一种在新方法,用于在转换后推断属性图中的模式约束。该方法使用一种推理过程,该过程接受输入模式和转换查询以推断输出模式,而无需分析图实例。该系统将属性图映射到RDF,将ProGS映射到SHACL,并将G-CORE映射到SPARQL CONSTRUCT查询,从而能够通过高效的描述逻辑推理器进行模式推断。 AI
排序理由 该集群包含一篇详细介绍新研究方法的学术论文。[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 生成摘要 · Google Gemini · 来自 2 个来源。 我们如何撰写摘要 →