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 Opens internal link in current window 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 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.

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

Jahr:

Alle :: 1999, ... , 2010, 2011, 2012, 2013

Autor:

Alle :: A, B, C, D, F, G, H, I, K, L, M, N, O, P, R, S, T, V, W

Referenzen

	Ilianna Kollia und Birte Glimm SPARQL Query Answering over OWL Ontologies Journal of Artificial Intelligence Research (JAIR), 2013
	Pascal Bercher und Susanne Biundo Encoding Partial Plans for Heuristic Search Proceedings of the 4th Workshop on Knowledge Engineering for Planning and Scheduling (KEPS 2013) at ICAPS 2013 , Seite 11--15. 2013
	Andreas Steigmiller , Birte Glimm und Thorsten Liebig Extending Absorption to Nominal Schemas Proceedings of the 2013 International Description Logic Workshop (DL 2013) Herausgeber: CEUR Workshop Proceedings, 2013
	Andreas Steigmiller , Birte Glimm und Thorsten Liebig Nominal Schema Absorption Proceedings of the 23rd International Joint Conference on Artificial Intelligence (IJCAI 2013) Herausgeber: AAAI Press/The MIT Press, 2013
	Denis Ponomaryov und Mikhail Soutchanski Progression of Decomposed Situation Calculus Theories AAAI, The Twenty-Seventh Conference on Artificial Intelligence 2013
	Marvin R.G. Schiller und Birte Glimm Towards Explicative Inference for OWL Proceedings of the 2013 International Description Logic Workshop (DL 2013) Herausgeber: CEUR Workshop Proceedings, 2013
	Birte Glimm , Yevgeny Kazakov, Ilianna Kollia und Giorgos Stamou Using the TBox to Optimise SPARQL Queries Proceedings of the 2013 International Description Logic Workshop (DL 2013) Herausgeber: CEUR Workshop Proceedings, 2013

Export als:

BibTeX, XML

Studentische Abschlussarbeiten in dem Gebiet der Wissensrepräsentation und des Schlussfolgerns

Jahr:

Alle :: 1999, ... , 2009, 2010, 2011, 2012

Autor:

Alle :: B, F, G, H, K, L, M, N, O, S, V, W