Ontology-based query answering; Ontological reasoning; Answer set programming; DLV; Semantic web;
机译:I-DLV-SR:基于I-DLV的流推理系统
机译:2017年本体论峰会公报-人工智能,学习,推理和本体论
机译:DLV知识表示和推理系统
机译:AI系统DLV:本体,推理等
机译:基于移动本体的推理和反馈健康监控系统。
机译:使用临床推理本体构建更智能的临床决策支持系统:系统的审查和数据综合
机译:用于知识表示和推理的DLV系统