Description Logics; Rule Analysis; Semantics;
机译:通过Web服务的语义组合来设计业务工作流的知识管理
机译:语义Web服务组合的模型转换和形式验证
机译:MISQ:分析和优化业务服务网络中Web服务组成的框架
机译:用于分析和验证Web服务组成和承包中的业务规则的分析语义
机译:语义Web支持Web服务的组合。
机译:使用增强的堆栈自动机模型的Web服务组合的验证策略
机译:分布式和互换式的验证,验证和完整性 基于规则的语义Web政策与契约
机译:语义Web的开发 - 标记语言,Web服务,规则,解释,查询,证明和推理;最后的技术部门。 2000年6月至2008年4月