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

Adrian Bielefeldt.jpg

Adrian Bielefeldt

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

Stephan Mennicke
Non-Standard Semantics for Graph Query Languages
Phd thesis, TU Braunschweig, 2020/03/11
Details Download

Till Affeldt, Stephan Mennicke, Wolf-Tilo Balke
Preference-driven Control over Incompleteness of Knowledge Graph Query Answers
Proceedings of the 12th ACM Conference on Web Science, WebSci 2020, Southampton, UK, July 7 - 10, 2020, to appear
Details Download

Jan-Christoph Kalo, Stephan Mennicke, Philipp Ehler, Wolf-Tilo Balke
Detecting Synonymous Properties by Shared Data-driven Definitions
The Semantic Web - 17th International Conference, ESWC 2020, Virtual, June 2-4, 2020, Proceedings., to appear
Details Download

David Carral, Markus Krötzsch
Rewriting the Description Logic ALCHIQ to Disjunctive Existential Rules
Proceedings of the 29th International Joint Conference on Artificial Intelligence and the 17th Pacific Rim International Conference on Artificial Intelligence (IJCAI-PRICAI 2020), to appear
Details Download

David Carral, Jacopo Urbani
Checking Chase Termination over Ontologies of Existential Rules with Equality
Proceedings of the 34rd Conference on Artificial Intelligence (AAAI 2020), February 2020
Details Download

David Carral, Markus Krötzsch, Jacopo Urbani
Practical Uses of Existential Rules in Knowledge Representation
This tutorial will be presented at the 17th International Conference on Principles of Knowledge Representation and Reasoning, September 2020
Details Download

Stephan Mennicke
Modal Schema Graphs for Graph Databases
Conceptual Modeling - 38th International Conference, ER 2019, Salvador, Brazil, November 4-7, 2019, Proceedings, LNCS, 498-512, November 2019. Springer
Details

Stephan Mennicke, Jan-Christoph Kalo, Denis Nagel, Hermann Kroll, Wolf-Tilo Balke
Fast Dual Simulation Processing of Graph Database Queries
35th IEEE International Conference on Data Engineering, ICDE 2019, Macao, China, April 8-11, 2019, ICDE, 244-255, April 2019. IEEE
Details

Ana Ozaki, Markus Krötzsch, Sebastian Rudolph
Temporally Attributed Description Logics
In Carsten Lutz, Uli Sattler, Cesare Tinelli, Anni-Yasmin Turhan, Frank Wolter, eds., Description Logic, Theory Combination, and All That - Essays Dedicated to Franz Baader on the Occasion of His 60th Birthday, volume 11560 of LNCS, 441-474. Springer, 2019
Details Download

David Carral, Larry González, Patrick Koopmann
From Horn-SRIQ to Datalog: A Data-Independent Transformation that Preserves Assertion Entailment
In Mantas Simkus, Grant E. Weddell, eds., Proceedings of the 32st International Workshop on Description Logics (DL 2019), volume 2373 of CEUR Workshop Proceedings, June 2019. CEUR-WS.org
Details Download

Komplette Publikationsliste anzeigen

Lehrveranstaltungen


Abgeschlossene Arbeiten

Cfaed.jpg

cfaed
CENTER FOR ADVANCING ELECTRONICS DRESDEN

Logo CPEC final RGB.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)

Scads-logo.png

ScaDS.AI
Center for Scalable Data Analytics and Artificial Intelligence

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