Knowledge Representation and Reasoning

Intelligent systems are knowledge-based. They rely on formally defined knowledge about the domain of interest, spcified in a knowledge base using logical languages. This allows for using different inference mechanism to derive implicit information from a knowledge base. Furthermore, such algorithms can automatically detect inconsistencies and modelling errors, which is used to assist users when building a knoweldge base. 

Prof. Dr. Birte Glimm and Dr. Kazakov represent this area within the institute. The main research focus lies on the development of automated reasoning algorithms and optimisations. These are implemented in tools such as ELK, Konclude, or HermiT. Questions regarding the complexity and the efficient evaluation of ontological query languages constitute a further research topic. Members of the group were actively involved in the development of the Web Ontology Language OWL 2 and the SPARQL 1.1 query language standards within the World Wide Web Consortium (W3C). 

Reasoners of the institute are very successful at the OWL Reasoner Evaluation Competitions. In 2014 and 2015 our reasoners  ELK und Konclude won all six categories. In 2013 our reasoners won 7 out of 10 categories. 

Contact

email: Birte.Glimm(at)uni-ulm.de
phone: +49 (0)731/50-24125
fax:     +49 (0)731/50-24119

Postal Address

Birte Glimm
University of Ulm
Institute of Artificial Intelligence
D-89069 Ulm

Office

James-Franck-Ring
building O27, level 4
room 448

Students' Theses in the area of Knowledge Representation and Reasoning

Author


All :: B, F, G, H, K, L, M, N, O, R, S, V, W
All :: Mack, Michel, Müller

Preferences

Show keywords Show abstracts

3.
default
Mack, Dennis
Visualisierung hierarchischer Domänenmodelle
Master Thesis
Ulm University,
November 2012
2.
default
Müller, Felix
Entwicklung und Evaluierung eines parallelen Tableau-Reasoners für Beschreibungslogiken
Diploma Thesis
Ulm University,
2007
1.
default
Michel, Sebastian
Semantikgestützte, benutzerorientierte Dokumentensuche
Diploma Thesis
Ulm University,
2006
Export as: BibTeX, XML

Publications in the area of Knowledge Representation and Reasoning

Author


All :: A, B, C, D, F, G, H, I, K, L, M, N, O, P, Q, R, S, T, U, V, W, Z
All :: Matentzoglu, ... , Michelberger, Minker, Möller, ... , Mutschler

Preferences

Show keywords Show abstracts

14.
pdf
Bercher, Pascal; Richter, Felix; Hörnle, Thilo; Geier, Thomas; Höller, Daniel; Behnke, Gregor; Nielsen, Florian; Honold, Frank; Schüssel, Felix; Reuter, Stephan; Minker, Wolfgang; Weber, Michael; Dietmayer, Klaus; Biundo, Susanne
Advanced User Assistance for Setting Up a Home Theater
In Susanne Biundo and Andreas Wendemuth, editor, of Cognitive Technologies
Chapter 24, page 485--491.
Publisher: Springer,
2017
13.
pdf
Parsia, Bijan; Matentzoglu, Nicolas; S. Goncalves, Rafael; Glimm, Birte; Steigmiller, Andreas
The OWL Reasoner Evaluation (ORE) 2015 Resources
In Paul T. Groth and Elena Simperl and Alasdair J. G. Gray and Marta Sabou and Markus Krötzsch and Freddy Lécué and Fabian Flöck and Yolanda Gil, editor, Proceedings of the 15th International Semantic Web Conference (ISWC 2016) Volume 9982 of Lecture Notes in Computer Science , page 159--167.
Publisher: Springer-Verlag,
2016
12.
default
Ulmschneider, Klaus; Michelberger, Bernd; Glimm, Birte; Mutschler, Bela; Reichert, Manfred
On Maintaining Semantic Networks: Challenges, Algorithms, Use Cases
International Journal of Web Information Systems, 11(3):291-326
2015
11.
pdf
Behnke, Gregor; Schiller, Marvin; Ponomaryov, Denis; Nothdurft, Florian; Bercher, Pascal; Minker, Wolfgang; Glimm, Birte; Biundo, Susanne
A Unified Knowledge Base for Companion-Systems - A Case Study in Mixed-Initiative Planning
Proceedings of the First International Symposium on Companion Technology (ISCT 2015) , page 43--48.
2015
10.
pdf
Parsia, Bijan; Matentzoglu, Nicolas; S. Goncalves, Rafael; Glimm, Birte; Steigmiller, Andreas
The OWL Reasoner Evaluation (ORE) 2015 Competition Report
In Thorsten Liebig and Achille Fokoue, editor, Proceedings of the 11th International Workshop on Scalable Semantic Web Knowledge Base Systems co-located with 14th International Semantic Web Conference (ISWC 2015) Volume 1457 of CEUR Workshop Proceedings , page 2--15.
Publisher: CEUR-WS.org,
2015
9.
pdf
Glimm, Birte; Horrocks, Ian; Motik, Boris; Stoilos, Giorgos; Wang, Zhe
HermiT: An OWL 2 Reasoner
Journal of Automated Reasoning (JAR), 53(3):245-269
2014
8.
pdf
Honold, Frank; Bercher, Pascal; Richter, Felix; Nothdurft, Florian; Geier, Thomas; Barth, Roland; Hörnle, Thilo; Schüssel, Felix; Reuter, Stephan; Rau, Matthias; Bertrand, Gregor; Seegebarth, Bastian; Kurzok, Peter; Schattenberg, Bernd; Minker, Wolfgang; Weber, Michael; Biundo, Susanne
Companion-Technology: Towards User- and Situation-Adaptive Functionality of Technical Systems
10th International Conference on Intelligent Environments (IE 2014) , page 378--381.
Publisher: IEEE,
2014
7.
pdf
Michelberger, Bernd; Ulmschneider, Klaus; Glimm, Birte; Mutschler, Bela; Reichert, Manfred
Maintaining Semantic Networks: Challenges and Algorithms
Proceedings of the 16th International Conference on Information Integration and Web-Based Applications & Services (iiWAS 2014) of ACM International Conference Proceedings
Publisher: ACM,
2014
6.
pdf
Cheptsov, Alexey; Tenschert, Axel; Schmidt, Paul; Glimm, Birte; Matthesius, Mauricio; Liebig, Thorsten
Introducing a New Scalable Data-as-a-Service Cloud Platform for Enriching Traditional Text Mining Techniques by Integrating Ontology Modelling and Natural Language Processing
In Axel Tenschert and Alexey Cheptsov, editor, Proceedings of the International Workshop on Big Web Data (BigWebData 2013) of Lecture Notes in Computer Science
Publisher: Springer,
2013
5.
pdf
Chaussecourte, Pierre; Glimm, Birte; Horrocks, Ian; Motik, Boris; Pierre, Laurent
The Energy Management Adviser at EDF
Proceedings of the 12th International Semantic Web Conference (ISWC 2013) Volume 8219 of Lecture Notes in Computer Science , page 49-64.
Publisher: Springer-Verlag,
2013
Export as: BibTeX, XML