Optimising Description Logic Subsumption (1999)
Cached
Download Links
| Venue: | Journal of Logic and Computation |
| Citations: | 53 - 16 self |
BibTeX
@ARTICLE{Horrocks99optimisingdescription,
author = {Ian Horrocks and Peter F. Patel-Schneider},
title = {Optimising Description Logic Subsumption},
journal = {Journal of Logic and Computation},
year = {1999},
volume = {9},
pages = {9--3}
}
Years of Citing Articles
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
Effective optimisation techniques can make a dramatic difference in the performance of knowledge representation systems based on expressive description logics. With currently-available desktop computers, systems that incorporate these techniques can effectively reason in description logics with intractable inference. Because of the correspondence between description logics and propositional modal logic, difficult problems in propositional modal logic can be effectively solved using the same techniques.
