A Tableau Algorithm for Description Logics with Concrete Domains and General TBoxes Export

@article{citeulike:1201370, author = {Lutz and Carsten and Milicic and Maja}, citeulike-article-id = {1201370}, citeulike-linkout-0 = {http://dx.doi.org/10.1007/s10817-006-9049-7}, citeulike-linkout-1 = {http://www.ingentaconnect.com/content/klu/jars/2007/00000038/F0030001/00009049}, doi = {10.1007/s10817-006-9049-7}, issn = {0168-7433}, journal = {Journal of Automated Reasoning}, keywords = {datalog, descriptionlogic, logic}, month = {April}, number = {1-3}, pages = {227--259}, posted-at = {2007-11-08 17:12:28}, priority = {5}, publisher = {Springer}, title = {A Tableau Algorithm for Description Logics with Concrete Domains and General TBoxes}, url = {http://dx.doi.org/10.1007/s10817-006-9049-7}, volume = {38}, year = {2007} }

TY - JOUR ID - citeulike:1201370 L3 - citeulike-article-id:1201370 IS - 1-3 JF - Journal of Automated Reasoning SN - 0168-7433 EP - 259 TI - A Tableau Algorithm for Description Logics with Concrete Domains and General TBoxes PB - Springer VL - 38 SP - 227 KW - datalog KW - descriptionlogic KW - logic AU - Lutz AU - Carsten AU - Milicic AU - Maja PY - 2007/04// UR - http://dx.doi.org/10.1007/s10817-006-9049-7 ER -