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
Alle :: Gebhardt, Geier, Glimm, Glodek, ... , Grigonyt<prt>\.e</prt>

Präferenzen

Zeige Schlüsselwörter Zeige Zusammenfassung

19.
pdf
Bercher, Pascal; Geier, Thomas; Biundo, Susanne
Using State-Based Planning Heuristics for Partial-Order Causal-Link Planning
Advances in Artificial Intelligence, Proceedings of the 36th German Conference on Artificial Intelligence (KI 2013) , Seite 1--12.
Herausgeber: Springer,
2013
18.
pdf
Steigmiller, Andreas; Glimm, Birte; Liebig, Thorsten
Nominal Schema Absorption
Proceedings of the 23rd International Joint Conference on Artificial Intelligence (IJCAI 2013)
Herausgeber: AAAI Press/The MIT Press,
2013
17.
pdf
Steigmiller, Andreas; Glimm, Birte; Liebig, Thorsten
Extending Absorption to Nominal Schemas
Proceedings of the 26th International Description Logic Workshop (DL 2013)
Herausgeber: CEUR Workshop Proceedings,
2013
16.
pdf
Glimm, Birte; Kazakov, Yevgeny; Kollia, Ilianna; Stamou, Giorgos
Using the TBox to Optimise SPARQL Queries
Proceedings of the 2013 International Description Logic Workshop (DL 2013)
Herausgeber: CEUR Workshop Proceedings,
2013
15.
pdf
R.G. Schiller, Marvin; Glimm, Birte
Towards Explicative Inference for OWL
Proceedings of the 2013 International Description Logic Workshop (DL 2013)
Herausgeber: CEUR Workshop Proceedings,
2013
14.
pdf
Nikitina, Nadeschda; Glimm, Birte
Hitting the Sweetspot: Economic Rewriting of Knowledge Bases
Proceedings of the 11th International Semantic Web Conference (ISWC 2012) Band 7649 aus Lecture Notes in Computer Science , Seite 394-409.
Herausgeber: Springer-Verlag,
November 2012
13.
pdf
Kollia, Ilianna; Glimm, Birte
Cost Based Query Ordering over OWL Ontologies
Proceedings of the 11th International Semantic Web Conference (ISWC 2012) Band 7649 aus Lecture Notes in Computer Science , Seite 231-246.
Herausgeber: Springer-Verlag,
November 2012
12.
pdf
Geier, Thomas; Reuter, Stephan; Dietmayer, Klaus; Biundo, Susanne
Goal-Based Person Tracking Using a First-Order Probabilistic Model
Proceedings of the Ninth UAI Bayesian Modeling Applications Workshop (UAI-AW 2012)
August 2012
11.
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
10.
pdf
Kollia, Ilianna; Glimm, Birte
Cost Based Query Ordering over OWL Ontologies
Proceedings of the 25th International Description Logic Workshop (DL 2012) Band 846 aus CEUR Workshop Proceedings
Juni 2012
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 :: Grether, Güttler

Präferenzen

Zeige Schlüsselwörter Zeige Zusammenfassung

1.
default
Grether, Dominik
Semantische Annotation und Deduktion in Geoinformationssystemen
Diploma Thesis
Ulm University,
2006
Export als: BibTeX, XML