%0 Journal Article %1 journals/jair/CateFS13 %A ten Cate, Balder %A Franconi, Enrico %A Seylan, Inanç %D 2013 %J J. Artif. Intell. Res. %K dblp %P 347-414 %T Beth Definability in Expressive Description Logics. %U http://dblp.uni-trier.de/db/journals/jair/jair48.html#CateFS13 %V 48

@article{journals/jair/CateFS13, added-at = {2017-06-21T00:00:00.000+0200}, author = {ten Cate, Balder and Franconi, Enrico and Seylan, Inanç}, biburl = {https://www.bibsonomy.org/bibtex/2ecb2ef06661b57dc7935e34f08e530a9/dblp}, ee = {https://doi.org/10.1613/jair.4057}, interhash = {9c11d67417caa85c0b634d80363f00b6}, intrahash = {ecb2ef06661b57dc7935e34f08e530a9}, journal = {J. Artif. Intell. Res.}, keywords = {dblp}, pages = {347-414}, timestamp = {2017-06-22T11:39:13.000+0200}, title = {Beth Definability in Expressive Description Logics.}, url = {http://dblp.uni-trier.de/db/journals/jair/jair48.html#CateFS13}, volume = 48, year = 2013 }