描述逻辑是一类知识表示的形式系统,并成为语义Web的逻辑基础.Tableau 是描述逻辑的基本证明论,基于Tableau的算法提供了描述逻辑的推理机,本文系统地阐述了对应于语义Web语言从基本的ALC到SHOQ(D)的描述逻辑基础及其相应的Tableau算法.中文核心期刊要目总览(PKU)中国科学引文数据库(CSCD)031-11,353
Статья посвящена исследованию необходимости изменения табличного алгоритма с целью уменьшения времен...
The Tableau Workbench (TWB) is a generic framework for building automated theorem provers for arbitr...
AbstractNous présentons dans cet article un algorithme qui permet de construire parmi les tableaux s...
Abstract. Although state-of-the-art description logic (DL) reasoners are equipped with a comprehensi...
In this work, we propose an ExpSpace tableau-based algorithm for deciding consistency of a knowledge...
The tableau algorithm implemented in the FaCT knowledge representation system decides satisfiability...
This paper presents a method for synthesising sound and complete tableaucalculi. Given a specificati...
A computation rule determines the order of selecting premises during an inference process. In this p...
AbstractIn the first part of this paper, we motivated and defined three systems of constructive and ...
AbstractThe last years have seen two major advances in Knowledge Representation and Reasoning. First...
Abstract. We study ALCKm, which extends the description logic ALC by adding modal operators of the b...
Table of Contents: Boosting Verification Scalability via Structural Grouping and Semantic Partitioni...
Table of Contents: Preface -- Conference Organization -- Invited Tutorial: Considerations in the Des...
Qualified cardinality restrictions are expressive language constructs which extend the basic descrip...
This paper presents a tableaux decision procedure for SHOIQ, the DL underlying OWL DL. To the best o...
Статья посвящена исследованию необходимости изменения табличного алгоритма с целью уменьшения времен...
The Tableau Workbench (TWB) is a generic framework for building automated theorem provers for arbitr...
AbstractNous présentons dans cet article un algorithme qui permet de construire parmi les tableaux s...
Abstract. Although state-of-the-art description logic (DL) reasoners are equipped with a comprehensi...
In this work, we propose an ExpSpace tableau-based algorithm for deciding consistency of a knowledge...
The tableau algorithm implemented in the FaCT knowledge representation system decides satisfiability...
This paper presents a method for synthesising sound and complete tableaucalculi. Given a specificati...
A computation rule determines the order of selecting premises during an inference process. In this p...
AbstractIn the first part of this paper, we motivated and defined three systems of constructive and ...
AbstractThe last years have seen two major advances in Knowledge Representation and Reasoning. First...
Abstract. We study ALCKm, which extends the description logic ALC by adding modal operators of the b...
Table of Contents: Boosting Verification Scalability via Structural Grouping and Semantic Partitioni...
Table of Contents: Preface -- Conference Organization -- Invited Tutorial: Considerations in the Des...
Qualified cardinality restrictions are expressive language constructs which extend the basic descrip...
This paper presents a tableaux decision procedure for SHOIQ, the DL underlying OWL DL. To the best o...
Статья посвящена исследованию необходимости изменения табличного алгоритма с целью уменьшения времен...
The Tableau Workbench (TWB) is a generic framework for building automated theorem provers for arbitr...
AbstractNous présentons dans cet article un algorithme qui permet de construire parmi les tableaux s...
DOI
Add to ORKG