http://www-ksl.stanford.edu/KSL_Abstracts/KSL-03-05.html Including Domain-Specific Reasoners with Reusable Ontologies