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 :: W. Ohl, ... , Wang, Webel, Weber, ... , Woldeit

Präferenzen

Zeige Schlüsselwörter Zeige Zusammenfassung

15.
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
14.
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
13.
pdf
Liebig, Thorsten; Luther, Marko; Noppens, Olaf; Wessel, Michael
OWLlink
Journal Semantic Web - Interoperability, Usability, Applicability, 2(1):23--32
2011
ISSN: 1570-0844
12.
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
11.
default
Noppens, Olaf; Luther, Marko; Liebig, Thorsten; Wessel, Michael
OWLlink: HTTP/XML Binding
Member Submission
World Wide Web Consortium,
2010
10.
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
9.
pdf
Weithöner, Timo
U2R2 - the Ulm University Relational Reasoner: System Description
In Nachum Dershowitz and Andrei Voronkov, Editor, 14th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning aus Short Paper Session Proceedings , Seite 55--59.
Herausgeber: Yerevan, Armenia,
2007
8.
pdf
Weithöner, Timo; Liebig, Thorsten; Luther, Marko; Böhm, Sebastian
DIG 2.0 Reference Middleware
In Bernardo Cuenca Grau and Pascal Hitzler and Conor Shankey and Evan Wallace, Editor, Proceedings of the 3rd International Workshop on OWL: Experiences and Directions (OWLED 2007)
Insbruck, Austria
2007
7.
pdf
Weithöner, Timo; Liebig, Thorsten; Luther, Marko; Böhm, Sebastian; von Henke, Friedrich; Noppens, Olaf
Real-World Reasoning with OWL
In Enrico Franconi and Michael Kifer and Wolfgang May, Editor, The Semantic Web: Research and Applications, Proceedings of the 4th European Semantic Web Conference (ESWC 2007) Band 4519 aus Lecture Notes in Computer Science , Seite 296--310.
Herausgeber: Springer,
2007
ISBN: 978-3-540-72666-1
6.
pdf
Liebig, Thorsten; Noppens, Olaf; Weithöner, Timo
Interactive Exploration of the Movie DB on a Semantic Level
Proceedings of the IEEE Information Visualization Contest 2007 (InfoVis 2007)
Herausgeber: IEEE Computer Society,
2007
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 :: Wendt, Wilhelm, Wirth, Wunner

Präferenzen

Zeige Schlüsselwörter Zeige Zusammenfassung

4.
default
Wendt, Michael
Tweet4U, Benachrichtigung eines Benutzers unter partieller Beobachtbarkeit
Bachelor Thesis
Ulm University,
2013
3.
default
Wunner, Tobias
Enhancing the Relation Extraction Process from Natural Language Sources with Linguistic Enriched Domain Ontologies
Diploma Thesis
Ulm University,
2009
2.
default
Wilhelm, Sebastian
Konzeption und Implementierung eines semantisch vernetzten Nachrichtenportals
Diploma Thesis
Ulm University,
2008
1.
default
Wirth, Bertram
Ein webbasierter Reiseagent
Diploma Thesis
Ulm University,
2002
Export als: BibTeX, XML