Optimising propositional modal satisfiability for description logic subsumption (1998) [11 citations — 4 self]
Download:
|
|
by Ian Horrocks, Peter F. Patel-schneider
In Proceedings of AISC-98
http://www.cs.man.ac.uk/~horrocks/Publications/download/1998/aisc98.ps.gz
Add To MetaCart
Popular Tags
No tags have been applied to this document.
BibTeX | Add To MetaCart
@INPROCEEDINGS{Horrocks98optimisingpropositional,author = {Ian Horrocks and Peter F. Patel-schneider},
title = {Optimising propositional modal satisfiability for description logic subsumption},
booktitle = {In Proceedings of AISC-98},
year = {1998},
pages = {234--246},
publisher = {Springer-Verlag}
}
Years of Citing Articles
Abstract:
Abstract. Effective optimisation techniques can make a dramatic difference in the performance of knowledge representation systems based on expressive description logics. Because of the correspondence between description logics and propositional modal logic many of these techniques carry over into propositional modal logic satisfiability checking. Currently-implemented representation systems that employ these techniques, such as FaCT and DLP, make effective satisfiable checkers for various propositional modal logics. 1
