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 :: Noppens

Preferences

Show keywords Show abstracts

1.
default
Noppens, Olaf
Ein graphbasierter Ontologie Editor zur Darstellung und Manipulation von OWL Lite Ontologien
Diploma Thesis
Ulm University,
2003
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 :: Nielsen, Nikitina, Noppens, Nothdurft

Preferences

Show keywords Show abstracts

40.
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
39.
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
38.
pdf
Behnke, Gregor; Schiller, Marvin; Ponomaryov, Denis; Nothdurft, Florian; Bercher, Pascal; Minker, Wolfgang; Glimm, Birte; Biundo, Susanne
A Unified Knowledge Base for Companion-Systems - A Case Study in Mixed-Initiative Planning
Proceedings of the First International Symposium on Companion Technology (ISCT 2015) , page 43--48.
2015
37.
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
36.
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
35.
pdf
Nikitina, Nadeschda; Glimm, Birte
Hitting the Sweetspot: Economic Rewriting of Knowledge Bases
Proceedings of the 11th International Semantic Web Conference (ISWC 2012) Volume 7649 of Lecture Notes in Computer Science , page 394-409.
Publisher: Springer-Verlag,
November 2012
34.
pdf
Nikitina, Nadeschda; Rudolph, Sebastian; Glimm, Birte
Interactive Ontology Revision
Journal of Web Semantics: Science, Services and Agents on the World Wide Web, 12-13:118-130
April 2012
ISSN: 1570-8268
33.
pdf
Liebig, Thorsten; Luther, Marko; Noppens, Olaf; Wessel, Michael
OWLlink
Journal Semantic Web - Interoperability, Usability, Applicability, 2(1):23--32
2011
ISSN: 1570-0844
32.
pdf
Nikitina, Nadeschda; Glimm, Birte; Rudolph, Sebastian
Wheat and Chaff - Practically Feasible Interactive Ontology Revision
Proceedings of the 10th International Semantic Web Conference (ISWC 2011) Volume 7031 , page 487-503.
Publisher: Springer-Verlag,
2011
31.
pdf
Noppens, Olaf; Luther, Marko; Liebig, Thorsten
The OWLlink API: Teaching OWL Components a Common Protocol
In Evren Sirin and Kendall Clark, editor, Proceedings of the 7th International Workshop on OWL: Experiences and Directions (OWLED 2010) Volume 614 of CEUR Workshop Proceedings
2010
Export as: BibTeX, XML