Consistency Testing: The RACE Experience Export

@inproceedings{citeulike:1581056, abstract = {. This paper presents the results of applying RACE, a description logic system for ALCNH R + , to modal logic SAT problems. Some aspects of the RACE architecture are discussed in detail: (i) techniques involving caching and (ii) techniques for dealing with individuals. 1 Introduction to the RACE Architecture The description logic (DL) ALCNH R + [5] extends the logic ALCHf R + (see [8] for a concept consistency calculus) by adding number restrictions. The inference services...}, author = {Haarslev, Volker and Moller, Ralf}, booktitle = {Analytic Tableaux and Related Methods}, citeulike-article-id = {1581056}, citeulike-linkout-0 = {http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.34.6197}, keywords = {description-logic, reasoning, tableaux}, pages = {57--61}, posted-at = {2007-08-22 00:09:39}, priority = {2}, title = {Consistency Testing: The RACE Experience}, url = {http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.34.6197}, year = {2000} }

TY - CONF ID - citeulike:1581056 L3 - citeulike-article-id:1581056 N2 - . This paper presents the results of applying RACE, a description logic system for ALCNH R + , to modal logic SAT problems. Some aspects of the RACE architecture are discussed in detail: (i) techniques involving caching and (ii) techniques for dealing with individuals. 1 Introduction to the RACE Architecture The description logic (DL) ALCNH R + [5] extends the logic ALCHf R + (see [8] for a concept consistency calculus) by adding number restrictions. The inference services... EP - 61 TI - Consistency Testing: The RACE Experience T2 - Analytic Tableaux and Related Methods SP - 57 KW - description-logic KW - reasoning KW - tableaux AU - Haarslev, Volker AU - Moller, Ralf PY - 2000/// UR - http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.34.6197 ER -