3758 search results - page 28 / 752 » A Complete Subsumption Algorithm |
DLOG
2004
13 years 9 months ago
2004
We show how a tableaux algorithm for SHIQ can be extended to support role boxes that include range and domain axioms, prove that the extended algorithm is still a decision procedur...
COCO
1994
Springer
13 years 11 months ago
1994
Springer
We show the following results regarding complete sets.
DLOG
2010
13 years 5 months ago
2010
The least common subsumer (lcs) w.r.t general EL-TBoxes does not need to exists in general due to cyclic axioms. In this paper we present an algorithm for computing role-depth boun...
COCO
2009
Springer
14 years 2 months ago
2009
Springer
ERSHOV
2009
Springer
14 years 2 months ago
2009
Springer
Abstract. We present an algorithm for generating all polynomial invariants of Psolvable loops with assignments and nested conditionals. We prove termination of our algorithm. The p...