Consistency testing: The RACE experience

DOI10.1007/10722086_5MaRDI QIDQ2721226zbMATH OpenFDO

Authors Volker Haarslev, Ralf Möller

Publication date 1 July 2001

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/10722086_5

Mathematics Subject Classification ID

Recommendations

• RACER system description
• RACCOON: A Connection Reasoner for the Description Logic ALC
• An Experimental Evaluation of Global Caching for $\mathcal {ALC}$ (System Description)
• Encoding the Satisfiability of Modal and Description Logics into SAT: The Case Study of K(m)/ $\mathcal{ALC}$
• TANCS-2000 results for DLP

Cited in

(3)

• On the scalability of description logic instance retrieval
• EXPtime tableaux for ALC
• ExpTime tableaux for \(\mathcal {ALC}\) using sound global caching

This page was built for publication: Consistency testing: The RACE experience

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2721226)