论文部分内容阅读
与经典逻辑相比,互逆主义逻辑取消了量词,较好的解决了表达力和可解性的矛盾,能够简洁的实现逻辑定理的推理。互逆主义逻辑将命题进行了分类,逻辑定理的表示和语义检索是从元知识的层面进行的,相对于目前本体的应用提高了一个层次。原来的本体应用称之为一层本体,基于互逆主义逻辑的本体称之为二层本体。二层本体的最大优点是能够实现逻辑定理的表示与查询,扩展了目前本体的功能。本文论述了二层本体的原理与实现。