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

Preferences

Show keywords Show abstracts

1.
default
Volke, Mario
Ein Framework zur Erstellung Web-basierter Mashups für Ontologien
Bachelor Thesis
Ulm University,
2009
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 :: Vialard, Vlasov, Volke, von Henke

Preferences

Show keywords Show abstracts

8.
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
7.
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
6.
pdf
Ponomaryov, Denis; Vlasov, Dmitry
Concept Definability and Interpolation in Enriched Models of EL-TBoxes
Proceedings of the 26th International Workshop on Description Logics (DL 2013)
Publisher: CEUR Workshop Proceedings,
2013
5.
pdf
Liebig, Thorsten; Noppens, Olaf; von Henke, Friedrich
VIScover: Visualizing, Exploring, and Analysing Structured Data
Proceedings of the IEEE Symposium on Visual Analytics Science and Technology Symposium (VAST 2009) , page 259--260.
Publisher: IEEE, Atlantic City, USA
2009
4.
pdf
Volke, Mario; Liebig, Thorsten
Origo - A Client for a Distributed Semantic Social Network
Poster Proceesings of the 6th European Semantic Web Conference (ESWC 2009)
2009
3.
pdf
Avi\v zienis, Algirdas; Grigonyt\.e, Gintar\.e; Haller, Johann; von Henke, Friedrich; Liebig, Thorsten; Noppens, Olaf
Organizing Knowledge as an Ontology of the Domain of Resilient Computing by Means of Natural Language Processing -- An Experience Report --
Proceedings of the 22nd International Florida Artificial Intelligence Research Society Conference (FLAIRS-22)
Publisher: AAAI Press,
2009
2.
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
1.
pdf
Liebig, Thorsten; Pfeifer, Holger; von Henke, Friedrich
Reasoning Services for an OWL Authoring Tool: An Experience Report
Proceedings of the 2004 International Workshop on Description Logics (DL 2004)
2004
Export as: BibTeX, XML