Description of the RACER System and its Applications.
作者： Volker Haarslev , Ralf Möller
DOI:
关键词: Semantic reasoner 、 Programming language 、 Description logic 、 Computer science 、 Abox
摘要: RACER implements a TBox and ABox reasoner for the logic SHIQ. was first full-fledged description system very expressive is based on optimized sound complete algorithms.
参考文章(29)
Enrico Franconi, Gary Ng, The i.com tool for Intelligent Conceptual Modeling. KRDB. pp. 45- 53 ,(2000)
Maurizio Lenzerini, Diego Calvanese, Daniele Nardi, Logics for Databases and Infor-mation Systems ,(1998)
Volker Haarslev, Ralf Möller, Optimizing Reasoning in Description Logics with Qualified Number Restrictions. Description Logics. ,(2001)
C. Lutz, The Complexity of Reasoning with Concrete Domains Revised Version Rheinisci-Westfalische Technische Hochschule. ,(1999)
Volker Haarslev, Martina Timmann, Ralf Möller, Combining Tableaux and Algebraic Methods for Reasoning with Qualified Number Restrictions. Description Logics. ,(2001)
I Horrocks, U Sattler, S Tobies, A PSpace algorithm for deciding ALCNIR satisfiability Rheinisci-Westfalische Technische Hochschule. ,(1998)
Volker Haarslev, Ralf Möller, High performance reasoning with very large knowledge bases: a practical case study international joint conference on artificial intelligence. pp. 161- 166 ,(2001)
Franz Baader, Extensions of Concept Languages for a Mechanical Engineering Application GWAI '92 Proceedings of the 16th German Conference on Artificial Intelligence: Advances in Artificial Intelligence. pp. 132- 143 ,(1992) , 10.1007/BFB0018999
Diego Calvanese, Maurizio Lenzerini, Daniele Nardi, Description Logics for Conceptual Data Modeling Logics for Databases and Information Systems. pp. 229- 263 ,(1998) , 10.1007/978-1-4615-5643-5_8
Jordi Alvarez, TBox Acquisition and Information Theory. Description Logics. pp. 11- 20 ,(2000)