论文部分内容阅读
基于F-逻辑和O-逻辑,提出了一种带值限制的本体形式表示语言.一个本体包括类框架、槽框架、类槽框架以及个体框架.本体通过槽的框架来说明对该槽的一般值限制.本体中的一个类和一个槽对应着一个类槽;并且通过类槽的框架来说明用该槽来对这个类进行描述时的特定的值限制.在给出了本体的形式语法后,讨论了本体的继承机制;并且通过具体示例来对本体以及继承机制进行阐述.