（），提出了一些初步的想法。
语义建模.PSL之中对于概念的定义是采用知识交换格式（Knowledge Interchange Format，KIF）来表达的，并且采用形式逻辑来定义它们的语义。采用KIF的好处就是能够证明定义和公理的一致性和完整性。PSL本体具有可扩展性，且建立在一种由公理和扩展所构成的核心（即PSL核心本体）的基础之上。PSL本体之中存在着三种基本实体（活动、对象和时间点）以及四种基本关系（参与“"participates_in"”、之前于“"before"