本体基础知识
本体建模的核心是明确领域中的概念、概念的属性和约束条件、概念之间的层次关系等。本体的建模原语主要有类、关系、函数、公理和实例等5种。
类:通常也成为概念,类的含义很广泛,可以指任何事物,如工作描述、功能、行为、策略和推理过程等等。类中间的关系有四种:
- part-of:A 属于 B的一部分
- kind-of:A 属于 B的另一种
- instance-of:A是B的实例
- attribute-of:A是B的属性
关系:代表了在领域中概念之间的交互作用。形式上定义为n维笛卡儿积的子R:C1×C2×⋯×Cn
函数:一类特殊的关系,这种关系中,前n一1个元素可以唯一决定第n个元素,形式化的定义为F: C1×C2×⋯×Cn-1➡ Cn
公理:表示永真字句
实例:代表元素,是概念的具体化