Add to ORKGThis paper presents a tableaux decision procedure for SHOIQ, the DL underlying OWL DL. To the best of our knowledge, this is the first goal-directed decision procedure for SHOIQ.
描述逻辑是一类知识表示的形式系统,并成为语义Web的逻辑基础.Tableau 是描述逻辑的基本证明论,基于Tableau的算法提供了描述逻辑的推理机,本文系统地阐述了对应于语义Web语言从基本的ALC...
Abstract. Although state-of-the-art description logic (DL) reasoners are equipped with a comprehensi...
Abstract. This is a system description of the Description Logic reasoner FaCT++. The reasoner implem...
We present a resolution-based decision procedure for the description logic SHOIQ—the logic underlyin...
We present a resolution-based decision procedure for the description logic SHOIQ - the logic underly...
We present a resolution-based decision procedure for the description logic SHOIQ—the logic underlyin...
We present a resolution-based decision procedure for the description logicQ1 SHOIQ - the logic under...
We present a new algorithm for reasoning in the description logic SHIQ, which is the most prominent ...
In this work, we propose an ExpSpace tableau-based algorithm for deciding consistency of a knowledge...
International audienceThe Semantic Web makes an extensive use of the OWL DL ontology language, under...
International audienceThe Semantic Web makes an extensive use of the OWL DL ontology language, under...
The tableau algorithm implemented in the FaCT knowledge representation system decides satisfiability...
Nowadays, saturation-based reasoners for the OWL EL profile are able to handle large ontologies such...
描述逻辑是一类知识表示的形式系统,并成为语义Web的逻辑基础.Tableau 是描述逻辑的基本证明论,基于Tableau的算法提供了描述逻辑的推理机,本文系统地阐述了对应于语义Web语言从基本的ALC...
Abstract. Although state-of-the-art description logic (DL) reasoners are equipped with a comprehensi...
Abstract. This is a system description of the Description Logic reasoner FaCT++. The reasoner implem...
We present a resolution-based decision procedure for the description logic SHOIQ—the logic underlyin...
We present a resolution-based decision procedure for the description logic SHOIQ - the logic underly...
We present a resolution-based decision procedure for the description logic SHOIQ—the logic underlyin...
We present a resolution-based decision procedure for the description logicQ1 SHOIQ - the logic under...
We present a new algorithm for reasoning in the description logic SHIQ, which is the most prominent ...
In this work, we propose an ExpSpace tableau-based algorithm for deciding consistency of a knowledge...
International audienceThe Semantic Web makes an extensive use of the OWL DL ontology language, under...
International audienceThe Semantic Web makes an extensive use of the OWL DL ontology language, under...
The tableau algorithm implemented in the FaCT knowledge representation system decides satisfiability...
Nowadays, saturation-based reasoners for the OWL EL profile are able to handle large ontologies such...
描述逻辑是一类知识表示的形式系统,并成为语义Web的逻辑基础.Tableau 是描述逻辑的基本证明论,基于Tableau的算法提供了描述逻辑的推理机,本文系统地阐述了对应于语义Web语言从基本的ALC...
Abstract. Although state-of-the-art description logic (DL) reasoners are equipped with a comprehensi...
Abstract. This is a system description of the Description Logic reasoner FaCT++. The reasoner implem...