机译:用于对规范条款进行高级访问和推理的描述逻辑框架
ITTIG-CNR, via de' Barucci 20, Florence, Italy;
Legal semantic web; Normative provisions; Provision relations; Description logic; Hohfeldian reasoning; Inferential search engine;
机译:描述逻辑本体推理和管理的论证框架
机译:不确定性下的规范推理的认知框架,风险推理以及对教育实践的启示
机译:法律资源的语义模型:规范条款的注释和推理
机译:用于访问和推理规范规范的立法的语义模型上的公理
机译:超一致性和定理逻辑:带有规范冲突的推理形式系统。
机译:再次探讨了医学本体论中的整体推理-将SEP三元组引入基于分类的描述逻辑中。
机译:使用架构框架,本体和描述逻辑推理,系统需要系统的细分