AI帮你理解科学

AI 生成解读视频

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


pub
生成解读视频

AI 溯源

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


Master Reading Tree
生成 溯源树

Practical Reasoning for Very Expressive Description Logics

Logic Journal of the IGPL, no. 3 (2000): 239-263

被引用480|浏览7
EI WOS
下载 PDF 全文
引用

摘要

Description Logics (DLs) are a family of knowledge representation formalisms mainly characterised by constructors to build complex concepts and roles from atomic ones. Expressive role constructors are important in many applications, but can be computationally problematical. We present an algorithm that decides satisfiability of the DL ALC...更多

代码

数据

您的评分 :
0

 

标签
评论
小科