26 search results - page 6 / 6 » Using Boolean Constraint Propagation for Sub-clauses Deducti... |
123
click to vote
DLOG
1998
15 years 28 days ago
1998
Effective systems for expressive description logics require a heavily-optimised subsumption checker incorporating a range of optimisation techniques. Because of the correspondence...