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 :: A, B, C, D, F, G, H, I, K, L, M, N, O, P, Q, R, S, T, U, V, W, Z
Alle :: Matentzoglu, ... , Michelberger, Minker, Möller, ... , Mutschler

Präferenzen

Zeige Schlüsselwörter Zeige Zusammenfassung

18.
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
17.
pdf
Parsia, Bijan; Matentzoglu, Nicolas; Gonçalves, Rafael S.; Glimm, Birte; Steigmiller, Andreas
The OWL Reasoner Evaluation (ORE) 2015 Competition Report
Journal of Automated Reasoning (JAR), 59(4):455--482
2017
16.
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, aus Cognitive Technologies
Kapitel 24, Seite 485--491.
Herausgeber: Springer,
2017
15.
pdf
Schiller, Marvin; Behnke, Gregor; Schmautz, Mario; Bercher, Pascal; Kraus, Matthias; Dorna, Michael; Minker, Wolfgang; Glimm, Birte; Biundo, Susanne
A Paradigm for Coupling Procedural and Conceptual Knowledge in Companion Systems
Proceedings of the 2nd International Conference on Companion Technology (ICCT 2017)
Herausgeber: IEEE,
2017
14.
pdf
Mathieu, Christian; Klusch, Matthias; Glimm, Birte
QSMat: Query-Based Materialization for Efficient RDF Stream Processing
Proceedings of the 8th International Conference on Knowledge Engineering and Semantic Web (KESW 2017) Band 786 aus Communications in Computer and Information Science , Seite 159-174.
Herausgeber: Springer-Verlag,
2017
13.
pdf
Parsia, Bijan; Matentzoglu, Nicolas; S. Goncalves, Rafael; Glimm, Birte; Steigmiller, Andreas
The OWL Reasoner Evaluation (ORE) 2015 Resources
In Paul T. Groth and Elena Simperl and Alasdair J. G. Gray and Marta Sabou and Markus Krötzsch and Freddy Lécué and Fabian Flöck and Yolanda Gil, Editor, Proceedings of the 15th International Semantic Web Conference (ISWC 2016) Band 9982 aus Lecture Notes in Computer Science , Seite 159--167.
Herausgeber: Springer-Verlag,
2016
12.
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
11.
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) , Seite 43--48.
2015
10.
pdf
Parsia, Bijan; Matentzoglu, Nicolas; S. Goncalves, Rafael; Glimm, Birte; Steigmiller, Andreas
The OWL Reasoner Evaluation (ORE) 2015 Competition Report
In Thorsten Liebig and Achille Fokoue, Editor, Proceedings of the 11th International Workshop on Scalable Semantic Web Knowledge Base Systems co-located with 14th International Semantic Web Conference (ISWC 2015) Band 1457 aus CEUR Workshop Proceedings , Seite 2--15.
Herausgeber: CEUR-WS.org,
2015
9.
pdf
Glimm, Birte; Horrocks, Ian; Motik, Boris; Stoilos, Giorgos; Wang, Zhe
HermiT: An OWL 2 Reasoner
Journal of Automated Reasoning (JAR), 53(3):245-269
2014
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 :: Mack, Michel, Müller

Präferenzen

Zeige Schlüsselwörter Zeige Zusammenfassung

3.
default
Mack, Dennis
Visualisierung hierarchischer Domänenmodelle
Master Thesis
Ulm University,
November 2012
2.
default
Müller, Felix
Entwicklung und Evaluierung eines parallelen Tableau-Reasoners für Beschreibungslogiken
Diploma Thesis
Ulm University,
2007
1.
default
Michel, Sebastian
Semantikgestützte, benutzerorientierte Dokumentensuche
Diploma Thesis
Ulm University,
2006
Export als: BibTeX, XML