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 :: R.G. Schiller, ... , Reuter, Richter, Rodriguez, ... , Rudolph

Präferenzen

Zeige Schlüsselwörter Zeige Zusammenfassung

16.
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
15.
pdf
Geier, Thomas; Richter, Felix; Biundo, Susanne
Locally Conditioned Belief Propagation
Proceedings of the 31st Conference on Uncertainty in Artificial Intelligence (UAI) , Seite 296--305.
Herausgeber: AUAI Press,
2015
14.
pdf
Richter, Felix; Geier, Thomas; Biundo, Susanne
Believing in POMDPs
Proceedings of the First International Symposium on Companion Technology (ISCT 2015)
2015
13.
pdf
Geier, Thomas; Richter, Felix; Biundo, Susanne
Conditioned Belief Propagation Revisited: Extended Version
Dokument Nummer: UIB 2014-03
Ulm University,
August 2014
12.
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) , Seite 378--381.
Herausgeber: IEEE,
2014
11.
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) , Seite 386--394.
Herausgeber: AAAI Press,
2014
10.
pdf
Michelberger, Bernd; Ulmschneider, Klaus; Glimm, Birte; Mutschler, Bela; Reichert, Manfred
Maintaining Semantic Networks: Challenges and Algorithms
Proceedings of the 16th International Conference on Information Integration and Web-Based Applications & Services (iiWAS 2014) aus ACM International Conference Proceedings
Herausgeber: ACM,
2014
9.
pdf
Pragst, Louisa; Richter, Felix; Bercher, Pascal; Schattenberg, Bernd; Biundo, Susanne
Introducing Hierarchy to Non-Hierarchical Planning Models – A Case Study for Behavioral Adversary Models
28th PuK Workshop "Planen, Scheduling und Konfigurieren, Entwerfen" (PuK 2014)
2014
8.
default
Geier, Thomas; Richter, Felix; Biundo, Susanne
Conditioned Belief Propagation Revisited
In Schaub, Torsten and Friedrich, Gerhard and O'Sullivan, Barry, Editor, Proceedings of the 21st European Conference on Artificial Intelligence (ECAI 2014) Band 263 aus Frontiers in Artificial Intelligence and Applications , Seite 1011-1012.
Herausgeber: IOS Press, Amsterdam
2014
7.
pdf
R.G. Schiller, Marvin; Glimm, Birte
Towards Explicative Inference for OWL
Proceedings of the 2013 International Description Logic Workshop (DL 2013)
Herausgeber: CEUR Workshop Proceedings,
2013
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 :: Räuchle

Präferenzen

Zeige Schlüsselwörter Zeige Zusammenfassung

1.
default
Räuchle, Sören
Von Open Data zu Linked Open Data
Bachelor Thesis
Ulm University,
2014
Export als: BibTeX, XML