Track:
Contents
Downloads:
Abstract:
I am interested in using description logics (also known as terminological logics or KL-ONE style systems) to (1) foster the creation and organization of well-defined configuration knowledge bases, support the maintenance of such knowledge bases as they evolve over time, and (3) provide inferential support for configuration systems at run-time. I have proposed a new "predictive concept recognition" methodology for description logic which applies to configuration problem solving.