@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},
	biburl = {http://www.bibsonomy.org/bibtex/274c80f82f07ab20d0470db24bcc64810/jens},
	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 }
}