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
   

Präferenzen

Zeige Schlüsselwörter Zeige Zusammenfassung

62.
default
KI 2012: Advances in Artificial Intelligence - 35th Annual German Conference on AI, Saarbrücken, Germany, September 24-27, 2012. Proceedings
In Glimm, Birte and Krüger, Antonio, Editor, Band 7526 aus Lecture Notes in Artificial Intelligence
Herausgeber: Springer,
2012
ISBN: 978-3-642-33346-0
61.
default
Proceedings of the ISWC 2012 Posters & Demonstrations Track, Boston, USA, November 11-15, 2012
In Glimm, Birte and Huynh, David, Editor, Band 914 aus CEUR Workshop Proceedings
Herausgeber: CEUR-WS.org,
2012
60.
pdf
Kazakov, Yevgeny; Krötzsch, Markus; Simančík, František
{ELK} Reasoner: Architecture and Evaluation
Proceedings of the 1st International Workshop on OWL Reasoner Evaluation ({ORE} 2012)
2012
59.
pdf
Steigmiller, Andreas; Liebig, Thorsten; Glimm, Birte
Extended Caching, Backjumping and Merging for Expressive Description Logics
Dokument Nummer: TR-2012-01
University of Ulm,
2012
58.
pdf
Kazakov, Yevgeny; Krötzsch, Markus; Simančík, František
ELK: A Reasoner for OWL EL Ontologies
University of Oxford,
2012
57.
pdf
Liebig, Thorsten; Luther, Marko; Noppens, Olaf; Wessel, Michael
OWLlink
Journal Semantic Web - Interoperability, Usability, Applicability, 2(1):23--32
2011
ISSN: 1570-0844
56.
pdf
Nikitina, Nadeschda; Glimm, Birte; Rudolph, Sebastian
Wheat and Chaff - Practically Feasible Interactive Ontology Revision
Proceedings of the 10th International Semantic Web Conference (ISWC 2011) Band 7031 , Seite 487-503.
Herausgeber: Springer-Verlag,
2011
55.
pdf
Geier, Thomas; Biundo, Susanne
Approximate Online Inference for Dynamic Markov Logic Networks
Proceedings of the 23rd IEEE International Conference on Tools with Artificial Intelligence (ICTAI) , Seite 764--768.
2011
54.
default
Schulz, Andreas; Schattenberg, Bernd; Woldeit, Marie; Brechmann, André; Biundo, Susanne; W. Ohl, Frank
Reinforcement learning and planning models for two-way-avoidance and reversal learning
Proceedings of the Annual Meeting of the Society For Neuroscience
2011
53.
pdf
Liebig, Thorsten; Opitz, Michael
Reasoning over Dynamic Data in Expressive Knowledge Bases with Rscale
Proceedings of Workshop on Ordering and Reasoning (OrdRing 2011)
2011
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
   

Präferenzen

Zeige Schlüsselwörter Zeige Zusammenfassung

4.
default
Wirth, Bertram
Ein webbasierter Reiseagent
Diploma Thesis
Ulm University,
2002
3.
default
Schalk, Michael
Kommunikation und Wissensmodellierung im CIA Agentensystem mit FIPA und Semantic Web
Diploma Thesis
Ulm University,
2002
2.
default
Kirbach, Andreas
Design, Implementierung und Optimierung eines kontinuierlich-sprachlichen automatischen Vermittlungssystems
Diploma Thesis
Ulm University,
2001
1.
default
Finkenzeller, Dieter
Graphische Darstellung und Manipulation von Wissensbasen
Diploma Thesis
Ulm University,
1999
Export als: BibTeX, XML