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 :: Räuchle

Preferences

Show keywords Show abstracts

1.
default
Räuchle, Sören
Von Open Data zu Linked Open Data
Bachelor Thesis
Ulm University,
2014
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 :: R.G. Schiller, ... , Reuter, Richter, Rodriguez, ... , Rudolph

Preferences

Show keywords Show abstracts

16.
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
15.
pdf
Geier, Thomas; Richter, Felix; Biundo, Susanne
Locally Conditioned Belief Propagation
Proceedings of the 31st Conference on Uncertainty in Artificial Intelligence (UAI) , page 296--305.
Publisher: AUAI Press,
2015
14.
pdf
Richter, Felix; Geier, Thomas; Biundo, Susanne
Believing in POMDPs
Proceedings of the First International Symposium on Companion Technology (ISCT 2015)
2015
13.
pdf
Geier, Thomas; Richter, Felix; Biundo, Susanne
Conditioned Belief Propagation Revisited: Extended Version
Document number: UIB 2014-03
Ulm University,
August 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
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
9.
pdf
Pragst, Louisa; Richter, Felix; Bercher, Pascal; Schattenberg, Bernd; Biundo, Susanne
Introducing Hierarchy to Non-Hierarchical Planning Models – A Case Study for Behavioral Adversary Models
28th PuK Workshop "Planen, Scheduling und Konfigurieren, Entwerfen" (PuK 2014)
2014
8.
default
Geier, Thomas; Richter, Felix; Biundo, Susanne
Conditioned Belief Propagation Revisited
In Schaub, Torsten and Friedrich, Gerhard and O'Sullivan, Barry, editor, Proceedings of the 21st European Conference on Artificial Intelligence (ECAI 2014) Volume 263 of Frontiers in Artificial Intelligence and Applications , page 1011-1012.
Publisher: IOS Press, Amsterdam
2014
7.
pdf
R.G. Schiller, Marvin; Glimm, Birte
Towards Explicative Inference for OWL
Proceedings of the 2013 International Description Logic Workshop (DL 2013)
Publisher: CEUR Workshop Proceedings,
2013
Export as: BibTeX, XML