机译:面向基于模式的推理以进行友好的本体调试
Ontology engineering; Reasoning; Satisfiability; Model verification; Debugging; Ontology tools; Object role modeling; ORM;
机译:面向基于模式的推理以进行友好的本体调试
机译:将非本体资源重新设计为本体的基于模式的方法
机译:使用基于模型的推理来调试VHDL设计
机译:使用启发式方法和DL推理获得面向性能的本体调试支持
机译:OWL本体的调试和修复。
机译:交互式本体调试:两种查询策略可实现有效的故障定位
机译:为友好的本体调试提供基于模式的推理