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

Verwaltung

Wissenschaftliche Mitarbeiter

Techniker

Studentische und Wissenschaftliche Hilfskräfte

Ehemalige

Long Cheng.jpg

Dr. Long Cheng

Fredo Erxleben.jpg

Fredo Erxleben

Julius Gonsior.jpg

Julius Gonsior

Michael Guenther.jpg

Michael Günther

Tomas Masopust.jpg

Dr. Tomáš Masopust

Servletrecuperafoto.jpeg

Dr. Ana Ozaki

Vt.jpg

Dr.-Ing. Veronika Thost

Portrait-Georg-Wild.jpg

Georg Wild

Neueste Publikationen

Komplette Publikationsliste anzeigen

Tom Hanika, Maximilian Marx, Gerd Stumme
Discovering Implicational Knowledge in Wikidata
In Diana Cristea, Florence Le Ber, Baris Sertkaya, eds., Proceedings of the 15th International Conference on Formal Concept Analysis (ICFCA'19), volume 11511 of LNCS, 315--323, June 2019. Springer
Details Download

David Carral, Irina Dragoste, Markus Krötzsch, Christian Lewe
Chasing Sets: How to Use Existential Rules for Expressive Reasoning
Proceedings of the 28th International Joint Conference on Artificial Intelligence (IJCAI'19), to appear. International Joint Conferences on Artificial Intelligence
Details Download

Markus Krötzsch, Maximilian Marx, Sebastian Rudolph
The Power of the Terminating Chase
In Pablo Barceló, Marco Calautti, eds., Proceedings of the 22nd International Conference on Database Theory (ICDT 2019), volume 127 of LIPIcs, 3:1--3:17, 2019. Schloss Dagstuhl - Leibniz-Zentrum für Informatik
Details Download

Tom Hanika, Maximilian Marx, Gerd Stumme
Discovering Implicational Knowledge in Wikidata
Technical Report, arXiv.org, volume CoRR abs/1902.00916, February 2019
Details Download

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, Irina Dragoste, Markus Krötzsch
The Combined Approach to Query Answering in Horn-ALCHOIQ
In Michael Thielscher, Francesca Toni, Frank Wolter, eds., Proceedings of the 16th International Conference on Principles of Knowledge Representation and Reasoning (KR 2018), 339-348, October 2018. AAAI Press
Details Download

Ana Ozaki, Markus Krötzsch, Sebastian Rudolph
Happy Ever After: Temporally Attributed Description Logics
In Magdalena Ortiz, Thomas Schneider, eds., Proceedings of the 31st International Workshop on Description Logics (DL 2018), volume 2211 of CEUR Workshop Proceedings, 2018. CEUR-WS.org
Details Download

Jacopo Urbani, Markus Krötzsch, Ceriel Jacobs, Irina Dragoste, David Carral
Efficient Model Construction for Horn Logic with VLog: Extended Abstract
In Magdalena Ortiz, Thomas Schneider, eds., Proceedings of the 31st International Workshop on Description Logics (DL 2018), volume 2211 of CEUR Workshop Proceedings, October 2018. CEUR-WS.org
Details Download

Markus Krötzsch, Maximilian Marx, Ana Ozaki, Veronika Thost
Attributed Description Logics: Reasoning on Knowledge Graphs
In Jérôme Lang, eds., Proceedings of the 27th International Joint Conference on Artificial Intelligence (IJCAI'18), 5309--5313, July 2018. International Joint Conferences on Artificial Intelligence
Details Download

Tomáš Masopust, Markus Krötzsch
Deciding Universality of ptNFAs is PSpace-Complete
In A Min Tjoa, Ladjel Bellatreche, Stefan Biffl, Jan van Leeuwen, Jiri Wiedermann, eds., Proceedings of the 44th International Conference on Current Trends in Theory and Practice of Computer Science (SOFSEM 2018), volume 10706 of LNCS, 413-427, 2018. Springer
Details Download

Komplette Publikationsliste anzeigen
Cfaed.jpg

cfaed
CENTER FOR ADVANCING ELECTRONICS DRESDEN

Fops-logo.svg

CPEC
Grundlagen verständlicher Softwaresysteme

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