机译:具有描述逻辑SHIO的全局状态缓存的ExpTime表
机译:终止具有全局模式和角色层次的渐变混合逻辑的Tableaux
机译:具有逆角色的Horn描述逻辑中的保守扩展
机译:具有全局缓存的EXPTIME Tableaux,用于具有传递角色,逆角色和角色层次结构的描述逻辑
机译:具有反作用和数量限制的基于Tableau的描述逻辑推理
机译:角色分组是对Ontylog描述逻辑的扩展它受SNOMED中概念建模的驱动。
机译:具有全局缓存的EXPTime表,用于具有传递角色,逆角色和角色层次结构的描述逻辑