)最基本的元素:概念、关系和个体
2)TBox术语集 (概念术语的公理集合)
3)ABox断言集 (个体的断言集合)
4)TBox和ABox上的推理机制
不同的描述逻辑系统的表示能力与推理机制由于对这四个组成部分的不同选择而不同...Box,简称Tbox
ABox——具体个体的信息
ABox包含外延知识 (又称断言 (Assertion)),描述论域中的特定个体
描述逻辑的知识库K ≔ T, A , T即TBox,... 本体推理方法与工具介绍
基于Tableaux运算的方法
Tableaux运算
适用场合
检查某一本体的可满足性,以及实例检测
基本思想
通过一系列规则构建Abox,以检测可满足性...,或者检测某一实例是否存在于某概念
基本思想类似于一阶逻辑的归结反驳
Tableaux运算规则 ( 以主要DL算子举例 )
初始情况下, ∅ 是原始的Abox,迭代运用如下规则:
⊓ +...,以实现用户自定义的推理过程
(2) Datalog语言可以结合本体推理和规则推理
Datalog语言
面向知识库和数据库设计的逻辑语言,表达能力与OWL相当,支持递归
便于撰写规则