%0 Conference Paper %1 conf/ilp/BadeaN00 %A Badea, Liviu %A Nienhuys-Cheng, Shan-Hwei %B ILP %D 2000 %E Cussens, James %E Frisch, Alan M. %I Springer %K dblp %P 40-59 %T A Refinement Operator for Description Logics. %U http://dblp.uni-trier.de/db/conf/ilp/ilp2000.html#BadeaN00 %V 1866 %@ 3-540-67795-X

@inproceedings{conf/ilp/BadeaN00, added-at = {2017-05-17T00:00:00.000+0200}, author = {Badea, Liviu and Nienhuys-Cheng, Shan-Hwei}, biburl = {https://www.bibsonomy.org/bibtex/2b5921c1fea3624a16d924396797d87fb/dblp}, booktitle = {ILP}, crossref = {conf/ilp/2000}, editor = {Cussens, James and Frisch, Alan M.}, ee = {https://doi.org/10.1007/3-540-44960-4_3}, interhash = {2eb6d03d9ffeed0c955013e13510d104}, intrahash = {b5921c1fea3624a16d924396797d87fb}, isbn = {3-540-67795-X}, keywords = {dblp}, pages = {40-59}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-05-13T08:07:01.000+0200}, title = {A Refinement Operator for Description Logics.}, url = {http://dblp.uni-trier.de/db/conf/ilp/ilp2000.html#BadeaN00}, volume = 1866, year = 2000 }