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 :: Wendt, Wilhelm, Wirth, Wunner

Preferences

Show keywords Show abstracts

4.
default
Wendt, Michael
Tweet4U, Benachrichtigung eines Benutzers unter partieller Beobachtbarkeit
Bachelor Thesis
Ulm University,
2013
3.
default
Wunner, Tobias
Enhancing the Relation Extraction Process from Natural Language Sources with Linguistic Enriched Domain Ontologies
Diploma Thesis
Ulm University,
2009
2.
default
Wilhelm, Sebastian
Konzeption und Implementierung eines semantisch vernetzten Nachrichtenportals
Diploma Thesis
Ulm University,
2008
1.
default
Wirth, Bertram
Ein webbasierter Reiseagent
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 :: W. Ohl, ... , Wang, Webel, Weber, ... , Woldeit

Preferences

Show keywords Show abstracts

15.
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
14.
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
13.
pdf
Liebig, Thorsten; Luther, Marko; Noppens, Olaf; Wessel, Michael
OWLlink
Journal Semantic Web - Interoperability, Usability, Applicability, 2(1):23--32
2011
ISSN: 1570-0844
12.
default
Schulz, Andreas; Schattenberg, Bernd; Woldeit, Marie; Brechmann, André; Biundo, Susanne; W. Ohl, Frank
Reinforcement learning and planning models for two-way-avoidance and reversal learning
Proceedings of the Annual Meeting of the Society For Neuroscience
2011
11.
default
Noppens, Olaf; Luther, Marko; Liebig, Thorsten; Wessel, Michael
OWLlink: HTTP/XML Binding
Member Submission
World Wide Web Consortium,
2010
10.
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
9.
pdf
Weithöner, Timo
U2R2 - the Ulm University Relational Reasoner: System Description
In Nachum Dershowitz and Andrei Voronkov, editor, 14th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning of Short Paper Session Proceedings , page 55--59.
Publisher: Yerevan, Armenia,
2007
8.
pdf
Weithöner, Timo; Liebig, Thorsten; Luther, Marko; Böhm, Sebastian
DIG 2.0 Reference Middleware
In Bernardo Cuenca Grau and Pascal Hitzler and Conor Shankey and Evan Wallace, editor, Proceedings of the 3rd International Workshop on OWL: Experiences and Directions (OWLED 2007)
Insbruck, Austria
2007
7.
pdf
Weithöner, Timo; Liebig, Thorsten; Luther, Marko; Böhm, Sebastian; von Henke, Friedrich; Noppens, Olaf
Real-World Reasoning with OWL
In Enrico Franconi and Michael Kifer and Wolfgang May, editor, The Semantic Web: Research and Applications, Proceedings of the 4th European Semantic Web Conference (ESWC 2007) Volume 4519 of Lecture Notes in Computer Science , page 296--310.
Publisher: Springer,
2007
ISBN: 978-3-540-72666-1
6.
pdf
Liebig, Thorsten; Noppens, Olaf; Weithöner, Timo
Interactive Exploration of the Movie DB on a Semantic Level
Proceedings of the IEEE Information Visualization Contest 2007 (InfoVis 2007)
Publisher: IEEE Computer Society,
2007
Export as: BibTeX, XML