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