描述逻辑εL混合循环术语集的LCS和MSC推理

著录项

• 来源
  《软件学报》 |2008年第10期|2483-2497|共15页
• 作者

  蒋运承; 王驹; 周生明; 汤庸;

  展开▼
• 作者单位

  广西师范大学;

  计算机科学与信息工程学院;

  广西;

  桂林;

  541004;

  中山大学;

  计算机科学系;

  广东;

  广州;

  510275;

  广西师范大学;

  计算机科学与信息工程学院;

  广西;

  桂林;

  541004;

  广西师范大学;

  计算机科学与信息工程学院;

  广西;

  桂林;

  541004;

  中山大学;

  计算机科学系;

  广东;

  广州;

  510275;

  展开▼
• 原文格式 PDF
• 正文语种 chi
• 中图分类 理论、方法;
• 关键词

  描述逻辑; 混合循环术语集; 不动点语义; 描述语义; LCS(least common subsumer); MSC(most specific concept);