Home  Online Resources  Table of Contents

Journal of Logic and Computation, Volume 9, Issue 3, pp. 267-293: Abstract.

Optimizing description logic subsumption

I Horrocks1 and PF Patel-Schneider2

1Department of Computer Science, University of Manchester, Oxford Road, Manchester, M13 9PL, UK. E-mail: horrocks@cs.man.ac.uk, 2Bell Labs Research, Murray Hill, NJ, USA. E-mail: pfps@research.bell-labs.com

Effective optimization 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 a propositional modal logic can be effectively solved using the same techniques.

Key words: Description logic systems, optimization, propositional modal logics

  Full-Text PDF  (283 KB)

[ Oxford University Press]   [ Oxford Journals]   [ Comments & Feedback]   Copyright© Oxford University Press, 1999.