Ontologies; Description Logics; Axiom pinpointing;
机译:SATPIN:通过增量SAT针对轻量级描述逻辑定位的公理
机译:增量节点创建算法的级联和平面变体的经验比较
机译:Needham问题的印度一半:关于公理,模型,算法和计算实证主义的一些思考
机译:EL中的公理精确定位算法及其增量变体
机译:使用增量模型选择处理高度变异的语言
机译:基于GPGPU的增量聚类算法的准确性和并行性
机译:证明增量,稀疏和其他变体合理的Em算法的视图