@article{Badea:2000:ROD,
title = {A Refinement Operator for Description Logics},
author = {Liviu Badea and Shan-Hwei Nienhuys-Cheng},
journal = {Lecture Notes in Computer Science},
pages = {40--??},
url = {http://link.springer-ny.com/link/service/series/0558/bibs/1866/18660040.htm;},
volume = {1866},
year = {2000},
issn = {0302-9743}, bibdate = {Fri Feb 1 09:16:51 MST 2002}, bibsource = {http://link.springer-ny.com/link/service/series/0558/tocs/t.htm}, acknowledgement = {Nelson H. F. Beebe, Center for Scientific
Computing, University of Utah, Department of
Mathematics, 110 LCB, 155 S 1400 E RM 233, Salt Lake
City, UT 84112-0090, USA, Tel: +1 801 581 5254, FAX: +1
801 581 4148, e-mail: \path|beebe@math.utah.edu|,
\path|beebe@acm.org|, \path|beebe@computer.org|,
\path|beebe@ieee.org| (Internet), URL:
\path|http://www.math.utah.edu/~beebe/|}, coden = {LNCSD9},
keywords = {concept_learning imported }
}