机译:利用逻辑推理和语义相似性的Web服务发现
机译:CelOWS:基于本体的框架,用于提供与生物学模型有关的语义Web服务。
机译:迈向物联网:网络物理系统的混合语义注释,提取和推理框架
机译:语义Web服务合同建模和推理的逻辑框架
机译:由模型驱动的框架,用于语义Web服务的规范,基础和执行。
机译:迈向物联网:网络物理系统的混合语义注释提取和推理框架
机译:分享:基于Web服务的分布式查询和分析框架 语义Web的推理
机译:语义Web的开发 - 标记语言,Web服务,规则,解释,查询,证明和推理;最后的技术部门。 2000年6月至2008年4月