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. 

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 

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. 

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 :: Hahn, ... , Hoernle, Höfling, Hogan, ... , Horrocks

Präferenzen

Zeige Schlüsselwörter Zeige Zusammenfassung

14.
pdf
Bercher, Pascal; Höller, Daniel; Behnke, Gregor; Biundo, Susanne
More than a Name? On Implications of Preconditions and Effects of Compound HTN Planning Tasks
Proceedings of the 22nd European Conference on Artificial Intelligence (ECAI 2016) , Seite 225--233.
Herausgeber: IOS Press,
2016
13.
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
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
Chaussecourte, Pierre; Glimm, Birte; Horrocks, Ian; Motik, Boris; Pierre, Laurent
The Energy Management Adviser at EDF
Proceedings of the 12th International Semantic Web Conference (ISWC 2013) Band 8219 aus Lecture Notes in Computer Science , Seite 49-64.
Herausgeber: Springer-Verlag,
2013
9.
pdf
Glimm, Birte; Horrocks, Ian; Motik, Boris; Shearer, Rob; Stoilos, Giorgos
A Novel Approach to Ontology Classification
Journal of Web Semantics: Science, Services and Agents on the World Wide Web, 14:84-101
Juli 2012
ISSN: 1570-8268
8.
pdf
Glimm, Birte; Hogan, Aidan; Krötzsch, Markus; Polleres, Axel
OWL: Yet to arrive on the Web of Data?
Band 937
Proceedings of the 5th Linked Data on the Web Workshop (LDOW2012)
Herausgeber: CEUR Workshop Proceedings,
April 2012
7.
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
6.
pdf
Avi\v zienis, Algirdas; Grigonyt\.e, Gintar\.e; Haller, Johann; von Henke, Friedrich; Liebig, Thorsten; Noppens, Olaf
Organizing Knowledge as an Ontology of the Domain of Resilient Computing by Means of Natural Language Processing -- An Experience Report --
Proceedings of the 22nd International Florida Artificial Intelligence Research Society Conference (FLAIRS-22)
Herausgeber: AAAI Press,
2009
5.
pdf
Liebig, Thorsten; Luther, Marko; Noppens, Olaf; Rodriguez, Mariano; Calvanese, Diego; Wessel, Michael; Horridge, Matthew; Bechhofer, Sean; Tsarkov, Dmitry; Sirin, Evren
OWLlink: DIG for OWL 2
In Catherine Dolbear and Alan Ruttenberg and Ulrike Sattler, Editor, Proceedings of the 5th OWLED Workshop on OWL: Experiences and Directions, collocated with the 7th International Semantic Web Conference (ISWC-2008), Karlsruhe, Germany, October 26-27, 2008 Band 432 aus CEUR Workshop Proceedings
2008
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 :: Hahn, Halder, Halfmann

Präferenzen

Zeige Schlüsselwörter Zeige Zusammenfassung

3.
default
Hahn, Clemens
Anbieteruübergreifende Metamodellierung von Multimediainhalten zur Generierung und Präsentation von Playlists im Fahrzeug
Diploma Thesis
Ulm University,
2010
2.
default
Halfmann, Michael
Entwicklung einer Erklärungskomponente für tablauxbasierte Subsumtionsbeweise
Diploma Thesis
Ulm University,
2005
1.
default
Halder, Alexander
Entwurf und Nutzung von Ontologien zur Produktteileverwaltung am Beispiel des Geschäftsfeldes PKW der DaimlerChrysler AG
Diploma Thesis
Ulm University,
2004
Export als: BibTeX, XML