本体库

基于James F. Allen和George Ferguson 1994年《Actions and Events in Interval Logic》的时间本体。该本体类似于Jerry R. Hobbs和Feng Pan于2006年5月18日发布的W3C最佳实践OWL-Time本体草案（http://www.w3.org/2001/sw/BestPractices/OEP/Time-Ontology）。形而上时间概念与定量时间部分分离。关系通过更多公理得到加强。

位置复合体 中文版

位置复合体 中文版

物理实体 中文版

物理实体 中文版

物理实体 中文版

应用 中文版

本文件定义了通常称为命题态度（PA）的若干类型。这些类型将命题内容与表达该内容的命题关联起来。命题态度的一个细分是心理态度（参见例如 Cugola, 1996），即心灵中的命题类型。另一类是交流行为的命题态度。

本文件定义了通常称为命题态度（PA）的若干类型。这些类型将命题内容与表达该内容的命题关联起来。命题态度的一个细分是心理态度（参见例如 Cugola, 1996），即心灵中的命题类型。另一类是交流行为的命题态度。

本本体描述了LKIF规则语言中使用的类和属性，如Deliverable 1.1所规定。请注意，SWRL规则的定义未导入本本体。此扩展将通过论证规则框架实现。

本本体描述了LKIF规则语言中使用的类和属性，如Deliverable 1.1所规定。请注意，SWRL规则的定义未导入本本体。此扩展将通过论证规则框架实现。

终止 中文版