• 综合性科技类中文核心期刊
    • 中国科技论文统计源期刊
    • 中国科学引文数据库来源期刊
    • 中国学术期刊文摘数据库（核心版）来源期刊
    • 中国学术期刊综合评价数据库来源期刊
Advance Search
SU Yi-la, LIU Chun-nian. The Existential Entailment Algorithm of β-Problem Solver Markup Language[J]. Journal of Beijing University of Technology, 2010, 36(10): 1413-1417.
Citation: SU Yi-la, LIU Chun-nian. The Existential Entailment Algorithm of β-Problem Solver Markup Language[J]. Journal of Beijing University of Technology, 2010, 36(10): 1413-1417.
shu

The Existential Entailment Algorithm of β-Problem Solver Markup Language

  • 1. College of Information Engineering, Inner Mongolia University of Technology, Hohhot 010051, China;

  • 2. Beijing Municipal Key Laboratory of Multimedia and Intelligent Software Technology, Beijing University of Technology, Beijing 100124, China

More Information
  • Received Date: September 16, 2008
  • Available Online: December 13, 2022
    Graphical Abstract
    • Abstract
  • Problem Solver Markup Language constructed by combining OWL and Horn clauses are studied. The existential entailment algorithm for the decidable description logic is described. In a nonrecursive case,it is shown that a single step of applying a Horn clause needs to be replaced by a more sophisticated reasoning step in β-PSML. This step is isolated and referred to as existential entailment. The existential entailment problem is to decide whether the antecedent of a Horn clause,together with a description logic terminology,logically entail the disjunction of the antecedents of a set of Horn clauses.
    • FullText(HTML)
    • References (8)
  • [1]
    BORGIA A.On the relative expressiveness of description logics and predicate logics[J].Artificial Intelligence,1996,82(1/2):353-367.
    [2]
    KACI H,PODELSKI A.Towards the meaning of LIFE[C]∥MALUSZYNSKI J,WIRSING M.Proceedings of the 3rdInternational Symposium on Programming Language Implementation and Logic Programming.Passau,Germany:Springer-Verlag,1991:255-274.
    [3]
    DONINI F,LENZERINI M,NARDI D,et al.A hybrid system with datalog and concept languages[C]∥ARDIZZONE E,GAGLIO S,SORBELLO F.Trends in Artificial Intelligence.Volume LNAI549.Passau,Germany:Springer-Verlag,1991:88-97.
    [4]
    DONINI F,LENZERINI M,NARDI D,et al.AL-log:integrating datalog and description logics[J].J Intell Inf Syst,1998,10(3):227-252.
    [5]
    BAADER F,HOLLUNDER B.A terminological knowledge representation system with complete inference algorithm[C]∥Proceedings of the Workshop on Processing Declarative Knowledge.PDK-91.Lecture Notes in Artificial Intelligence.Passau,Germany:Springer-Verlag,1991:67-86.
    [6]
    SU Y,ZHENG L,ZHONG N,et al.Distributed reasoning based on problem solver markup language(PSML):ademonstration through extended OWL[C]∥The 2005 IEEE International Conference on e-Technology,e-Commerce ande-Service.Los Alamitos:IEEE Computer Society,2005:208-213.
    [7]
    苏依拉,刘椿年.分布式β-PSML语言框架及其应用[J].北京工业大学学报,2005,31(4):427-433.SU Yi-la,LIU Chun-nian.A framework of the distributedβ-PSML and its applications[J].Journal of Beijing University ofTechnology,2005,31(4):427-433.(in Chinese)
    [8]
    BUCHHEIT M,DONINI F M,SCHAERF A.Decidable reasoning in terminological knowledge representation systems[J].Journal of Artificial Intelligence Research,1993,1(1):109-138.
    • Related Articles

Catalog

    Get Citation
    PDF
    XML
    Article views (6) PDF downloads (7) Cited by()
    Turn off MathJax
    Article Contents
    Abstract
    References

    Copyright © Editorial Department of Journal of Beijing University of Technology京公安备11019343018-20001

    Address：No.100 Pingleyuan, Chaoyang District, Beijing 100124,ChinaE-mail：xuebao_bjut@vip.163.com

    Supported by: Beijing Renhe Information Technology Co., Ltd.  Baidu Analytics

    /

    DownLoad:  Full-Size Img  PowerPoint
    Return
    Return