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 :: Laib, Lambertz, Langbein, Langenmaier, ... , Löber

Preferences

Show keywords Show abstracts

6.
default
Löber, Alexandra
Evaluation verschiedener Anbieter von Texterkennungstechnologien für die Schwäbisch Hall Gruppe
Bachelor Thesis
Ulm University,
2013
5.
default
Langbein, Johannes
Konzeption und Implementierung eines lernenden, ontologie-basierten Erkenners von Entitäten und Relationen in natürlichsprachlichen Texten
Master Thesis
Ulm University,
May 2012
submitted
4.
default
Langenmaier, Stefan
Implementierung und Optimierung eines relationalen Schlussfolgerungssystems
Diploma Thesis
Ulm University,
2010
3.
default
Lindenberger, Dominik
Design and Implementation of a System for Semantic Search in Technical Articles
Diploma Thesis
Ulm University,
2008
2.
default
Laib, Florian
Adaption und Integration einer Erklärungskomponente in das Ontologiewerkzeug OntoTrack
Bachelor Thesis
Ulm University,
2007
1.
default
Lambertz, Julian
Erklärung und Korrektur von Nicht-Subsumtion in Ontologien
Diploma Thesis
Ulm University,
2007
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 :: Lambertz, Liebig, Luther

Preferences

Show keywords Show abstracts

61.
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
60.
pdf
Steigmiller, Andreas; Liebig, Thorsten; Glimm, Birte
Konclude: System Description
Journal of Web Semantics: Science, Services and Agents on the World Wide Web, 27(1)
2014
59.
pdf
Steigmiller, Andreas; Glimm, Birte; Liebig, Thorsten
Reasoning with Nominal Schemas through Absorption
Journal of Automated Reasoning, 53(4):351-405
2014
58.
pdf
Steigmiller, Andreas; Glimm, Birte; Liebig, Thorsten
Optimised Absorption for Expressive Description Logics
In Meghyn Bienvenu, Magdalena Ortiz, Riccardo Rosati, and Mantas Simkus, editor, Proceedings of the 27th International Workshop on Description Logics (DL 2014) Volume 1193 of CEUR Workshop Proceedings
Publisher: CEUR-WS.org,
2014
57.
pdf
Steigmiller, Andreas; Glimm, Birte; Liebig, Thorsten
Coupling Tableau Algorithms for Expressive Description Logics with Completion-based Saturation Procedures
In Stéphane Demri, Deepak Kapur and Christoph Weidenbach, editor, Proceedings of the 7th International Joint Conference on Automated Reasoning (IJCAR 2014) Volume 8562 of Lecture Notes in Computer Science , page 449-463.
Publisher: Springer-Verlag,
2014
56.
pdf
Glimm, Birte; Kazakov, Yevgeny; Liebig, Thorsten; Tran, Trung-Kien; Vialard, Vincent
Abstraction Refinement for Ontology Materialization
Proceedings of the 13th International Semantic Web Conference (ISWC 2014) Volume 8797 of Lecture Notes in Computer Science , page 180-195.
Publisher: Springer-Verlag,
2014
55.
pdf
Glimm, Birte; Kazakov, Yevgeny; Liebig, Thorsten; Tran, Trung-Kien; Vialard, Vincent
Abstraction Refinement for Ontology Materialization
Proceedings of the 27th International Workshop on Description Logics (DL 2014) Volume 1193 of CEUR Workshop Proceedings , page 180-195.
Publisher: CEUR-WS.org,
2014
54.
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
53.
pdf
Steigmiller, Andreas; Glimm, Birte; Liebig, Thorsten
Nominal Schema Absorption
Proceedings of the 23rd International Joint Conference on Artificial Intelligence (IJCAI 2013)
Publisher: AAAI Press/The MIT Press,
2013
52.
pdf
Steigmiller, Andreas; Glimm, Birte; Liebig, Thorsten
Extending Absorption to Nominal Schemas
Proceedings of the 26th International Description Logic Workshop (DL 2013)
Publisher: CEUR Workshop Proceedings,
2013
Export as: BibTeX, XML