Volker Haarslev

Cited by

	All	Since 2020
Citations	6759	385
h-index	35	8
i10-index	104	6

580

290

145

435

19961997199819992000200120022003200420052006200720082009201020112012201320142015201620172018201920202021202220232024202526 40 49 77 96 159 156 171 320 451 577 530 565 473 401 322 323 309 285 198 226 150 153 130 86 87 79 63 67 3

Public access

View all

7 articles

0 articles

available

not available

Based on funding mandates

Co-authors

Ralf MöllerProfessor of Artificial Intelligence in Humanities, University of HamburgVerified email at uni-hamburg.de
Michael WesselSRI InternationalVerified email at sri.com
Carsten LutzProfessor of Computer Science, University of LeipzigVerified email at informatik.uni-leipzig.de
Christopher J. O. BakerProfessor, University of New BrunswickVerified email at unb.ca
René WitteAssociate Professor of Computer Science and Software Engineering, Concordia University, MontrealVerified email at cse.concordia.ca
Jocelyne FaddoulSaint Mary's UniversityVerified email at smu.ca
Uli SattlerProfessor, IMG, Department of Computer Science, University of ManchesterVerified email at cs.man.ac.uk
Robert StevensProfessor of Computer Science, Department of Computer Science, university of manchesterVerified email at manchester.ac.uk
Ragnhild Van Der StraetenPost-doc, Computer Science, VUBVerified email at vub.ac.be
Katy WolstencroftAmsterdam UMCVerified email at amsterdamumc.nl
Ronald CornetProfessor in Medical Informatics, Amsterdam UMC - University of AmsterdamVerified email at amsterdamumc.nl
Vijay SaraswatFidelity Quantitative Investment ResearchVerified email at saraswat.org

Volker Haarslev

Professor of Computer Science, Concordia University, Montreal, Canada

Verified email at cse.concordia.ca - Homepage

Artificial Intelligence Automated Reasoning Description Logics Semantic web


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
RACER system description V Haarslev, R Möller Automated Reasoning, 701-705, 2001	1517	2001
Description of the RACER System and its Applications. V Haarslev, R Möller Description Logics 49, 2001	474	2001
Racer: A Core Inference Engine for the Semantic Web. V Haarslev, R Möller EON 87, 2003	442	2003
The RacerPro knowledge representation and reasoning system V Haarslev, K Hidde, R Möller, M Wessel Semantic Web 3 (3), 267-277, 2012	234	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	200	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	170	2003
RACER Users's Guide and Reference Manual V Haarslev, R Möller	160*	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	139	1999
Foundations of spatioterminological reasoning with description logics V Haarslev, C Lutz, R Möller KR 98, 112-123, 1998	131	1998
Expressive ABox reasoning with number restrictions, role hierarchies, and transitively closed roles V Haarslev, R Möller	110	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	88	2008
Exploiting pseudo models for TBox and ABox reasoning in expressive description logics V Haarslev, R Möller, AY Turhan Automated Reasoning: First International Joint Conference, IJCAR 2001 Siena …, 2001	77	2001
Consistency testing: The RACE experience V Haarslev, R Möller International Conference on Automated Reasoning with Analytic Tableaux and …, 2000	73	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
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	64	2006
Optimization Techniques for Retrieving Resources Described in OWL/RDF Documents: First Results. V Haarslev, R Möller KR, 163-174, 2004	64	2004
Description logic systems R Möller, V Haarslev The Description Logic Handbook: Theory, Implementation, and Applications …, 2003	59	2003
Semantics-based information retrieval R Möller, V Haarslev, B Neumann na, 1998	59	1998
Formal semantics of visual languages using spatial reasoning V Haarslev Proceedings of Symposium on Visual Languages, 156-163, 1995	59	1995

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Follow

Cited by

Co-authors