互逆主义描述逻辑与二层本体

摘要

经典描述逻辑基于一阶谓词演算,用于本体描述语言,存在表达力与计算复杂性这一对矛盾。基于互逆主义逻辑,本文提出互逆主义描述逻辑。它取消了量词,增加了二层假言推理，较好地解决了表达力与可解性的矛盾。此前的本体都是一层本体。本文提出二层本体。