描述逻辑 编辑
描述逻辑是一种用于知识表示的逻辑语言和以其为对象的推理方法，主要用于描述概念分类及其概念之间的关系。描述逻辑方法多数被用到涉及知识分类的应用领域，如数字图书馆和面向万维网的信息处理。描述逻辑是当前语义网发展中本体的理论基础。例如，OWL因特网本体语言就是一种描述逻辑SHIOQ的语法形式。
7
图片 0 图片
评论 0 评论
匿名用户 · [[ show_time(comment.timestamp) ]]
[[ nltobr(comment.content) ]]
相关
Pellet是一种基于Tableau算法的描述逻辑推理机，由美国马里兰大学的MindSwap实验室开发。
SHIOQ 是一种描述逻辑语言。OWL 1.0Web本体语言是SHOIQ的一种语法形式。
分布式描述逻辑是描述逻辑的一种特例。在DDL中，整个逻辑系统由一组DL单元组成，相互之间用桥相互连接。
在计算机科学和人工智能领域，本体语言是指用于构建本体的形式语言。此类语言允许对有关特定学科的知识加以编码，且常常还包括为处理这些知识提供支持的推理规则。本体语言通常为声明式编程，几乎总是属于框架语言的泛化形式，且一般都基于一阶逻辑或描述逻辑。