Department of Computing Science, University of Aberdeen, AB24 3UE, Aberdeen, UK;
Department of Computing Science, University of Aberdeen, AB24 3UE, Aberdeen, UK;
Department of Computing Science, University of Aberdeen, AB24 3UE, Aberdeen, UK;
Ontology; Approximation; OWL 2; Reasoning;
机译:关于自动扣除的特殊问题:可判定性,复杂性,易处理性
机译:关于演绎和绑架的一些易处理的类
机译:关于演绎和绑架的一些易处理的类
机译:TrOWL:可牵引的OWL 2推理基础结构
机译:在东部小瀑布范围的条纹猫头鹰和北部被察觉的猫头鹰,华盛顿。
机译:FHIR OWL:将OWL本体转换为FHIR术语资源
机译:OWL的可牵引近似推论
机译:自动认知逻辑若干片段的可追踪演绎