%0 Conference Paper %1 Baa09 %A Baader, Franz %A Distel, Felix %B ICFCA %D 2009 %E Ferré, Sébastien %E Rudolph, Sebastian %I Springer %K AttributeExploration dl ontology %P 146-161 %T Exploring Finite Models in the Description Logic . %U http://dblp.uni-trier.de/db/conf/icfca/icfca2009.html#BaaderD09 %V 5548 %@ 978-3-642-01814-5

@inproceedings{Baa09, added-at = {2009-12-14T11:54:57.000+0100}, author = {Baader, Franz and Distel, Felix}, biburl = {https://www.bibsonomy.org/bibtex/2578417457dc235d389b94c10a37b55d3/jwollbold}, booktitle = {ICFCA}, crossref = {conf/icfca/2009}, date = {2009-05-18}, description = {dblp}, editor = {Ferré, Sébastien and Rudolph, Sebastian}, ee = {http://dx.doi.org/10.1007/978-3-642-01815-2_12}, interhash = {d5ba2f6aa48003f3e37d9931485b1c79}, intrahash = {578417457dc235d389b94c10a37b55d3}, isbn = {978-3-642-01814-5}, keywords = {AttributeExploration dl ontology}, pages = {146-161}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2009-12-14T11:54:57.000+0100}, title = {Exploring Finite Models in the Description Logic .}, url = {http://dblp.uni-trier.de/db/conf/icfca/icfca2009.html#BaaderD09}, volume = 5548, year = 2009 }