International Center for Computational Logic - Benutzerbeiträge [de]

Inproceedings3477

2026-08-21T08:17:19Z

Nils Küchenmeister: Die Seite wurde neu angelegt: „{{Publikation Erster Autor |ErsterAutorVorname=Nils |ErsterAutorNachname=Küchenmeister |FurtherAuthors=Alex Ivliev; Dörthe Arndt; Markus Krötzsch }} {{Inproceedings |Referiert=1 |Title=Stratified Negation in RDF Rules: A Correct Approach |To appear=1 |Year=2026 |Booktitle=Proceedings of the 25th International Semantic Web Conference (ISWC 2026) |Publisher=Springer |Editor=Manolis Koubarakis, Maria-Esther Vidal, Axel Polleres, Marieke van Erp, Ernesto J…“

{{Publikation Erster Autor
|ErsterAutorVorname=Nils
|ErsterAutorNachname=Küchenmeister
|FurtherAuthors=Alex Ivliev; Dörthe Arndt; Markus Krötzsch
}}
{{Inproceedings
|Referiert=1
|Title=Stratified Negation in RDF Rules: A Correct Approach
|To appear=1
|Year=2026
|Booktitle=Proceedings of the 25th International Semantic Web Conference (ISWC 2026)
|Publisher=Springer
|Editor=Manolis Koubarakis, Maria-Esther Vidal, Axel Polleres, Marieke van Erp, Ernesto Jimenez Ruiz, Oshani Seneviratne, Lora Aroyo, Gianluca Demartini, Reham Alharbi, Roberto Barile, Claudia d'Amato, Valentina Tamma
}}
{{Publikation Details
|Abstract=Combining RDF rule languages, such as N3 or SHACL Rules, with default negation is challenging. Existing methods to stratify negation often fail for RDF rules, since individual triples do not carry enough information to meaningfully restrict potential dependencies. Blank nodes in rule heads further complicate the matter, since the order of rule applications may determine whether new values are created, which in turn can change the applicability of rules with negation. To solve these open problems, we propose chain stratification as a robust new condition that guarantees a well-behaved semantics for RDF rules with negation, and existential rules in general. Our condition combines an elaborate analysis of potential multistep derivations with a mechanism for using integrity constraints to discard impossible cases. Applying rules in any order that respects chain stratification is guaranteed to derive an RDF graph that is unique, lean, and justified under the usual negation-as-failure semantics. To show the practicality, we also provide a prototype implementation.
|Download=ISWC26-chain-stratification.pdf
|Link=https://arxiv.org/abs/2607.28778
|Projekt=CPEC, CeTI, SECAI, ScaDS.AI
|Forschungsgruppe=Computational Logic, Wissensbasierte Systeme
}}

Datei:ISWC26-chain-stratification.pdf

2026-08-21T08:17:09Z

Nils Küchenmeister:

Article3119

2026-02-19T16:10:20Z

Nils Küchenmeister: Die Seite wurde neu angelegt: „{{Publikation Erster Autor |ErsterAutorVorname=Nils |ErsterAutorNachname=Küchenmeister |FurtherAuthors=Alex Ivliev; Markus Krötzsch }} {{Article |Referiert=1 |Title=Towards Mass Spectrum Analysis with ASP |To appear=0 |Year=2026 |Month=Februar |Journal=Theory and Practice of Logic Programming |Volume=First View |Pages=pp. 1 - 23 }} {{Publikation Details |Abstract=We present a new use of Answer Set Programming (ASP) to discover the molecular structure of…“

{{Publikation Erster Autor
|ErsterAutorVorname=Nils
|ErsterAutorNachname=Küchenmeister
|FurtherAuthors=Alex Ivliev; Markus Krötzsch
}}
{{Article
|Referiert=1
|Title=Towards Mass Spectrum Analysis with ASP
|To appear=0
|Year=2026
|Month=Februar
|Journal=Theory and Practice of Logic Programming
|Volume=First View
|Pages=pp. 1 - 23
}}
{{Publikation Details
|Abstract=We present a new use of Answer Set Programming (ASP) to discover the molecular structure of chemical samples based on the relative abundance of elements and structural fragments, as measured in mass spectrometry. To constrain the exponential search space for this combinatorial problem, we develop canonical representations of molecular structures and an ASP implementation that uses these definitions. We evaluate the correctness of our implementation over a large set of known molecular structures, and we compare its quality and performance to other ASP symmetry-breaking methods and to a commercial tool from analytical chemistry.
|Download=Towards-mass-spectrum-analysis-with-asp.pdf
|DOI Name=https://doi.org/10.1017/S1471068426100398
|Projekt=CPEC, CeTI, InnoSale, SECAI, ScaDS.AI
|Forschungsgruppe=Wissensbasierte Systeme
}}

Datei:Towards-mass-spectrum-analysis-with-asp.pdf

2026-02-19T16:08:08Z

Nils Küchenmeister:

Nils Küchenmeister

2025-10-30T11:55:05Z

Nils Küchenmeister:

{{Mitarbeiter
|Vorname=Nils
|Nachname=Küchenmeister
|Akademischer Titel=Dipl.-Inf.
|Forschungsgruppe=Wissensbasierte Systeme
|Stellung=Doktorand
|Ehemaliger=0
|Email=nils.kuechenmeister@tu-dresden.de
|Matrix=@nkuechen:tu-dresden.de
|Raum=APB 3037
|Bild=Nils Kuechenmeister.jpg
|Info=Seit Oktober 2025 bin ich wissenschaftlicher Mitarbeiter in der Forschungsgruppe [[Wissensbasierte Systeme]] von Prof. Dr. [[Markus Krötzsch]]. Zuvor habe ich an der Technischen Universität Dresden studiert und dabei Theoretische Informatik sowie Systemarchitektur vertieft. (Daneben war ich als Werkstudent bei der Telekom MMS in Recherche zu Cloud [https://en.wikipedia.org/wiki/Confidential_computing Confidential Computing] involviert.) Ich interessiere mich besonders für regelbasiertes Schließen mit Datalog und ASP. In diesem Kontext habe ich mit [[Alex Ivliev]] eine prototypische [https://tools.iccl.inf.tu-dresden.de/genmol/ Anwendung] zur Analyse von Massenspektren mit ASP realisiert. Danach ging es in meiner Diplomarbeit um statische Analyse [[Existenzielle Regeln|Existenzieller Regeln]].
|Info EN=I am research associate in the [[Knowledge-Based Systems]] group of Prof. Dr. [[Markus Krötzsch]] since October 2025. Before, I studied at the Dresden University of Technology and specialized in theoretical computer science and system architecture. (Next to that, I was involved in research on cloud-based [https://en.wikipedia.org/wiki/Confidential_computing Confidential Computing] as a working student at Telekom MMS.) I am especially interested in rule-based reasoning with Datalog and ASP. Together with [[Alex Ivliev]], I realised a prototypical [https://tools.iccl.inf.tu-dresden.de/genmol/ tool] to analyse mass spectra with ASP in this context. After that, my Diploma thesis was about static analysis of [[Existenzielle Regeln/en|existential rules]].
|Publikationen anzeigen=1
|Abschlussarbeiten anzeigen=0
|Projekte anzeigen=1
}}

Nils Küchenmeister

2025-10-06T07:23:08Z

Nils Küchenmeister:

{{Mitarbeiter
|Vorname=Nils
|Nachname=Küchenmeister
|Akademischer Titel=Dipl.-Inf.
|Forschungsgruppe=Wissensbasierte Systeme
|Stellung=Doktorand
|Ehemaliger=0
|Email=nils.kuechenmeister@tu-dresden.de
|Matrix=@nkuechen:tu-dresden.de
|Raum=APB 3031
|Bild=Nils Kuechenmeister.jpg
|Info=Seit Oktober 2025 bin ich wissenschaftlicher Mitarbeiter in der Forschungsgruppe [[Wissensbasierte Systeme]] von Prof. Dr. [[Markus Krötzsch]]. Zuvor habe ich an der Technischen Universität Dresden studiert und dabei Theoretische Informatik sowie Systemarchitektur vertieft. (Daneben war ich als Werkstudent bei der Telekom MMS in Recherche zu Cloud [https://en.wikipedia.org/wiki/Confidential_computing Confidential Computing] involviert.) Ich interessiere mich besonders für regelbasiertes Schließen mit Datalog und ASP. In diesem Kontext habe ich mit [[Alex Ivliev]] eine prototypische [https://tools.iccl.inf.tu-dresden.de/genmol/ Anwendung] zur Analyse von Massenspektren mit ASP realisiert. Danach ging es in meiner Diplomarbeit um statische Analyse [[Existenzielle Regeln|Existenzieller Regeln]].
|Info EN=I am research associate in the [[Knowledge-Based Systems]] group of Prof. Dr. [[Markus Krötzsch]] since October 2025. Before, I studied at the Dresden University of Technology and specialized in theoretical computer science and system architecture. (Next to that, I was involved in research on cloud-based [https://en.wikipedia.org/wiki/Confidential_computing Confidential Computing] as a working student at Telekom MMS.) I am especially interested in rule-based reasoning with Datalog and ASP. Together with [[Alex Ivliev]], I realised a prototypical [https://tools.iccl.inf.tu-dresden.de/genmol/ tool] to analyse mass spectra with ASP in this context. After that, my Diploma thesis was about static analysis of [[Existenzielle Regeln/en|existential rules]].
|Publikationen anzeigen=1
|Abschlussarbeiten anzeigen=0
|Projekte anzeigen=1
}}

Nils Küchenmeister

2025-10-02T16:01:43Z

Nils Küchenmeister:

{{Mitarbeiter
|Vorname=Nils
|Nachname=Küchenmeister
|Akademischer Titel=Dipl.-Inf.
|Forschungsgruppe=Wissensbasierte Systeme
|Stellung=Doktorand
|Ehemaliger=0
|Email=nils.kuechenmeister@tu-dresden.de
|Matrix=@nkuechen:tu-dresden.de
|Raum=APB 3031
|Bild=Nils Kuechenmeister.jpg
|Info=Seit Oktober 2025 bin ich wissenschaftlicher Mitarbeiter in der Forschungsgruppe [[Wissensbasierte Systeme]] von Prof. Dr. [[Markus Krötzsch]]. Zuvor habe ich an der Technischen Universität Dresden studiert und dabei Theoretische Informatik sowie Systemarchitektur vertieft. (Daneben war ich als Werkstudent bei der Telekom MMS in Recherche zu Cloud [https://en.wikipedia.org/wiki/Confidential_computing Confidential Computing] involviert.) Ich interessiere mich besonders für regelbasiertes Schließen mit Datalog und ASP. In diesem Kontext habe ich mit [[Alex Ivliev]] eine prototypische [https://tools.iccl.inf.tu-dresden.de/genmol/ Anwendung] zur Analyse von Massenspektren mit ASP realisiert. Danach ging es in meiner Diplomarbeit um statischer Analyse [[Existenzielle Regeln|Existenzieller Regeln]].
|Info EN=I am research associate in the [[Knowledge-Based Systems]] group of Prof. Dr. [[Markus Krötzsch]] since October 2025. Before, I studied at the Dresden University of Technology and specialized in theoretical computer science and system architecture. (Next to that, I was involved in research on cloud-based [https://en.wikipedia.org/wiki/Confidential_computing Confidential Computing] as a working student at Telekom MMS.) I am especially interested in rule-based reasoning with Datalog and ASP. Together with [[Alex Ivliev]], I realised a prototypical [https://tools.iccl.inf.tu-dresden.de/genmol/ tool] to analyse mass spectra with ASP in this context. After that, my Diploma thesis was about static analysis of [[Existenzielle Regeln/en|existential rules]].
|Publikationen anzeigen=1
|Abschlussarbeiten anzeigen=0
|Projekte anzeigen=1
}}

Misc3087

2025-10-02T15:54:28Z

Nils Küchenmeister:

{{Publikation Erster Autor
|ErsterAutorVorname=Nils
|ErsterAutorNachname=Küchenmeister
}}
{{Misc
|Title=Reliance-based Static Analysis of Existential Rules
|Year=2025
|Month=August
|Howpublished=Diploma Thesis, TU Dresden
}}
{{Publikation Details
|Abstract=Cores are universal models of existential rules knowledge bases that have no redundant facts. They can be determined with the core chase, but this is expensive. Recent work suggested special positive and restraint reliance relations between rules to assess whether applying a rule can activate another and whether a rule should be preferred over another to avoid introducing unnecessary facts into the chase result. They give rise to core-stratifiable rulesets, which are susceptible to a rule-based selection strategy for the restricted chase that does not violate restraints and thus produces a core with certainty. However, there are still many practically relevant rulesets which are not core-stratifiable whilst still supporting core computation with a specialized selection strategy for the restricted chase.

We examine such cases to propose a new class of rulesets, which we call SCC-contraction core-stratifiable, that broadens the applicability of the restricted chase to compute cores. It is based on deputizing positive reliances by sets of contracted rules, which are formed by syntactically intersecting unifiable parts of the second rule’s body and the first rule’s head to attain the combined effect of applying two respective triggers in succession. Then, rulesets are contraction core-stratifiable iff they have no cycle in the restraints of the contracted reliance graph. We evaluate a prototype implementation on a subset of the Oxford Ontology Repository, revealing that a significant portion is covered by our analysis.
|Download=2025-08-31 nkuechen diploma-thesis.pdf
|Slides=2025-09-18 nkuechen slides.pdf
|Link=https://gitlab.com/nkuechen/contractions-evaluation
|Forschungsgruppe=Wissensbasierte Systeme
}}

Misc3087

2025-10-02T15:52:53Z

Nils Küchenmeister: Die Seite wurde neu angelegt: „{{Publikation Erster Autor |ErsterAutorVorname=Nils |ErsterAutorNachname=Küchenmeister }} {{Misc |Title=Reliance-based Static Analysis of Existential Rules |Year=2025 |Month=August |Howpublished=Diploma Thesis, TU Dresden }} {{Publikation Details |Abstract=Cores are universal models of existential rules knowledge bases that have no redundant facts. They can be determined with the core chase, but this is expensive. Recent work suggested special positive a…“

Datei:2025-09-18 nkuechen slides.pdf

2025-10-02T15:50:43Z

Nils Küchenmeister:

Datei:2025-08-31 nkuechen diploma-thesis.pdf

2025-10-02T15:49:12Z

Nils Küchenmeister:

Nils Küchenmeister

2025-10-02T15:38:58Z

Nils Küchenmeister:

{{Mitarbeiter
|Vorname=Nils
|Nachname=Küchenmeister
|Akademischer Titel=Dipl.-Inf.
|Forschungsgruppe=Wissensbasierte Systeme
|Stellung=Doktorand
|Ehemaliger=0
|Email=nils.kuechenmeister@tu-dresden.de
|Matrix=@nkuechen:tu-dresden.de
|Raum=APB 3031
|Bild=Nils Kuechenmeister.jpg
|Info=Seit Oktober 2025 bin ich wissenschaftlicher Mitarbeiter in der Forschungsgruppe [[Wissensbasierte Systeme]] von Prof. Dr. [[Markus Krötzsch]]. Zuvor habe ich an der Technischen Universität Dresden studiert und dabei Theoretische Informatik sowie Systemarchitektur vertieft. (Daneben war ich als Werkstudent bei der Telekom MMS in Recherche zu Cloud [https://en.wikipedia.org/wiki/Confidential_computing Confidential Computing] involviert.) Ich interessiere mich besonders für regelbasiertes Schließen mit Datalog und ASP. In diesem Kontext habe ich mit [[Alex Ivliev]] eine prototypische Anwendung zur Analyse von Massenspektren mit ASP realisiert. Danach ging es in meiner Diplomarbeit um statischer Analyse [[Existenzielle Regeln|Existenzieller Regeln]].
|Info EN=I am research associate in the [[Knowledge-Based Systems]] group of Prof. Dr. [[Markus Krötzsch]] since October 2025. Before, I studied at the Dresden University of Technology and specialized in theoretical computer science and system architecture. (Next to that, I was involved in research on cloud-based [https://en.wikipedia.org/wiki/Confidential_computing Confidential Computing] as a working student at Telekom MMS.) I am especially interested in rule-based reasoning with Datalog and ASP. Together with [[Alex Ivliev]], I realised a prototypical tool to analyse mass spectra with ASP in this context. After that, my Diploma thesis was about static analysis of [[Existenzielle Regeln/en|existential rules]].
|Publikationen anzeigen=1
|Abschlussarbeiten anzeigen=0
|Projekte anzeigen=1
}}

Datei:Nils Kuechenmeister.jpg

2025-10-02T15:38:46Z

Nils Küchenmeister:

Nils Küchenmeister

2025-10-02T15:38:09Z

Nils Küchenmeister:

{{Mitarbeiter
|Vorname=Nils
|Nachname=Küchenmeister
|Akademischer Titel=Dipl.-Inf.
|Forschungsgruppe=Wissensbasierte Systeme
|Stellung=Doktorand
|Ehemaliger=0
|Email=nils.kuechenmeister@tu-dresden.de
|Matrix=@nkuechen:tu-dresden.de
|Raum=APB 3031
|Bild=Foto Nils Küchenmeister.jpg
|Info=Seit Oktober 2025 bin ich wissenschaftlicher Mitarbeiter in der Forschungsgruppe [[Wissensbasierte Systeme]] von Prof. Dr. [[Markus Krötzsch]]. Zuvor habe ich an der Technischen Universität Dresden studiert und dabei Theoretische Informatik sowie Systemarchitektur vertieft. (Daneben war ich als Werkstudent bei der Telekom MMS in Recherche zu Cloud [https://en.wikipedia.org/wiki/Confidential_computing Confidential Computing] involviert.) Ich interessiere mich besonders für regelbasiertes Schließen mit Datalog und ASP. In diesem Kontext habe ich mit [[Alex Ivliev]] eine prototypische Anwendung zur Analyse von Massenspektren mit ASP realisiert. Danach ging es in meiner Diplomarbeit um statischer Analyse [[Existenzielle Regeln|Existenzieller Regeln]].
|Info EN=I am research associate in the [[Knowledge-Based Systems]] group of Prof. Dr. [[Markus Krötzsch]] since October 2025. Before, I studied at the Dresden University of Technology and specialized in theoretical computer science and system architecture. (Next to that, I was involved in research on cloud-based [https://en.wikipedia.org/wiki/Confidential_computing Confidential Computing] as a working student at Telekom MMS.) I am especially interested in rule-based reasoning with Datalog and ASP. Together with [[Alex Ivliev]], I realised a prototypical tool to analyse mass spectra with ASP in this context. After that, my Diploma thesis was about static analysis of [[Existenzielle Regeln/en|existential rules]].
|Publikationen anzeigen=1
|Abschlussarbeiten anzeigen=0
|Projekte anzeigen=1
}}

Nils Küchenmeister

2025-10-02T15:37:01Z

Nils Küchenmeister:

{{Mitarbeiter
|Vorname=Nils
|Nachname=Küchenmeister
|Akademischer Titel=Dipl.-Inf.
|Forschungsgruppe=Wissensbasierte Systeme
|Stellung=Doktorand
|Ehemaliger=0
|Email=nils.kuechenmeister@tu-dresden.de
|Matrix=@nkuechen:tu-dresden.de
|Raum=APB 3031
|Bild=Foto_Nils_Küchenmeister.jpg
|Info=Seit Oktober 2025 bin ich wissenschaftlicher Mitarbeiter in der Forschungsgruppe [[Wissensbasierte Systeme]] von Prof. Dr. [[Markus Krötzsch]]. Zuvor habe ich an der Technischen Universität Dresden studiert und dabei Theoretische Informatik sowie Systemarchitektur vertieft. (Daneben war ich als Werkstudent bei der Telekom MMS in Recherche zu Cloud [https://en.wikipedia.org/wiki/Confidential_computing Confidential Computing] involviert.) Ich interessiere mich besonders für regelbasiertes Schließen mit Datalog und ASP. In diesem Kontext habe ich mit [[Alex Ivliev]] eine prototypische Anwendung zur Analyse von Massenspektren mit ASP realisiert. Danach ging es in meiner Diplomarbeit um statischer Analyse [[Existenzielle Regeln|Existenzieller Regeln]].
|Info EN=I am research associate in the [[Knowledge-Based Systems]] group of Prof. Dr. [[Markus Krötzsch]] since October 2025. Before, I studied at the Dresden University of Technology and specialized in theoretical computer science and system architecture. (Next to that, I was involved in research on cloud-based [https://en.wikipedia.org/wiki/Confidential_computing Confidential Computing] as a working student at Telekom MMS.) I am especially interested in rule-based reasoning with Datalog and ASP. Together with [[Alex Ivliev]], I realised a prototypical tool to analyse mass spectra with ASP in this context. After that, my Diploma thesis was about static analysis of [[Existenzielle Regeln/en|existential rules]].
|Publikationen anzeigen=1
|Abschlussarbeiten anzeigen=0
|Projekte anzeigen=1
}}

Datei:Foto Nils Kuechenmeister.jpg

2025-10-02T14:42:26Z

Nils Küchenmeister: