...
机译:OntoCheck:在Protégé4中验证本体命名约定和元数据完整性
机译:约鲁巴命名约定的形式化计算本体模型的设计与分析
机译:用于OBO Foundry本体开发的基于调查的命名约定
机译:一种将多媒体元数据标准和元数据格式与多媒体元数据本体集成在一起的方法
机译:对元数据可追溯性的验证,验证和完整性支持
机译:基于等效验证的异步睡眠会议逻辑电路的正式验证方法
机译:OntoCheck:在Protégé4中验证本体命名约定和元数据完整性
机译:OntoCheck:在Protégé4中验证本体命名约定和元数据完整性