%0 Journal Article %1 journals/jar/KlarmanES11 %A Klarman, Szymon %A Endriss, Ulle %A Schlobach, Stefan %D 2011 %J J. Autom. Reason. %K dblp %N 1 %P 43-80 %T ABox Abduction in the Description Logic ALC. %U http://dblp.uni-trier.de/db/journals/jar/jar46.html#KlarmanES11 %V 46

@article{journals/jar/KlarmanES11, added-at = {2023-09-30T00:00:00.000+0200}, author = {Klarman, Szymon and Endriss, Ulle and Schlobach, Stefan}, biburl = {https://www.bibsonomy.org/bibtex/2f7a52267d904a8d73d8703e6fd4d9c42/dblp}, ee = {https://doi.org/10.1007/s10817-010-9168-z}, interhash = {edb3c8fd850d5f7290298ba2705227c7}, intrahash = {f7a52267d904a8d73d8703e6fd4d9c42}, journal = {J. Autom. Reason.}, keywords = {dblp}, number = 1, pages = {43-80}, timestamp = {2024-04-09T05:03:07.000+0200}, title = {ABox Abduction in the Description Logic ALC.}, url = {http://dblp.uni-trier.de/db/journals/jar/jar46.html#KlarmanES11}, volume = 46, year = 2011 }