Markup languages; Semantics; Reasoning; Ontology; Internet; Consortiums; Philosophy;
机译:语义Web服务的证明标记语言
机译:非单调语义Web规则语言的证明说明
机译:语义网前言的规则和规则标记语言
机译:OOML(面向对象的语义Web标记语言):使用面向对象的技术改进的语义Web标记语言
机译:推理和查询语义Web:以文档为中心的观点。
机译:关系数据的语义查询以用于临床智能:基于语义Web服务的方法
机译:一种用于语义Web服务的证明标记语言