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 

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 :: Nikitina, Noppens, Nothdurft

Präferenzen

Zeige Schlüsselwörter Zeige Zusammenfassung

39.
pdf
Behnke, Gregor; Ponomaryov, Denis; Schiller, Marvin; Bercher, Pascal; Nothdurft, Florian; Glimm, Birte; Biundo, Susanne
Coherence Across Components in Cognitive Systems – One Ontology to Rule Them All
Proceedings of the 25th International Joint Conference on Artificial Intelligence (IJCAI 2015) , Seite 1442-1449.
Herausgeber: AAAI Press,
2015
38.
pdf
Behnke, Gregor; Schiller, Marvin; Ponomaryov, Denis; Nothdurft, Florian; Bercher, Pascal; Minker, Wolfgang; Glimm, Birte; Biundo, Susanne
A Unified Knowledge Base for Companion-Systems - A Case Study in Mixed-Initiative Planning
Proceedings of the First International Symposium on Companion Technology (ISCT 2015) , Seite 43--48.
2015
37.
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
36.
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
35.
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
34.
pdf
Nikitina, Nadeschda; Rudolph, Sebastian; Glimm, Birte
Interactive Ontology Revision
Journal of Web Semantics: Science, Services and Agents on the World Wide Web, 12-13:118-130
April 2012
ISSN: 1570-8268
33.
pdf
Liebig, Thorsten; Luther, Marko; Noppens, Olaf; Wessel, Michael
OWLlink
Journal Semantic Web - Interoperability, Usability, Applicability, 2(1):23--32
2011
ISSN: 1570-0844
32.
pdf
Nikitina, Nadeschda; Glimm, Birte; Rudolph, Sebastian
Wheat and Chaff - Practically Feasible Interactive Ontology Revision
Proceedings of the 10th International Semantic Web Conference (ISWC 2011) Band 7031 , Seite 487-503.
Herausgeber: Springer-Verlag,
2011
31.
pdf
Noppens, Olaf; Luther, Marko; Liebig, Thorsten
The OWLlink API: Teaching OWL Components a Common Protocol
In Evren Sirin and Kendall Clark, Editor, Proceedings of the 7th International Workshop on OWL: Experiences and Directions (OWLED 2010) Band 614 aus CEUR Workshop Proceedings
2010
30.
pdf
Liebig, Thorsten; Steigmiller, Andreas; Noppens, Olaf
Scalability via Parallelization of OWL Reasoning
Proceedings of the 4th International Workshop on New Forms of Reasoning for the Semantic Web: Scalable and Dynamic (NeFoRS 2010)
2010
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 :: Noppens

Präferenzen

Zeige Schlüsselwörter Zeige Zusammenfassung

1.
default
Noppens, Olaf
Ein graphbasierter Ontologie Editor zur Darstellung und Manipulation von OWL Lite Ontologien
Diploma Thesis
Ulm University,
2003
Export als: BibTeX, XML