Follow
Ralf Möller
Ralf Möller
Professor of Artificial Intelligence in Humanities, University of Hamburg
Verified email at uni-hamburg.de - Homepage
Title
Cited by
Cited by
Year
RACER system description
V Haarslev, R Möller
International Joint Conference on Automated Reasoning, 701-705, 2001
14762001
Description of the RACER System and its Applications.
V Haarslev, R Möller
Description Logics 49, 2001
4722001
Racer: A Core Inference Engine for the Semantic Web.
V Haarslev, R Möller
EON 87, 2003
4422003
The RacerPro knowledge representation and reasoning system
V Haarslev, K Hidde, R Möller, M Wessel
Semantic Web 3 (3), 267-277, 2012
2312012
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
2222004
The DIG Description Logic Interface.
S Bechhofer, R Möller, P Crowther
Description Logics 81, 2003
2212003
On scene interpretation with description logics
B Neumann, R Möller
Image and Vision Computing 26 (1), 82-101, 2008
2012008
High performance reasoning with very large knowledge bases: A practical case study
V Haarslev, R Möller
IJCAI 1, 161-168, 2001
2002001
Racer: An owl reasoning agent for the semantic web
V Haarslev, R Möller
Proceedings of the International Workshop on Applications, Products and …, 2003
1702003
Racer user’s guide and reference manual
V Haarslev, R Möller, H Schloßstraßse
September, 2003
160*2003
The DIG description logic interface: DIG/1.1
S Bechhofer, R Möller, P Crowther
Proceedings of the 2003 Description Logic Workshop (DL 2003), 2003
1512003
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
1391999
Foundations of spatioterminological reasoning with description logics
V Haarslev, C Lutz, R Möller
KR 98, 112-123, 1998
1311998
Semantic access to streaming and static data at Siemens
E Kharlamov, T Mailis, G Mehdi, C Neuenstadt, Ö Özçep, M Roshchin, ...
Journal of Web Semantics 44, 54-74, 2017
1162017
Expressive ABox reasoning with number restrictions, role hierarchies, and transitively closed roles
V Haarslev, R Möller
1102000
On scene interpretation with description logics
B Neumann, R Möller
Cognitive Vision Systems: Sampling the Spectrum of Approaches, 247-275, 2006
912006
The Description Logic ALCNH R + Extended with Concrete Domains: A Practically Motivated Approach
V Haarslev, R Möller, M Wessel
Automated Reasoning: First International Joint Conference, IJCAR 2001 Siena …, 2001
912001
A stream-temporal query language for ontology based data access
ÖL Özçep, R Möller, C Neuenstadt
KI 2014: Advances in Artificial Intelligence: 37th Annual German Conference …, 2014
872014
Ontology-based reasoning techniques for multimedia interpretation and retrieval
R Möller, B Neumann
Semantic Multimedia and Ontologies: Theory and Applications, 55-98, 2008
782008
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
772001
The system can't perform the operation now. Try again later.
Articles 1–20