表算法相关论文
研究了作战过程，提出了基于OWL的作战单元本体、装备本体、任务本体和仿真想定本体的构建方法，采用了描述逻辑对作战相关概念、关系......
描述逻辑是语义Web的逻辑基础，它是形式化表达领域知识的一种工具．描述逻辑是一阶逻辑的可判定子集，适合对领域知识的概念术语进行建......
在非货币性交易业务的会计核算中,换入资产入账价值的计量是一个比较复杂的问题.其计算过程繁琐,步骤冗长,令人十分头痛.表算法是......
SHOQ（D）描述逻辑可以对概念、角色、个体、数据类型进行推理，能够克服OIL语言不能处理命名的个体和具体数据类型的缺点。该文设计并实......
针对RBox表达能力受限于简单角色的问题,研究了在角色包含公式中允许出现一类由合取和析取构造子连接的复杂角色,并且TBox和ABox均......
人的认知状态会随着知识的变化而变化,有时候会引起知识库不一致现象的出现。本体作为知识的一种表示方法,很多操作都会引起不同程......
