AI帮你理解科学

AI 生成解读视频

AI抽取解析论文重点内容自动生成视频


pub
生成解读视频

AI 溯源

AI解析本论文相关学术脉络


Master Reading Tree
生成 溯源树

Regular path queries in expressive description logics with nominals

IJCAI, pp.714-720, (2009)

被引用91|浏览12
EI
下载 PDF 全文
引用

摘要

Reasoning over complex queries in the DLs underlying OWL 2 is of importance in several application domains. We provide decidability and (tight) upper bounds for the problem of checking entailment and containment of positive regular path queries under various combinations of constructs used in such expressive DLs; specifically: regular exp...更多

代码

数据

您的评分 :
0

 

标签
评论
小科