摘要：IFC中构件位置的表示方法 以STEP格式呈现的IFC文件可读性不强，但是转化为OWL后，可以在Protege中可视化IFC的组织模式。下面将通过Protege的OntoGragph功能显示一个墙实例是如何在IFC中进行位置表示的。 IFC通过相对位置来表示物体的位置： 可以看出，IfcWallSt 阅读全文

摘要：IFC转换为RDF并在Protege中查看 IFC为建筑信息模型的存储提供了一个准则。IFC文件有许多表述模式，例如STEP、RDF、OWL。理论上来说，这些格式都是可以互相转化的。STEP的可读性不佳，但是转化成RDF/OWL后，就可以在Protege中进行查看，从而进一步了解IFC文件的组织格式 阅读全文

摘要：Protege中推理引擎的测试使用 Hermit简介 （以下来自百度翻译） HermiT是使用Web本体语言（OWL）编写本体的推理机。给定一个OWL文件，HermiT可以确定本体是否一致，识别类之间的包容关系，等等。 HermiT是第一个公开的OWL推理机，它基于一个新的“hypertableau 阅读全文

摘要：知识推理中的Tbox和Abox描述逻辑 Tbox（Theory，术语公理集） Tbox，术语公理，是关于概念术语的断言。Tbox定义了概念与概念之间的关系，例如：A Father is a man with property of hasChild。在其中，Father、man、hasChild本身 阅读全文

摘要：本文参考：专家系统中的推理机实现 专家系统 专家系统：模仿人类专家的思维方式进行决策的人工智能算法，算法核心是“知识库（knowledge base）”和“推理机（inference engine）”。专家系统通常包括6个部分：人机交互界面、知识库、综合数据库、推理机、解释器、知识获取。 知识库：包 阅读全文