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

52.
default
The Semantic Web - ISWC 2010 - 9th International Semantic Web Conference, ISWC 2010, Shanghai, China, November 7-11, 2010, Revised Selected Papers, Part II
In Patel-Schneider, Peter F. and Pan, Yue and Hitzler, Pascal and Mika, Peter and Zhang, Lei and Pan, Jeff Z. and Horrocks, Ian and Glimm, Birte, Editor, Band 6497 aus Lecture Notes in Computer Science
Herausgeber: Springer,
2010
ISBN: 978-3-642-17748-4
51.
default
The Semantic Web - ISWC 2010 - 9th International Semantic Web Conference, ISWC 2010, Shanghai, China, November 7-11, 2010, Revised Selected Papers, Part I
In Patel-Schneider, Peter F. and Pan, Yue and Hitzler, Pascal and Mika, Peter and Zhang, Lei and Pan, Jeff Z. and Horrocks, Ian and Glimm, Birte, Editor, Band 6496 aus Lecture Notes in Computer Science
Herausgeber: Springer,
2010
ISBN: 978-3-642-17745-3
50.
pdf
Noppens, Olaf; Luther, Marko; Liebig, Thorsten
The OWLlink API: Teaching OWL Components a Common Protocol
In Evren Sirin and Kendall Clark, Editor, Proceedings of the 7th International Workshop on OWL: Experiences and Directions (OWLED 2010) Band 614 aus CEUR Workshop Proceedings
2010
49.
pdf
Liebig, Thorsten; Steigmiller, Andreas; Noppens, Olaf
Scalability via Parallelization of OWL Reasoning
Proceedings of the 4th International Workshop on New Forms of Reasoning for the Semantic Web: Scalable and Dynamic (NeFoRS 2010)
2010
48.
pdf
Hahn, Clemens; Turlier, Stéphane; Liebig, Thorsten; Gebhardt, Sascha; Roelle, Christopher
Metadata Aggregation for Personalized Music Playlists
In Leitner, Gerhard and Hitz, Martin and Holzinger, Andreas, Editor, Proceedings of the HCI in Work and Learning, Life and Leisure Band 6389 aus Lecture Notes in Computer Science , Seite 427--442.
Herausgeber: Springer Berlin / Heidelberg,
2010
47.
default
Liebig, Thorsten; Luther, Marko; Noppens, Olaf
OWLlink: Structural Specification
Member Submission
World Wide Web Consortium,
2010
46.
default
Noppens, Olaf; Luther, Marko; Liebig, Thorsten; Wessel, Michael
OWLlink: HTTP/XML Binding
Member Submission
World Wide Web Consortium,
2010
45.
default
Noppens, Olaf; Liebig, Thorsten
OWLlink Extension: Retraction HTTP/XML Binding
Member Submission
World Wide Web Consortium,
2010
44.
default
Noppens, Olaf; Liebig, Thorsten
OWLlink Extension: Retraction
Member Submission
World Wide Web Consortium,
2010
43.
pdf
Noppens, Olaf
Negative Property Assertion Pattern (NPAs), 2009
In Eva Blomqvist and Kurt Sandkuhl and Francois Scharffe and Vojt\v ech Svátek, Editor, Proceedings of the Workshop on Ontology Patterns (WOP 2009) Band 516 , Seite 120--123.
Herausgeber: CEUR Workshop Proceedings,
2009
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