%0 Journal Article %1 journals/jar/FerrariFF10 %A Ferrari, Mauro %A Fiorentini, Camillo %A Fiorino, Guido %D 2010 %J J. Autom. Reason. %K dblp %N 4 %P 371-399 %T BCDLBC\!D\!L: Basic Constructive Description Logic. %U http://dblp.uni-trier.de/db/journals/jar/jar44.html#FerrariFF10 %V 44

@article{journals/jar/FerrariFF10, added-at = {2020-09-02T00:00:00.000+0200}, author = {Ferrari, Mauro and Fiorentini, Camillo and Fiorino, Guido}, biburl = {https://www.bibsonomy.org/bibtex/2f893fcde646fa84fd87fa08504913e36/dblp}, ee = {https://doi.org/10.1007/s10817-009-9160-7}, interhash = {d58586473260896596eb2817ab823fa7}, intrahash = {f893fcde646fa84fd87fa08504913e36}, journal = {J. Autom. Reason.}, keywords = {dblp}, number = 4, pages = {371-399}, timestamp = {2020-09-09T13:35:24.000+0200}, title = {BCDL\boldsymbol {\cal BC\!D\!L}: Basic Constructive Description Logic.}, url = {http://dblp.uni-trier.de/db/journals/jar/jar44.html#FerrariFF10}, volume = 44, year = 2010 }