ALC(D)相关论文
摘 要：依据GPS元模型和形式化知识模型，利用Protégé开发工具，建立了本体的几何要素类、几何要素的对象属性和数据属性，开发了LiteGPS......
描述逻辑是知识表示和推理的形式化工具。ALC(D)使用具体域(concrete domain)的概念扩展描述逻辑(ALC),可以在更具体的层面上为已......
