modelcheckN3:基于N3的ifcOwl模型检查

#Introduction使用来自ifcOWL的输入创建一个新图形，该图形增加了三倍，并附加了其他查询。 使用EYE（Euler推理机）进行此操作。 这将产生一个简化的图，可用于“简单”的N3查询。 主要目标是降低域专家使用语义网的功能来验证/检查IFC模型的门槛。 使用可从获得的BuildingSMART ifcOWL版本 #Requires我们使用EYE Euler推理机来开发和测试。 在上找到它也是很不错的入门链接： : ＃更多信息有关反馈和问题，请咨询 。