12 search results - page 1 / 3 » Optimizing Tableau Reasoning in ALC Extended with Uncertaint... |
DLOG
2007
13 years 7 months ago
2007
Abstract. There has been an increased interest in recent years to incorporate uncertainty in Description Logics (DLs), and a number of proposals have been put forward for modeling ...
DLOG
2008
13 years 7 months ago
2008
Abstract. We propose an approach for extending a tableau-based satisfiability algorithm by an arithmetic component. The result is a hybrid satisfiability algorithm for the Descript...
JAPLL
2010
13 years 3 months ago
2010
Semantic web applications based on the web ontology language (OWL) often require the use of numbers in class descriptions for expressing cardinality restrictions on properties or ...
CLIMA
2007
13 years 6 months ago
2007
We present a sound and complete tableau calculus for a class BReg of extended regular modal logics which contains useful epistemic logics for reasoning about agent beliefs. Our cal...
TABLEAUX
2005
Springer
13 years 10 months ago
2005
Springer
This paper describes the implementation of a tableau-based reasoning component which is capable of providing quasi natural language explanations for subsumptions within ALEHFR+ TBo...