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

22.
pdf
Turhan, Anni-Yasmin; Bechhofer, Sean; Kaplunova, Alissa; Liebig, Thorsten; Luther, Marko; Möller, Ralf; Noppens, Olaf; Patel-Schneider, Peter F.; Boontawee, Suntisrivaporn; Timo, Weithöner
DIG2.0 -- Towards a Flexible Interface for Description Logic Reasoners
In Bernardo Cuenca Grau and Pascal Hitzler and Conor Shankey and Evan Wallace, Editor, Proceedings of the 2nd International Workshop on OWL: Experiences and Directions (OWLED 2006)
Athens, GA, USA
2006
21.
pdf
Liebig, Thorsten; Luther, Marko; Noppens, Olaf; Paolucci, Massimo; Wagner, Matthias
Building Applications and Tools for OWL -- Experiences and Suggestions
In Bernardo Cuenca Grau and Ian Horrocks and Bijan Parsia and Peter F. Patel-Schneider, Editor, Proceedings of the OWLED 2005 Workshop on OWL: Experiences and Directions Band 188 aus CEUR Workshop Proceedings
Herausgeber: CEUR-WS.org,
2006
20.
pdf
Noppens, Olaf; Luther, Marko; Wagner, Matthias; Paolucci, Massimo
Ontology-supported Preference Handling for Mobile Music Selection
Proceedings of the Multidisciplinary Workshop on Advances in Preference Handling
2006
19.
pdf
Noppens, Olaf; Liebig, Thorsten
Interactive Visualization of Large OWL Instance Sets
{Proceedings of the 3rd International Semantic Web User Interaction Workshop (SWUI}'06)
2006
18.
pdf
Timo, Weithöner; Liebig, Thorsten; Luther, Marko; Böhm, Sebastian
What's Wrong with OWL Benchmarks?
Proceedings of the Second International Workshop on Scalable Semantic Web Knowledge Base Systems (SSWS 2006) , Seite 101--114.
Athens, GA, USA
2006
17.
pdf
Müller, Felix; Hanselmann, Michael; Liebig, Thorsten; Noppens, Olaf
A Tableaux-based Mobile DL Reasoner - An Experience Report
Proceedings of the 2006 International Workshop on Description Logics (DL 2006)
Lake District, UK
2006
16.
pdf
Liebig, Thorsten
Reasoning with OWL - System Support and Insights -
Ulmer Informatik Berichte
Dokument Nummer: 2006-04
Ulm University,
2006
15.
default
Liebig, Thorsten; Noppens, Olaf
OntoTrack: A Semantic Approach for Ontology Authoring
Web Semantics: Science, Services and Agents on the World Wide Web, 3(2):116--131
2005
14.
pdf
Liebig, Thorsten; Halfmann, Michael
A Tableau-based Explainer for DL Subsumption
In Beckert, Bernhard, Editor, Proceedings of the International Conference on Automated Reasoning with Analytic Tableaux and Related Methods (TABLEAUX 2005) Band 3702 aus Lecture Notes in Computer Science , Seite 323--327.
Herausgeber: Springer Berlin / Heidelberg,
2005
13.
pdf
Pantschenko, Konstantin; Noppens, Olaf; Liebig, Thorsten
Grounding Web Services Semantically: Why and How?
W3C Workshop on Frameworks for Semantic in Services (W3C SWSF)
2005
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