Volker Haarslev 个人学术档案

引用次数

	总计	2019 年至今
引用	6732	493
h 指数	35	10
i10 指数	104	10

580

290

145

435

1996199719981999200020012002200320042005200620072008200920102011201220132014201520162017201820192020202120222023202426 40 49 77 96 160 156 169 319 448 577 528 567 474 399 324 321 312 286 198 224 151 153 129 86 86 81 61 50

开放获取的出版物数量

查看全部

6 篇文章

1 篇文章

可查看的文章

无法查看的文章

根据资助方的强制性开放获取政策

合著作者

Ralf MöllerProfessor of Artificial Intelligence in Humanities, University of Hamburg在 uni-hamburg.de 的电子邮件经过验证
Michael WesselSRI International在 sri.com 的电子邮件经过验证
Carsten LutzProfessor of Computer Science, University of Leipzig在 informatik.uni-leipzig.de 的电子邮件经过验证
Christopher J. O. BakerProfessor, University of New Brunswick在 unb.ca 的电子邮件经过验证
René WitteAssociate Professor of Computer Science and Software Engineering, Concordia University, Montreal在 cse.concordia.ca 的电子邮件经过验证
Jocelyne FaddoulSaint Mary's University在 smu.ca 的电子邮件经过验证
Uli SattlerProfessor, IMG, Department of Computer Science, University of Manchester在 cs.man.ac.uk 的电子邮件经过验证
Robert StevensProfessor of Computer Science, Department of Computer Science, university of manchester在 manchester.ac.uk 的电子邮件经过验证
Ragnhild Van Der StraetenPost-doc, Computer Science, VUB在 vub.ac.be 的电子邮件经过验证
Katy WolstencroftGroup Leader, Life Science Semantics, Bioinformatics and Data Science, Leiden University, LIACS在 liacs.leidenuniv.nl 的电子邮件经过验证
Ronald CornetProfessor in Medical Informatics, Amsterdam UMC - University of Amsterdam在 amsterdamumc.nl 的电子邮件经过验证
Vijay SaraswatFidelity Quantitative Investment Research在 saraswat.org 的电子邮件经过验证

关注

Volker Haarslev

Professor of Computer Science, Concordia University, Montreal, Canada

在 cse.concordia.ca 的电子邮件经过验证 - 首页

Artificial Intelligence Automated Reasoning Description Logics Semantic web


标题按引用次数排序按年份排序按标题排序	引用次数引用次数	年份
RACER system description V Haarslev, R Möller Automated Reasoning, 701-705, 2001	1511	2001
Description of the RACER System and its Applications. V Haarslev, R Möller Description Logics 49, 2001	471	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	230	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	158*	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	130	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

系统目前无法执行此操作，请稍后再试。

文章 1–20

每年引用数

重复的引用

合并的引用

添加合著者合著作者

上传 PDF

关注此作者

引用次数

合著作者

引用