Volker Haarslev

Cited by

	All	Since 2018
Citations	6650	560
h-index	35	10
i10-index	102	12

580

290

145

435

199619971998199920002001200220032004200520062007200820092010201120122013201420152016201720182019202020212022202331 40 50 84 92 159 149 177 323 450 577 532 573 468 402 322 331 311 275 194 222 156 147 131 87 89 82 23

Public access

View all

6 articles

1 article

available

not available

Based on funding mandates

Co-authors

Ralf MöllerProfessor of Computer Science, University of LübeckVerified email at uni-luebeck.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 WolstencroftAssistant Professor, Bioinformatics, Leiden University, LIACS, NetherlandsVerified email at liacs.leidenuniv.nl
Ronald CornetAssociate professor in Medical Informatics, Amsterdam UMC - University of AmsterdamVerified email at amsterdamumc.nl
Vijay SaraswatGoldman Sachs 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	1507	2001
Description of the RACER System and its Applications. V Haarslev, R Möller Description Logics 49, 2001	468	2001
Racer: A Core Inference Engine for the Semantic Web. V Haarslev, R Möller EON 87, 2003	435	2003
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	220	2004
The RacerPro knowledge representation and reasoning system V Haarslev, K Hidde, R Möller, M Wessel Semantic Web 3 (3), 267-277, 2012	218	2012
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	202	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	166	2003
RACER Users's Guide and Reference Manual V Haarslev, R Möller	155*	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	138	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 KR, 273-284, 2000	111	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	84	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	76	2001
Consistency testing: The RACE experience V Haarslev, R Möller Automated Reasoning with Analytic Tableaux and Related Methods …, 2000	72	2000
On the scalability of description logic instance retrieval V Haarslev, R Möller Journal of Automated Reasoning 41 (2), 99-142, 2008	65	2008
Optimization Techniques for Retrieving Resources Described in OWL/RDF Documents: First Results. V Haarslev, R Möller KR, 163-174, 2004	64	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	63	2006
Description logic systems R Möller, V Haarslev The Description Logic Handbook: Theory, Implementation, and Applications …, 2003	60	2003
Formal semantics of visual languages using spatial reasoning V Haarslev Proceedings of Symposium on Visual Languages, 156-163, 1995	60	1995
Describing Visual Notations V Haarslev Visual language theory, 261, 1998	59	1998

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