ALC(D)相关论文
摘 要：依据GPS元模型和形式化知识模型，利用Protégé开发工具，建立了本体的几何要素类、几何要素的对象属性和数据属性，开发了LiteGPS......
描述逻辑是知识表示和推理的形式化工具。ALC(D)使用具体域(concrete domain)的概念扩展描述逻辑(ALC),可以在更具体的层面上为已......
本文扩展了描述逻辑ALC(D)并提出了空间推理的描述逻辑DLSR(DP),在利用描述逻辑进行空间推理时,通过术语推理把定性信息和定量信息......
本文讨论了具体域的可用性,首先介绍了ALC(D)描述的具体域D,然后定义了适用于由点、线和区域共同组成的具体域DP,扩展了描述逻辑AL......
摘要：依据GPS元模型和形式化知识模型，利用Protege开发工具，建立了本体的几何要素类、几何要素的对象属性和数据属性，开发了LiteGPS本......
描述逻辑是知识表示和推理的形式化工具。ALC（D）使用具体域（concrete domain）的概念扩展描述逻辑（ALC）,可以在更具体的层面上为已有知识......
摘 要：基于Welty的本体谱理论、ISO 17450及其术语集，建立了以操作算子为核心的GPS（Geometrical Product Specification）语义网络元模......
