Wissensbasierte Systeme

Aus International Center for Computational Logic
Wechseln zu:Navigation, Suche
Toggle side column

Wissensbasierte Systeme

Die Forschungsgruppe Wissensbasierte Systeme beschäftigt sich mit Methoden der intelligenten Verwaltung und Verarbeitung von Informationen in Computersystemen. Dies umfasst Fragestellungen der formalen Wissensrepräsentation und des logischen Schließens ebenso wie Forschungsthemen aus dem Bereich Datenbanken und verteilte Systeme. Wichtige Anwendungsgebiete dieser Forschung finden sich zum Beispiel in den Bereichen semantische Technologien, Künstliche Intelligenz und Wissensmanagement.

Die Forschungsgruppe ist dem Institut für Theoretische Informatik zugeordnet.

Professoren und Gruppenleiter

Markus-Kroetzsch-2014-2-3.jpg

Prof. Dr. Markus Krötzsch

Verwaltung

Kati Michel.png

Kati Michel

SandySeifarth.jpg

Sandy Seifarth

Wissenschaftliche Mitarbeiter

Screen Shot 2016-11-08 at 10.57.24 AM.png

Dr. David Carral

Irina Dragoste 2016.jpg

M.Sc. Irina Dragoste

2018 02 18 larry gonzalez.jpeg

Larry González

Alexander Krause.jpg

Dipl.-Inf. Alexander Krause

Portrait-2016.jpg

Dipl.-Math. Maximilian Marx

Servletrecuperafoto.jpeg

Dr. Ana Ozaki

Techniker

Missing portrait 3-2.png

Petra Humann

Studentische und Wissenschaftliche Hilfskräfte

Adrian Bielefeldt.jpg

Adrian Bielefeldt

  • Wissensbasierte Systeme 

Ehemalige

Long Cheng.jpg

Dr. Long Cheng

  • Ehemals Wissenschaftlicher Mitarbeiter
  • Wissensbasierte Systeme
Fredo Erxleben.jpg

Fredo Erxleben

  • Ehemals Studentische Hilfskraft
  • Wissensbasierte Systeme
Julius Gonsior.jpg

Julius Gonsior

  • Ehemals Studentische Hilfskraft
  • Wissensbasierte Systeme
Michael Guenther.jpg

Michael Günther

  • Ehemals Wissenschaftliche Hilfskraft
  • Wissensbasierte Systeme
Tomas Masopust.jpg

Dr. Tomáš Masopust

  • Ehemals Wissenschaftlicher Mitarbeiter
  • Wissensbasierte Systeme
Vt.jpg

Dr.-Ing. Veronika Thost

  • Ehemals Wissenschaftliche Mitarbeiterin
  • AutomatentheorieWissensbasierte Systeme
Portrait-Georg-Wild.jpg

Georg Wild

  • Ehemals Studentische Hilfskraft
  • Wissensbasierte Systeme

Neueste Publikationen

Komplette Publikationsliste anzeigen

David Carral, Irina Dragoste, Markus Krötzsch
The Combined Approach to Query Answering in Horn-ALCHOIQ
Technical Report, TU Dresden, 2018
Details Download

Stanislav Malyshev, Markus Krötzsch, Larry González, Julius Gonsior, Adrian Bielefeldt
Getting the Most out of Wikidata: Semantic Technology Usage in Wikipedia’s Knowledge Graph
In Denny Vrandečić, Kalina Bontcheva, Mari Carmen Suárez-Figueroa, Valentina Presutti, Irene Celino, Marta Sabou, Lucie-Aimée Kaffee, Elena Simperl, eds., Proceedings of the 17th International Semantic Web Conference (ISWC'18), LNCS, to appear. Springer
Details Download

Markus Krötzsch, Maximilian Marx, Ana Ozaki, Veronika Thost
Attributed Description Logics: Reasoning on Knowledge Graphs
Proceedings of the 27th International Joint Conference on Artificial Intelligence (IJCAI'18), to appear. International Joint Conference on Artificial Intelligence
Details Download

Larry González, Aidan Hogan
Modelling Dynamics in Semantic Web Knowledge Graphs with Formal Concept Analysis
Proceedings of the 2018 World Wide Web Conference on World Wide Web, WWW 2018, Lyon, France, April 23-27, 2018. ACM 2018, April 2018
Details Download

Markus Krötzsch
Getting the most out of Wikidata
Invited presentation at Wiki Workshop 2018, 2018
Details Download

Adrian Bielefeldt, Julius Gonsior, Markus Krötzsch
Practical Linked Data Access via SPARQL: The Case of Wikidata
Proceedings of the WWW2018 Workshop on Linked Data on the Web (LDOW-18), CEUR Workshop Proceedings, to appear. CEUR-WS.org
Details Download

Jacopo Urbani, Markus Krötzsch, Ceriel Jacobs, Irina Dragoste, David Carral
Efficient Model Construction for Horn Logic with VLog
Proceedings of the 8th International Joint Conference on Automated Reasoning (IJCAR 2018), LNAI, to appear. Springer
Details Download

David Carral, Markus Krötzsch, Maximilian Marx, Ana Ozaki, Sebastian Rudolph
Preserving Constraints with the Stable Chase
In Benny Kimelfeld and Yael Amsterdamer, eds., Proceedings of the 21st International Conference on Database Theory (ICDT 2018), volume 98 of Leibniz International Proceedings in Informatics (LIPIcs), 12:1--12:19, March 2018. Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik
Details Download

Markus Krötzsch
Recent Advances in Reasoning with Existential Rules
Presentation at the 2018 Workshop of the European Master in Computational Logic (EMCL), 2018
Details Download

David Carral, Pascal Hitzler, Hilmar Lapp, Sebastian Rudolph
On the Ontological Modeling of Trees
In Oscar Corcho, Matthew Horridge, David Carral, Rinke Hoekstra, eds., Proceedings of the 8th Workshop on Ontology Design and Patterns (WOP 2017) co-located with the 6th International Semantic Web Conference (ISWC 2017), Vienna, Austria, October 21, 2017., volume 2043, February 2018. CEUR Workshop Proceedings
Details Download

Komplette Publikationsliste anzeigen

Lehrveranstaltungen


Abgeschlossene Arbeiten

Cfaed.jpg

cfaed
CENTER FOR ADVANCING ELECTRONICS DRESDEN

DIAMOND-Logo.png

DIAMOND
Datenintegration und -abfrage durch die Zusammenführung von Ontologien und Datenbanken

HAEC Logo.png

HAEC
Highly Adaptive Energy-Efficient Computing (Sonderforschungsbereich 912)

HAEC Logo.png

HAEC B08
High-Capacity Knowledge Processing Pipeline (HAEC Teilprojekt B08)

Semantic MediaWiki logo.png

Semantic MediaWiki
Beliebte Open-Source-Software zur gemeinsamen Datenverwaltung

Wikidata-logo-en.svg

Wikidata
Wikipedias freie, kollaborative Wissensbasis