)最基本的元素:概念、关系和个体
2)TBox术语集 (概念术语的公理集合)
3)ABox断言集 (个体的断言集合)
4)TBox和ABox上的推理机制
不同的描述逻辑系统的表示能力与推理机制由于对这四个组成部分的不同选择而不同... 个体
一个领域内的实例
例如,小明: Ming
TBox——泛化的知识
描述概念和关系的知识,被称之为公理 (Axiom)
描述逻辑的公理可以用来定义术语,所以称为Terminological...Box,简称Tbox
ABox——具体个体的信息
ABox包含外延知识 (又称断言 (Assertion)),描述论域中的特定个体
描述逻辑的知识库K ≔ T, A , T即TBox,...且C ⊓ D(x)∉ ∅,则∅ :=∅∪{C ⊓ D(x)};
∃-规则:若∃R.C x ∊ ∅, 且R(x,y),C(y)∉ ∅,则∅ :=∅∪{R(x,y),C(y)},
其中,y是新加进来的个体...reasoner=ontology.createReasoner();
并用于查询
Query whatDoPeopleKnowAbout=reasoner.createQuery(new Literal