机译:基于后果的描述逻辑与剖钉和数量限制的推理
Univ Oxford Dept Comp Sci Wolfson Bldg Parks Rd Oxford OX1 3QD England;
Univ Oxford Dept Comp Sci Wolfson Bldg Parks Rd Oxford OX1 3QD England;
Univ Oxford Dept Comp Sci Wolfson Bldg Parks Rd Oxford OX1 3QD England;
Univ Oxford Dept Comp Sci Wolfson Bldg Parks Rd Oxford OX1 3QD England;
Univ Oxford Dept Comp Sci Wolfson Bldg Parks Rd Oxford OX1 3QD England;
Univ Oxford Dept Comp Sci Wolfson Bldg Parks Rd Oxford OX1 3QD England;
机译:带有析取和数字限制的描述逻辑的基于结果的推理
机译:描述逻辑中基于结果和固定参数可处理的推理
机译:具有限定数量限制的实用推理:用于描述逻辑SHQ的混合Abox演算
机译:基于后果的描述逻辑,具有脱位,逆角色,数字限制和名义
机译:具有反作用和数量限制的基于Tableau的描述逻辑推理
机译:再次探讨了医学本体论中的整体推理-将SEP三元组引入基于分类的描述逻辑中。
机译:基于后果的描述逻辑,具有脱位,逆角色,数字限制和名义
机译:描述使用语法更新的逻辑推理