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

Techniker

Missing portrait 3-2.png

Petra Humann

Studentische und Wissenschaftliche Hilfskräfte

Adrian Bielefeldt.jpg

Adrian Bielefeldt

  • Wissensbasierte Systeme 
Missing portrait 3-2.png

Christian Lewe

  • 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
Servletrecuperafoto.jpeg

Dr. Ana Ozaki

  • Ehemals Wissenschaftliche Mitarbeiterin
  • 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, Larry González, Patrick Koopmann
From Horn-SRIQ to Datalog: A Data-Independent Transformation that Preserves Assertion Entailment
Proceedings of the 33rd Conference on Artificial Intelligence (AAAI 2019), to appear
Details Download

David Carral
Reasoning with Description Logics Ontologies and Knowledge Graphs
Invited Talk at Télécom ParisTech, December 2018
Details

David Carral
Reasoning over Existential Rules with Acyclicity Notions and the Datalog-first Restricted Chase
Invited Talk at the University of Oxford, PSL University, the University of Bordeaux, the University of Montpellier, and the QuantLA seminar at TU Dresden, December 2018
Details Download

David Carral, Irina Dragoste, Markus Krötzsch
The Combined Approach to Query Answering in Horn-ALCHOIQ
Proceedings of the 16th International Conference on Principles of Knowledge Representation and Reasoning (KR 2018), to appear
Details Download

Jacopo Urbani, Markus Krötzsch, Ceriel Jacobs, Irina Dragoste, David Carral
Efficient Model Construction for Horn Logic with VLog
In Didier Galmiche, Stephan Schulz, Roberto Sebastiani, eds., Proceedings of the 8th International Joint Conference on Automated Reasoning (IJCAR 2018), volume 10900 of LNCS, 680--688, 2018. Springer
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), volume 11137 of LNCS, 376-394, 2018. Springer
Details Download

Markus Krötzsch
Ontological Modelling in Wikidata
Invited keynote at the 9th Workshop on Ontology Design and Patterns (WOP'18), 2018
Details Download

David Carral, Irina Dragoste, Markus Krötzsch
Tractable Query Answering for Expressive Ontologies and Existential Rules: Extended Abstract
Proceedings of the 31st International Workshop on Description Logics (DL 2018), to appear
Details Download

Jacopo Urbani, Markus Krötzsch, Ceriel Jacobs, Irina Dragoste, David Carral
Efficient Model Construction for Horn Logic with VLog: Extended Abstract
Proceedings of the 31st International Workshop on Description Logics (DL 2018), to appear
Details Download

Ana Ozaki, Markus Krötzsch, Sebastian Rudolph
Happy Ever After: Temporally Attributed Description Logics
Proceedings of the 31st International Workshop on Description Logics (DL 2018), CEUR Workshop Proceedings, to appear. CEUR-WS.org
Details Download

Komplette Publikationsliste anzeigen
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

VLog
A fast, highly scalable rule engine for existential rules and Datalog.

Wikidata-logo-en.svg

Wikidata
Wikipedias freie, kollaborative Wissensbasis

Wikidata-sparql-logo.svg

Wikidata SPARQL Logs
Zugriffsprotokolle des Wikidata SPARQL Query Service