| RACER system description V Haarslev, R Möller Automated Reasoning, 701-705, 2001 | 1536 | 2001 |
| Description of the RACER System and its Applications. V Haarslev, R Möller Description Logics 49, 2001 | 483 | 2001 |
| Racer: A Core Inference Engine for the Semantic Web. V Haarslev, R Möller EON 87, 2003 | 444 | 2003 |
| The RacerPro knowledge representation and reasoning system V Haarslev, K Hidde, R Möller, M Wessel Semantic Web 3 (3), 267-277, 2012 | 239 | 2012 |
| Querying the semantic web with Racer+ nRQL V Haarslev, R Möller, M Wessel Proceedings of the KI-2004 International Workshop on Applications of …, 2004 | 222 | 2004 |
| High performance reasoning with very large knowledge bases: A practical case study V Haarslev, R Möller International Joint Conference on Artificial Intelligence 17 (1), 161-168, 2001 | 205 | 2001 |
| Racer: An owl reasoning agent for the semantic web V Haarslev, R Möller Proceedings of the International Workshop on Applications, Products and …, 2003 | 171 | 2003 |
| RACER Users's Guide and Reference Manual V Haarslev, R Möller | 162* | 2000 |
| A description logic with concrete domains and a role-forming predicate operator V Haarslev, C Lutz, R Möller Journal of Logic and Computation 9 (3), 351-384, 1999 | 144 | 1999 |
| Foundations of spatioterminological reasoning with description logics V Haarslev, C Lutz, R Möller KR 98, 112-123, 1998 | 133 | 1998 |
| Expressive ABox reasoning with number restrictions, role hierarchies, and transitively closed roles V Haarslev, R Möller KR, 273-284, 2000 | 115 | 2000 |
| Ontological approach for the semantic recovery of traceability links between software artefacts Y Zhang, R Witte, J Rilling, V Haarslev IET software 2 (3), 185-203, 2008 | 89 | 2008 |
| Exploiting pseudo models for TBox and ABox reasoning in expressive description logics V Haarslev, R Möller, AY Turhan International Joint Conference on Automated Reasoning, 61-75, 2001 | 81 | 2001 |
| Consistency testing: The RACE experience V Haarslev, R Möller International Conference on Automated Reasoning with Analytic Tableaux and …, 2000 | 74 | 2000 |
| On the scalability of description logic instance retrieval V Haarslev, R Möller Journal of Automated Reasoning 41 (2), 99-142, 2008 | 67 | 2008 |
| Optimization Techniques for Retrieving Resources Described in OWL/RDF Documents: First Results. V Haarslev, R Möller KR, 163-174, 2004 | 67 | 2004 |
| An ontology-based approach for traceability recovery Y Zhang, R Witte, J Rilling, V Haarslev 3rd International Workshop on Metamodels, Schemas, Grammars, and Ontologies …, 2006 | 65 | 2006 |
| Formal semantics of visual languages using spatial reasoning V Haarslev Proceedings of Symposium on Visual Languages, 156-163, 1995 | 61 | 1995 |
| Description logic systems R Möller, V Haarslev The Description Logic Handbook: Theory, Implementation, and Applications …, 2003 | 60 | 2003 |
| A fully formalized theory for describing visual notations V Haarslev Visual language theory, 261-292, 1998 | 60 | 1998 |
Ralf MöllerProfessor of Artificial Intelligence in Humanities, University of HamburgVerified email at uni-hamburg.de
