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 :: Schalk, Scheele, Schmidt, Steigmiller, Suciu

Preferences

Show keywords Show abstracts

5.
default
Steigmiller, Andreas
Entwicklung und Optimierung eines parallelen, tableaubasierten Schlussfolgerungssystems für SROIQ
Master Thesis
Ulm University,
2011
4.
default
Suciu, Tudor
Integration des OWLlink Protokolls in das OWLAPI
Bachelor Thesis
Ulm University,
2009
3.
default
Scheele, Stephan
Tableaubasierte Ableitung und Erklärung von Subsumtionsbeziehungen
Master Thesis
Ulm University,
2007
2.
default
Schmidt, Patrick
Portierung einer Anwendung zur Selektion von Diensten auf ein mobiles Endgerät
Diploma Thesis
Ulm University,
2006
1.
default
Schalk, Michael
Kommunikation und Wissensmodellierung im CIA Agentensystem mit FIPA und Semantic Web
Diploma Thesis
Ulm University,
2002
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 :: S. Goncalves, ... , Schüssel, Seegebarth, Shearer, ... , Stuckenschmidt

Preferences

Show keywords Show abstracts

43.
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
42.
pdf
Reuter, Stephan; Scheel, Alexander; Geier, Thomas; Dietmayer, Klaus
Environment Adaption for Companion-Systems
In Susanne Biundo and Andreas Wendemuth, editor, of Cognitive Technologies
Chapter 15, page 301--320.
Publisher: Springer,
2017
41.
pdf
Glimm, Birte; Stuckenschmidt, Heiner
15 Years of Semantic Web: An Incomplete Survey
KI - Künstliche Intelligenz, 30(2):117--130
2016
ISSN: 0933-1875
40.
pdf
Glimm, Birte; Stuckenschmidt, Heiner
Special Issue on Semantic Web
KI - Künstliche Intelligenz, 30(2):113--115
2016
ISSN: 1610-1987
39.
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
38.
pdf
Steigmiller, Andreas; Glimm, Birte
Pay-As-You-Go Description Logic Reasoning by Coupling Tableau and Saturation Procedures
Journal of Artificial Intelligence Research, 54:535--592
2015
37.
pdf
Steigmiller, Andreas; Glimm, Birte; Liebig, Thorsten
Completion Graph Caching for Expressive Description Logics
Proceedings of the 28th International Workshop on Description Logics (DL 2015)
Publisher: CEUR Workshop Proceedings,
2015
36.
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
35.
pdf
Glimm, Birte; Kazakov, Yevgeny; Kollia, Ilianna; Stamou, Giorgos
Lower and Upper Bounds for SPARQL Queries over OWL Ontologies
Proceedings of the 28th International Workshop on Description Logics (DL 2015)
Publisher: CEUR Workshop Proceedings,
2015
34.
pdf
Behnke, Gregor; Ponomaryov, Denis; Schiller, Marvin; Bercher, Pascal; Nothdurft, Florian; Glimm, Birte; Biundo, Susanne
Coherence Across Components in Cognitive Systems – One Ontology to Rule Them All
Proceedings of the 25th International Joint Conference on Artificial Intelligence (IJCAI 2015) , page 1442-1449.
Publisher: AAAI Press,
2015
Export as: BibTeX, XML