从ALC到SHOQ(D):描述逻辑及其Tableau算法
종ALC도SHOQ(D):묘술라집급기Tableau산법
From ALC to SHOQ(D): A Survey of Tableau Algorithms for Description Logics
  • 万方数据
    计算机科学 계산궤과학
    COMPUTER SCIENCE
    2005年 3期 1-11,35 ,共12页

    梅婧%林作铨

    매청%림작전

    描述逻辑,Tableau-算法,语义 Web 描述邏輯,Tableau-算法,語義 Web
    묘술라집,Tableau-산법,어의 Web
    描述逻辑是一类知识表示的形式系统,并成为语义Web的逻辑基础.Tableau 是描述逻辑的基本证明论,基于Tableau的算法提供了描述逻辑的推理机,本文系统地阐述了对应于语义Web语言从基本的ALC到SHOQ(D)的描述逻辑基础及其相应的Tableau算法.
    묘술라집시일류지식표시적형식계통,병성위어의Web적라집기출.Tableau 시묘술라집적기본증명론,기우Tableau적산법제공료묘술라집적추리궤,본문계통지천술료대응우어의Web어언종기본적ALC도SHOQ(D)적묘술라집기출급기상응적Tableau산법.
    원문보기 원문다운로드 사이트로이동
저자의 최근 논문