Sciweavers

176 search results - page 36 / 36
» Microsearch: An Interface for Semantic Search
Sort
View
DLOG
1998
15 years 2 days ago
Comparing Subsumption Optimizations
Effective systems for expressive description logics require a heavily-optimised subsumption checker incorporating a range of optimisation techniques. Because of the correspondence...
Ian Horrocks, Peter F. Patel-Schneider