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 :: Tenschert, Timo, Tran, Tsarkov, ... , Turlier

Präferenzen

Zeige Schlüsselwörter Zeige Zusammenfassung

11.
pdf
Glimm, Birte; Kazakov, Yevgeny; Tran, Trung-Kien
Ontology Materialization by Abstraction Refinement in Horn SHOIF
Proceedings of the 29th International Workshop on Description Logics (DL 2016) Band 1577 aus CEUR Workshop Proceedings
Herausgeber: CEUR-WS.org,
2016
10.
pdf
Glimm, Birte; Kazakov, Yevgeny; Tran, Trung-Kien
Scalable Reasoning by Abstraction Beyond DL-Lite
In Magdalena Ortiz and Stefan Schlobach, Editor, Proceedings of the 10th International Conference on Web Reasoning and Rule Systems (RR 2016) Band 9898 aus Lecture Notes in Computer Science , Seite 77--93.
Herausgeber: Springer-Verlag,
2016
9.
pdf
Glimm, Birte; Kazakov, Yevgeny; Liebig, Thorsten; Tran, Trung-Kien; Vialard, Vincent
Abstraction Refinement for Ontology Materialization
Proceedings of the 13th International Semantic Web Conference (ISWC 2014) Band 8797 aus Lecture Notes in Computer Science , Seite 180-195.
Herausgeber: Springer-Verlag,
2014
8.
pdf
Glimm, Birte; Kazakov, Yevgeny; Liebig, Thorsten; Tran, Trung-Kien; Vialard, Vincent
Abstraction Refinement for Ontology Materialization
Proceedings of the 27th International Workshop on Description Logics (DL 2014) Band 1193 aus CEUR Workshop Proceedings , Seite 180-195.
Herausgeber: CEUR-WS.org,
2014
7.
pdf
Cheptsov, Alexey; Tenschert, Axel; Schmidt, Paul; Glimm, Birte; Matthesius, Mauricio; Liebig, Thorsten
Introducing a New Scalable Data-as-a-Service Cloud Platform for Enriching Traditional Text Mining Techniques by Integrating Ontology Modelling and Natural Language Processing
In Axel Tenschert and Alexey Cheptsov, Editor, Proceedings of the International Workshop on Big Web Data (BigWebData 2013) aus Lecture Notes in Computer Science
Herausgeber: Springer,
2013
6.
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
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
4.
pdf
Turhan, Anni-Yasmin; Bechhofer, Sean; Kaplunova, Alissa; Liebig, Thorsten; Luther, Marko; Möller, Ralf; Noppens, Olaf; Patel-Schneider, Peter F.; Boontawee, Suntisrivaporn; Timo, Weithöner
DIG2.0 -- Towards a Flexible Interface for Description Logic Reasoners
In Bernardo Cuenca Grau and Pascal Hitzler and Conor Shankey and Evan Wallace, Editor, Proceedings of the 2nd International Workshop on OWL: Experiences and Directions (OWLED 2006)
Athens, GA, USA
2006
3.
pdf
Timo, Weithöner; Liebig, Thorsten; Luther, Marko; Böhm, Sebastian
What's Wrong with OWL Benchmarks?
Proceedings of the Second International Workshop on Scalable Semantic Web Knowledge Base Systems (SSWS 2006) , Seite 101--114.
Athens, GA, USA
2006
2.
pdf
Timo, Weithöner; Liebig, Thorsten; Specht, Günther
Efficient Processing of Huge Ontologies in Logic and Relational Databases
Proceedings of the International Conference on Ontologies, Databases and Application of Semantics (ODBASE 2004) aus Lecture Notes in Computer Science , Seite 28--29.
Herausgeber: Springer Berlin / Heidelberg,
2004
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
   

Präferenzen

Zeige Schlüsselwörter Zeige Zusammenfassung

34.
default
Opitz, Michael
Query Engine für OWL 2 RL Datenbanken
Master Thesis
Ulm University,
2014
33.
default
Kapler, Gregor
Datengenerierung für Ontologien
Master Thesis
Ulm University,
2014
32.
default
Räuchle, Sören
Von Open Data zu Linked Open Data
Bachelor Thesis
Ulm University,
2014
31.
default
Boos, Alexander
Generierung von RDF Daten aus Excel Tabellen
Bachelor Thesis
Ulm University,
2014
30.
default
Wendt, Michael
Tweet4U, Benachrichtigung eines Benutzers unter partieller Beobachtbarkeit
Bachelor Thesis
Ulm University,
2013
29.
default
Löber, Alexandra
Evaluation verschiedener Anbieter von Texterkennungstechnologien für die Schwäbisch Hall Gruppe
Bachelor Thesis
Ulm University,
2013
28.
default
Mack, Dennis
Visualisierung hierarchischer Domänenmodelle
Master Thesis
Ulm University,
November 2012
27.
default
Langbein, Johannes
Konzeption und Implementierung eines lernenden, ontologie-basierten Erkenners von Entitäten und Relationen in natürlichsprachlichen Texten
Master Thesis
Ulm University,
Mai 2012
eingereicht
26.
default
Kochner, Andreas
Erzeugung gleichverteilter Lösungen für SAT-Probleme
Master Thesis
Ulm University,
2012
25.
default
Steigmiller, Andreas
Entwicklung und Optimierung eines parallelen, tableaubasierten Schlussfolgerungssystems für SROIQ
Master Thesis
Ulm University,
2011
Export als: BibTeX, XML