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, F, G, H, K, L, M, N, O, P, Q, R, S, T, U, V, W, Z
   

Präferenzen

Zeige Schlüsselwörter Zeige Zusammenfassung

112.
pdf
Brenner, Markus; Glimm, Birte
Embracing Change by Abstraction Materialization Maintenance for Large ABoxes
Proceedings of the 27th International Joint Conference on Artificial Intelligence and the 23rd European Conference on Artificial Intelligence (IJCAI-ECAI 2018)
Herausgeber: AAAI Press,
2018
111.
pdf
Parsia, Bijan; Matentzoglu, Nicolas; Goncalves, Rafael S.; Glimm, Birte; Steigmiller, Andreas
The OWL Reasoner Evaluation (ORE) 2015 Competition Report
Journal of Automated Reasoning (JAR), 59(4):455--482
2017
110.
default
Ponomaryov, Denis; Soutchanski, Mikhail
Progression of Decomposed Local-Effect Action Theories
ACM Transactions on Computational Logic, 18(2):1--41
2017
109.
pdf
Glimm, Birte; Kazakov, Yevgeny; Tran, Trung-Kien
Ontology Materialization by Abstraction Refinement in Horn SHOIF
In Satinder P. Singh and Shaul Markovitch, Editor, Proceedings of the 31st AAAI Conference on Artificial Intelligence , Seite 1114--1120.
Herausgeber: AAAI Press,
2017
108.
pdf
Mathieu, Christian; Klusch, Matthias; Glimm, Birte
QSMat: Query-Based Materialization for Efficient RDF Stream Processing
Proceedings of the 8th International Conference on Knowledge Engineering and Semantic Web (KESW 2017) Band 786 aus Communications in Computer and Information Science , Seite 159-174.
Herausgeber: Springer-Verlag,
2017
107.
pdf
Glimm, Birte; Kazakov, Yevgeny; Tran, Trung-Kien
Scalable Reasoning by Abstraction in DL-Lite
Proceedings of the 30th International Workshop on Description Logics (DL 2017) Band 1879 aus CEUR Workshop Proceedings
Herausgeber: CEUR-WS.org,
2017
106.
pdf
Brenner, Markus; Glimm, Birte
Incremental Materialization Update via Abstraction Refinement
Proceedings of the 30th International Workshop on Description Logics (DL 2017) Band 1879 aus CEUR Workshop Proceedings
Herausgeber: CEUR-WS.org,
2017
105.
pdf
Schiller, Marvin R. G.; Schiller, Florian; Glimm, Birte
Testing the Adequacy of Automated Explanations of EL Subsumptions
Proceedings of the 30th International Workshop on Description Logics (DL 2017) Band 1879 aus CEUR Workshop Proceedings
Herausgeber: CEUR-WS.org,
2017
104.
pdf
Ulmschneider, Klaus; Glimm, Birte
Knowledge Graph: Semantic Representation and Assessment of Innovation Ecosystems
In Rozewski, Przemyslaw and Lange, Christoph, Editor, Proceedings of the 8th International Conference on Knowledge Engineering and Semantic Web (KESW 2017) aus Communications in Computer and Information Science (CCIS) , Seite 211--226.
Herausgeber: Springer, Berlin, Germany
2017
ISBN: 978-3-319-69547-1
103.
pdf
Glimm, Birte; Stuckenschmidt, Heiner
15 Years of Semantic Web: An Incomplete Survey
KI - Künstliche Intelligenz, 30(2):117--130
2016
ISSN: 0933-1875
Export als: BibTeX, XML