%0 Journal Article %1 journals/corr/AiguierABH15b %A Aiguier, Marc %A Atif, Jamal %A Bloch, Isabelle %A Hudelot, Céline %D 2015 %J CoRR %K %T Some algebraic results in Description logics : Free model and inclusions, finite basis theorem, and completion of knowledge bases. %U http://dblp.uni-trier.de/db/journals/corr/corr1502.html#AiguierABH15b %V abs/1502.07634

@article{journals/corr/AiguierABH15b, added-at = {2023-12-14T15:41:30.000+0100}, author = {Aiguier, Marc and Atif, Jamal and Bloch, Isabelle and Hudelot, Céline}, biburl = {https://www.bibsonomy.org/bibtex/256d74d1a0ba2cce0f5ef85b719b4f8ef/admin}, ee = {http://arxiv.org/abs/1502.07634}, interhash = {ee52f90fd9657b6889759d8211823943}, intrahash = {56d74d1a0ba2cce0f5ef85b719b4f8ef}, journal = {CoRR}, keywords = {}, timestamp = {2023-12-14T15:41:30.000+0100}, title = {Some algebraic results in Description logics : Free model and inclusions, finite basis theorem, and completion of knowledge bases.}, url = {http://dblp.uni-trier.de/db/journals/corr/corr1502.html#AiguierABH15b}, volume = {abs/1502.07634}, year = 2015 }