دنبال کردن
Ralf Möller
Ralf Möller
Professor of Artificial Intelligence in Humanities, University of Hamburg
ایمیل تأیید شده در uni-hamburg.de - صفحهٔ اصلی
عنوان
نقل شده توسط
نقل شده توسط
سال
RACER system description‏
V Haarslev, R Möller‏
International Joint Conference on Automated Reasoning, 701-705, 2001‏
14732001
Description of the RACER System and its Applications.‏
V Haarslev, R Möller‏
Description Logics 49, 2001‏
4752001
Racer: A Core Inference Engine for the Semantic Web.‏
V Haarslev, R Möller‏
EON 87, 2003‏
4402003
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‏
2252004
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‏
2022008
High performance reasoning with very large knowledge bases: A practical case study‏
V Haarslev, R Möller‏
IJCAI 1, 161168, 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‏
1682003
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‏
1492003
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‏
1421999
Foundations of spatioterminological reasoning with description logics‏
V Haarslev, C Lutz, R Möller‏
KR 98, 112-123, 1998‏
1321998
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‏
1242017
Expressive ABox reasoning with number restrictions, role hierarchies, and transitively closed roles‏
V Haarslev, R Möller‏
1122000
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
On scene interpretation with description logics‏
B Neumann, R Möller‏
Cognitive Vision Systems: Sampling the Spectrum of Approaches, 247-275, 2006‏
902006
A stream-temporal query language for ontology based data access‏
ÖL Özçep, R Möller, C Neuenstadt‏
Joint German/Austrian Conference on Artificial Intelligence (Künstliche …, 2014‏
892014
Ontology-based reasoning techniques for multimedia interpretation and retrieval‏
R Möller, B Neumann‏
Semantic Multimedia and Ontologies: Theory and Applications, 55-98, 2008‏
792008
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‏
782001
سیستم در حال حاضر قادر به انجام عملکرد نیست. بعداً دوباره امتحان کنید.
مقاله‌ها 1–20