Department of Informatics, Aristotle University of Thessaloniki GR-54124 Thessaloniki, Greece;
机译:可视化DR-DEVICE系统中可废止逻辑的语义Web证明
机译:语义网的模态逻辑的模态不可推理
机译:为语义网部署可行的逻辑规则库
机译:DR-Device:语义Web的一种不可取的逻辑系统
机译:语义网的联合描述逻辑。
机译:迈向物联网:网络物理系统的混合语义注释提取和推理框架
机译:DR-DEVICE:用于语义网的可行逻辑系统
机译:混合系统的模态逻辑和拓扑语义