Volker Haarslev

Cited by

	All	Since 2019
Citations	6743	500
h-index	35	10
i10-index	104	10

580

290

145

435

1996199719981999200020012002200320042005200620072008200920102011201220132014201520162017201820192020202120222023202426 40 49 77 96 160 156 169 319 452 576 528 568 474 401 323 321 312 286 197 224 150 154 129 86 86 81 61 57

Public access

View all

6 articles

1 article

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 WolstencroftGroup Leader, Life Science Semantics, Bioinformatics and Data Science, Leiden University, LIACSVerified email at liacs.leidenuniv.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	1514	2001
Description of the RACER System and its Applications. V Haarslev, R Möller Description Logics 49, 2001	472	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	231	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	169	2003
RACER Users's Guide and Reference Manual V Haarslev, R Möller	159*	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	72	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