机译:基于扩展艾伦区间代数的时间推理本体
Department of Mathematical Information Technology, Faculty of Information Technology, University of Jyvaeskylae, Jyvaeskylae, Finland;
Department of Mathematical Information Technology, Faculty of Information Technology, University of Jyvaeskylae, Jyvaeskylae, Finland;
temporal reasoning; uncertainty; ontology; SWRL; imperfect information;
机译:时间依赖于艾伦扩展区间逻辑的本体论查询
机译:部分有序集上的区间的阶数:扩展艾伦的代数和区间图结果
机译:艾伦间隔代数的时间本体论
机译:基于Allen的Interval代数的Microsoft Project的正式时间语义
机译:使用基于规则和遗传技术扩展基于案例的推理。
机译:基于本体的时间推理和分析的晚期支架内血栓形成的用例研究
机译:时间关系的推理:艾伦区间代数的可处理子代数
机译:扩展区间时序逻辑和时态逻辑程序设计的成帧技术