Wissensrepräsentation und automatisches Schlussfolgern

Intelligente Systeme arbeiten wissensbasiert. Sie stützen sich auf formal definiertes  Wissen über den Anwendungsbereich, das mittels logischer Sprachen in maschinen-lesbaren Wissensbasen spezifiziert ist. Dies erlaubt zum einen den Einsatz verschiedener Inferenzmechanismen, um aus dem explizit gegebenen Wissen weiteres, implizites Wissen abzuleiten. Zum zweiten ist es dadurch möglich automatisch Widersprüche und Modellierungsfehler zu erkennen und den Benutzern so beim Aufbau von adäquaten Wissensbasen zu assistieren. 

Innerhalb des Instituts wird der Arbeitsbereich durch Juniorprof. Dr. Birte Glimm und Dr. Yevgeny Kazakov geleitet. Ein Schwerpunkt liegt in der Entwicklung von Algorithmen und Optimierungen für Tools zum automatischen Schlussfolgern. Diese werden in Tools wie ELK, Konclude oder HermiT zum automatischen Schlussfolgern in Ontologien implementiert. Auch Fragestellungen im Bereich von Anfragesprachen für Ontologien wie z.B. SPARQL gehören zu den aktiven Forschungsthemen. Mitglieder der Gruppe waren aktiv an der Standardisierung der Web Ontology Language OWL und des SPARQL 1.1 Standards durch das World Wide Web Consortium (W3C) beteiligt. 

Die Reasoner des Instituts sind sehr erfolgreich bei den OWL Reasoner Evaluation Competitions. In 2014 und 2015 gewannen die an der Uni Ulm entwickelten Reasoner ELK und Konclude alle sechs Kategorien. In 2013 und gewannen unsere Reasoner in 7 der 10 Kategorien. 

Kontakt

E-Mail: Birte.Glimm(at)uni-ulm.de
Telefon: +49 (0)731/50-24125
Telefax: +49 (0)731/50-24119

Postanschrift

Birte Glimm
Universität Ulm
Institut für Künstliche Intelligenz
D-89069 Ulm

Büro

James-Franck-Ring
Gebäude O27, 4. Niveau
Raum 448 

Publikationen in dem Gebiet der Wissensrepräsentation und des Schlussfolgerns

Autor


Alle :: A, B, C, D, F, G, H, I, K, L, M, N, O, P, Q, R, S, T, U, V, W, Z
Alle :: Vialard, Vlasov, Volke, von Henke

Präferenzen

Zeige Schlüsselwörter Zeige Zusammenfassung

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) Band 8797 aus Lecture Notes in Computer Science , Seite 180-195.
Herausgeber: 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) Band 1193 aus CEUR Workshop Proceedings , Seite 180-195.
Herausgeber: 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)
Herausgeber: 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) , Seite 259--260.
Herausgeber: 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)
Herausgeber: 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) Band 4519 aus Lecture Notes in Computer Science , Seite 296--310.
Herausgeber: 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 als: BibTeX, XML

Studentische Abschlussarbeiten in dem Gebiet der Wissensrepräsentation und des Schlussfolgerns

Autor


Alle :: B, F, G, H, K, L, M, N, O, R, S, V, W
Alle :: Volke

Präferenzen

Zeige Schlüsselwörter Zeige Zusammenfassung

1.
default
Volke, Mario
Ein Framework zur Erstellung Web-basierter Mashups für Ontologien
Bachelor Thesis
Ulm University,
2009
Export als: BibTeX, XML