A default extension to description logics for use in an intelligent search engine | IEEE Conference Publication | IEEE Xplore