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. 

Juniorprof. 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 :: Hahn, Halder, Halfmann

Preferences

Show keywords Show abstracts

3.
default
Hahn, Clemens
Anbieteruübergreifende Metamodellierung von Multimediainhalten zur Generierung und Präsentation von Playlists im Fahrzeug
Diploma Thesis
Ulm University,
2010
2.
default
Halfmann, Michael
Entwicklung einer Erklärungskomponente für tablauxbasierte Subsumtionsbeweise
Diploma Thesis
Ulm University,
2005
1.
default
Halder, Alexander
Entwurf und Nutzung von Ontologien zur Produktteileverwaltung am Beispiel des Geschäftsfeldes PKW der DaimlerChrysler AG
Diploma Thesis
Ulm University,
2004
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 :: Hahn, ... , Hoernle, Höfling, Hogan, ... , Horrocks

Preferences

Show keywords Show abstracts

14.
pdf
Bercher, Pascal; Höller, Daniel; Behnke, Gregor; Biundo, Susanne
More than a Name? On Implications of Preconditions and Effects of Compound HTN Planning Tasks
Proceedings of the 22nd European Conference on Artificial Intelligence (ECAI 2016) , page 225--233.
Publisher: IOS Press,
2016
13.
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
12.
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
11.
pdf
Bercher, Pascal; Biundo, Susanne; Geier, Thomas; Hoernle, Thilo; Nothdurft, Florian; Richter, Felix; Schattenberg, Bernd
Plan, Repair, Execute, Explain - How Planning Helps to Assemble your Home Theater
Proceedings of the 24th International Conference on Automated Planning and Scheduling (ICAPS 2014) , page 386--394.
Publisher: AAAI Press,
2014
10.
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
9.
pdf
Glimm, Birte; Horrocks, Ian; Motik, Boris; Shearer, Rob; Stoilos, Giorgos
A Novel Approach to Ontology Classification
Journal of Web Semantics: Science, Services and Agents on the World Wide Web, 14:84-101
July 2012
ISSN: 1570-8268
8.
pdf
Glimm, Birte; Hogan, Aidan; Krötzsch, Markus; Polleres, Axel
OWL: Yet to arrive on the Web of Data?
Volume 937
Proceedings of the 5th Linked Data on the Web Workshop (LDOW2012)
Publisher: CEUR Workshop Proceedings,
April 2012
7.
pdf
Hahn, Clemens; Turlier, Stéphane; Liebig, Thorsten; Gebhardt, Sascha; Roelle, Christopher
Metadata Aggregation for Personalized Music Playlists
In Leitner, Gerhard and Hitz, Martin and Holzinger, Andreas, editor, Proceedings of the HCI in Work and Learning, Life and Leisure Volume 6389 of Lecture Notes in Computer Science , page 427--442.
Publisher: Springer Berlin / Heidelberg,
2010
6.
pdf
Avi\v zienis, Algirdas; Grigonyt\.e, Gintar\.e; Haller, Johann; von Henke, Friedrich; Liebig, Thorsten; Noppens, Olaf
Organizing Knowledge as an Ontology of the Domain of Resilient Computing by Means of Natural Language Processing -- An Experience Report --
Proceedings of the 22nd International Florida Artificial Intelligence Research Society Conference (FLAIRS-22)
Publisher: AAAI Press,
2009
5.
pdf
Liebig, Thorsten; Luther, Marko; Noppens, Olaf; Rodriguez, Mariano; Calvanese, Diego; Wessel, Michael; Horridge, Matthew; Bechhofer, Sean; Tsarkov, Dmitry; Sirin, Evren
OWLlink: DIG for OWL 2
In Catherine Dolbear and Alan Ruttenberg and Ulrike Sattler, editor, Proceedings of the 5th OWLED Workshop on OWL: Experiences and Directions, collocated with the 7th International Semantic Web Conference (ISWC-2008), Karlsruhe, Germany, October 26-27, 2008 Volume 432 of CEUR Workshop Proceedings
2008
Export as: BibTeX, XML