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 Prof. 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 :: B, G, K, L, N, O, P, S, U
   

Präferenzen

Zeige Schlüsselwörter Zeige Zusammenfassung

131.
pdf
Behnke, Gregor; Schiller, Marvin; Kraus, Matthias; Bercher, Pascal; Schmautz, Mario; Dorna, Michael; Dambier, Michael; Minker, Wolfgang; Glimm, Birte; Biundo, Susanne
Alice in DIY wonderland or: Instructing novice users on how to use tools in DIY projects
AI Communications, 32(1):31-57
2019
130.
pdf
Kraus, Matthias; Schiller, Marvin; Behnke, Gregor; Bercher, Pascal; Biundo, Susanne; Glimm, Birte; Minker, Wolfgang
9th International Workshop on Spoken Dialogue Systems
In Rafael Banchs and Luis Fernando D'Haro and Haizhou Li, Editor, aus Lecture Notes in Electrical Engineering
Kapitel A Multimodal Dialogue Framework for Cloud-Based Companion Systems,
Herausgeber: Springer,
2019
129.
pdf
Kazakov, Yevgeny; Skocovsky, Peter
Enumerating Justifications using Resolution
In Didier Galmiche and Stephan Schulz and Roberto Sebastiani, Editor, IJCAR Band 10900 aus Lecture Notes in Computer Science , Seite 609--626.
Herausgeber: Springer,
2018
ISBN: 978-3-319-94204-9
128.
pdf
Kraus, Matthias; Behnke, Gregor; Bercher, Pascal; Schiller, Marvin; Biundo, Susanne; Glimm, Birte; Minker, Wolfgang
A Multimodal Dialogue Framework for Cloud-Based Companion Systems
Proc. of the 10th International Workshop on Spoken Dialog Systems Technology (IWSDS 2018)
2018
127.
pdf
Behnke, Gregor; Schiller, Marvin; Kraus, Matthias; Bercher, Pascal; Schmautz, Mario; Dorna, Michael; Minker, Wolfgang; Glimm, Birte; Biundo, Susanne
Instructing Novice Users on How to Use Tools in DIY Projects
Proceedings of the 27th International Joint Conference on Artificial Intelligence and the 23rd European Conference on Artificial Intelligence (IJCAI-ECAI 2018) , Seite 5805--5807.
Herausgeber: AAAI Press,
2018
126.
pdf
Brenner, Markus; Glimm, Birte
Embracing Change by Abstraction Materialization Maintenance for Large ABoxes
Proceedings of the 27th International Joint Conference on Artificial Intelligence and the 23rd European Conference on Artificial Intelligence (IJCAI-ECAI 2018)
Herausgeber: AAAI Press,
2018
125.
pdf
Schiller, Marvin; Behnke, Gregor; Bercher, Pascal; Kraus, Matthias; Dorna, Michael; Richter, Felix; Biundo, Susanne; Glimm, Birte; Minker, Wolfgang
Evaluating Knowledge-Based Assistance for DIY
Proceedings of MCI Workshop "Digital Companion" , Seite 925--930.
2018
124.
pdf
Perleth, Tanja; Schiller, Marvin; Glimm, Birte
Applying a Model of Text Comprehension to Automated Verbalizations of EL Derivations
Proceedings of DL 2018, CEUR Workshop Proceedings Vol. 2211
2018
123.
pdf
Parsia, Bijan; Matentzoglu, Nicolas; Goncalves, Rafael S.; Glimm, Birte; Steigmiller, Andreas
The OWL Reasoner Evaluation (ORE) 2015 Competition Report
Journal of Automated Reasoning (JAR), 59(4):455--482
2017
122.
default
Ponomaryov, Denis; Soutchanski, Mikhail
Progression of Decomposed Local-Effect Action Theories
ACM Transactions on Computational Logic, 18(2):1--41
2017
Export als: BibTeX, XML