https://iccl.inf.tu-dresden.de/w/api.php?action=feedcontributions&feedformat=atom&user=Pascal+Kettmann 2026-04-18T19:22:13Z Benutzerbeiträge MediaWiki 1.43.1 https://iccl.inf.tu-dresden.de/w/index.php?title=Inproceedings3424&diff=44030 2026-02-16T10:54:47Z

<p>Pascal Kettmann: </p> <hr /> <div>{{Publikation Erster Autor<br /> |ErsterAutorVorname=Piotr<br /> |ErsterAutorNachname=Gorczyca<br /> |FurtherAuthors=Dörthe Arndt; Martin Diller; Jochen Hampe; Georg Heidenreich; Pascal Kettmann; Markus Krötzsch; Stephan Mennicke; Sebastian Rudolph; Hannes Straß<br /> }}<br /> {{Inproceedings<br /> |Referiert=1<br /> |Title=Supporting Risk Management for Medical Devices via the Riskman Ontology and Shapes<br /> |To appear=0<br /> |Year=2025<br /> |Month=September<br /> |Booktitle=Proceedings of the 21st International Conference on Semantic Systems (SEMANTiCS 2025)<br /> |Pages=226 - 246<br /> }}<br /> {{Publikation Details<br /> |Abstract=We propose the Riskman ontology and shapes for representing and analysing information about risk management for medical devices.<br /> Risk management is concerned with taking necessary precautions to ensure that a medical device does not cause harms for users or the environment. To date, risk management documentation is submitted to notified bodies (for certification) in the form of semi-structured natural language text. We propose to use terms from the Riskman ontology to provide a formal, logical underpinning for risk management documentation, and to use the included SHACL constraints to check whether the provided data is in accordance with the requirements of the two relevant norms, i.e. ISO 14971 and VDE Spec 90025.<br /> |Download=Gorczyca-et-al2025supporting-risk-management-for-medical-devices-via-the-riskman-ontology-and-shapes.pdf<br /> |Slides=Gorczyca-riskman-slides.pdf<br /> |DOI Name=10.3233/SSW250023<br /> |Projekt=KIMEDS, MEDGE, SEMECO-Q2<br /> |Forschungsgruppe=Computational Logic, Logische Programmierung und Argumentation, Wissensbasierte Systeme<br /> }}<br /> Access the live presentation at https://gorczyca.github.io/semantics-25-slides/</div>

Pascal Kettmann https://iccl.inf.tu-dresden.de/w/index.php?title=Inproceedings3424&diff=44029 2026-02-16T10:54:27Z

<p>Pascal Kettmann: </p> <hr /> <div>{{Publikation Erster Autor<br /> |ErsterAutorVorname=Piotr<br /> |ErsterAutorNachname=Gorczyca<br /> |FurtherAuthors=Dörthe Arndt; Martin Diller; Jochen Hampe; Georg Heidenreich; Pascal Kettmann; Markus Krötzsch; Stephan Mennicke; Sebastian Rudolph; Hannes Straß<br /> }}<br /> {{Inproceedings<br /> |Referiert=1<br /> |Title=Supporting Risk Management for Medical Devices via the Riskman Ontology and Shapes<br /> |To appear=1<br /> |Year=2025<br /> |Month=September<br /> |Booktitle=Proceedings of the 21st International Conference on Semantic Systems (SEMANTiCS 2025)<br /> |Pages=226 - 246<br /> }}<br /> {{Publikation Details<br /> |Abstract=We propose the Riskman ontology and shapes for representing and analysing information about risk management for medical devices.<br /> Risk management is concerned with taking necessary precautions to ensure that a medical device does not cause harms for users or the environment. To date, risk management documentation is submitted to notified bodies (for certification) in the form of semi-structured natural language text. We propose to use terms from the Riskman ontology to provide a formal, logical underpinning for risk management documentation, and to use the included SHACL constraints to check whether the provided data is in accordance with the requirements of the two relevant norms, i.e. ISO 14971 and VDE Spec 90025.<br /> |Download=Gorczyca-et-al2025supporting-risk-management-for-medical-devices-via-the-riskman-ontology-and-shapes.pdf<br /> |Slides=Gorczyca-riskman-slides.pdf<br /> |DOI Name=10.3233/SSW250023<br /> |Projekt=KIMEDS, MEDGE, SEMECO-Q2<br /> |Forschungsgruppe=Computational Logic, Logische Programmierung und Argumentation, Wissensbasierte Systeme<br /> }}<br /> Access the live presentation at https://gorczyca.github.io/semantics-25-slides/</div>

Pascal Kettmann https://iccl.inf.tu-dresden.de/w/index.php?title=Inproceedings3415&diff=44028 2026-02-16T10:40:51Z

<p>Pascal Kettmann: </p> <hr /> <div>{{Publikation Erster Autor<br /> |ErsterAutorVorname=Pascal<br /> |ErsterAutorNachname=Kettmann<br /> |FurtherAuthors=Jesse Heyninck; Hannes Straß<br /> }}<br /> {{Inproceedings<br /> |Referiert=1<br /> |Title=Approximation Fixpoint Theory as a Unifying Framework for Fuzzy Logic Programming Semantics<br /> |To appear=0<br /> |Year=2025<br /> |Month=August<br /> |Booktitle=Proceedings of the 34th International Joint Conference on Artificial Intelligence, IJCAI 2025<br /> |Pages=4544--4552<br /> |Publisher=ijcai.org<br /> }}<br /> {{Publikation Details<br /> |Abstract=Fuzzy logic programming is an established approach for reasoning under uncertainty. Several semantics from classical, two-valued logic programming have been generalized to the case of fuzzy logic programs. In this paper, we show that two of the most prominent classical semantics, namely the stable model and the well-founded semantics, can be reconstructed within the general framework of approximation fixpoint theory (AFT).<br /> This not only widens the scope of AFT from two- to many-valued logics, but allows a wide range of existing AFT results to be applied to fuzzy logic programming. As first examples of such applications, we clarify the formal relationship between existing semantics, generalize the notion of stratification from classical to fuzzy logic programs, and devise “more precise” variants of the semantics.<br /> |Download=Flp-aft-ijcai25.pdf<br /> |Link=https://www.ijcai.org/proceedings/2025/506<br /> |DOI Name=10.24963/ijcai.2025/506<br /> |Projekt=KIMEDS, MEDGE, SECAI, SEMECO-Q2<br /> |Forschungsgruppe=Computational Logic<br /> }}</div>

Pascal Kettmann https://iccl.inf.tu-dresden.de/w/index.php?title=Inproceedings3415&diff=44027 2026-02-16T10:26:25Z

<p>Pascal Kettmann: </p> <hr /> <div>{{Publikation Erster Autor<br /> |ErsterAutorVorname=Pascal<br /> |ErsterAutorNachname=Kettmann<br /> |FurtherAuthors=Jesse Heyninck; Hannes Straß<br /> }}<br /> {{Inproceedings<br /> |Referiert=1<br /> |Title=Approximation Fixpoint Theory as a Unifying Framework for Fuzzy Logic Programming Semantics<br /> |To appear=0<br /> |Year=2025<br /> |Month=August<br /> |Pages=4544--4552<br /> |Booktitle=Proceedings of the 34th International Joint Conference on Artificial Intelligence, IJCAI 2025<br /> }}<br /> {{Publikation Details<br /> |Abstract=Fuzzy logic programming is an established approach for reasoning under uncertainty. Several semantics from classical, two-valued logic programming have been generalized to the case of fuzzy logic programs. In this paper, we show that two of the most prominent classical semantics, namely the stable model and the well-founded semantics, can be reconstructed within the general framework of approximation fixpoint theory (AFT).<br /> This not only widens the scope of AFT from two- to many-valued logics, but allows a wide range of existing AFT results to be applied to fuzzy logic programming. As first examples of such applications, we clarify the formal relationship between existing semantics, generalize the notion of stratification from classical to fuzzy logic programs, and devise “more precise” variants of the semantics.<br /> |Download=Flp-aft-ijcai25.pdf<br /> |Link=https://www.ijcai.org/proceedings/2025/506<br /> |Projekt=KIMEDS, MEDGE, SECAI, SEMECO-Q2<br /> |Forschungsgruppe=Computational Logic<br /> }}</div>

Pascal Kettmann https://iccl.inf.tu-dresden.de/w/index.php?title=Datei:Kettmann.jpg&diff=43345 2025-10-17T11:54:55Z

<p>Pascal Kettmann: Pascal Kettmann lud eine neue Version von Datei:Kettmann.jpg hoch</p> <hr /> <div></div>

Pascal Kettmann https://iccl.inf.tu-dresden.de/w/index.php?title=Datei:Kettmann.jpg&diff=43344 2025-10-17T10:52:38Z

<p>Pascal Kettmann: Pascal Kettmann lud eine neue Version von Datei:Kettmann.jpg hoch</p> <hr /> <div></div>

Pascal Kettmann https://iccl.inf.tu-dresden.de/w/index.php?title=Inproceedings3415&diff=42406 2025-05-20T10:42:50Z

<p>Pascal Kettmann: Die Seite wurde neu angelegt: „{{Publikation Erster Autor |ErsterAutorVorname=Pascal |ErsterAutorNachname=Kettmann |FurtherAuthors=Jesse Heyninck; Hannes Straß }} {{Inproceedings |Referiert=1 |Title=Approximation Fixpoint Theory as a Unifying Framework for Fuzzy Logic Programming Semantics |To appear=1 |Year=2025 |Booktitle=Proceedings of the 34th International Joint Conference on Artificial Intelligence, IJCAI 2025 }} {{Publikation Details |Abstract=Fuzzy logic programming is an est…“</p> <hr /> <div>{{Publikation Erster Autor<br /> |ErsterAutorVorname=Pascal<br /> |ErsterAutorNachname=Kettmann<br /> |FurtherAuthors=Jesse Heyninck; Hannes Straß<br /> }}<br /> {{Inproceedings<br /> |Referiert=1<br /> |Title=Approximation Fixpoint Theory as a Unifying Framework for Fuzzy Logic Programming Semantics<br /> |To appear=1<br /> |Year=2025<br /> |Booktitle=Proceedings of the 34th International Joint Conference on Artificial Intelligence, IJCAI 2025<br /> }}<br /> {{Publikation Details<br /> |Abstract=Fuzzy logic programming is an established approach for reasoning under uncertainty. Several semantics from classical, two-valued logic programming have been generalized to the case of fuzzy logic programs. In this paper, we show that two of the most prominent classical semantics, namely the stable model and the well-founded semantics, can be reconstructed within the general framework of approximation fixpoint theory (AFT).<br /> This not only widens the scope of AFT from two- to many-valued logics, but allows a wide range of existing AFT results to be applied to fuzzy logic programming. As first examples of such applications, we clarify the formal relationship between existing semantics, generalize the notion of stratification from classical to fuzzy logic programs, and devise “more precise” variants of the semantics.<br /> |Download=Flp-aft-ijcai25.pdf<br /> |Projekt=KIMEDS, MEDGE, SECAI, SEMECO-Q2<br /> |Forschungsgruppe=Computational Logic<br /> }}</div>

Pascal Kettmann https://iccl.inf.tu-dresden.de/w/index.php?title=Datei:Flp-aft-ijcai25.pdf&diff=42405 2025-05-20T10:29:02Z

<p>Pascal Kettmann: </p> <hr /> <div></div>

Pascal Kettmann https://iccl.inf.tu-dresden.de/w/index.php?title=Pascal_Kettmann&diff=37831 2023-02-02T18:24:57Z

<p>Pascal Kettmann: </p> <hr /> <div>{{Mitarbeiter<br /> |Vorname=Pascal<br /> |Nachname=Kettmann<br /> |Akademischer Titel=M.A.<br /> |Forschungsgruppe=Computational Logic<br /> |Stellung=Wissenschaftlicher Mitarbeiter<br /> |Ehemaliger=0<br /> |Telefon=+49 351 463 43549<br /> |Email=pascal.kettmann@tu-dresden.de<br /> |Raum=APB 2039<br /> |Bild=Kettmann.jpg<br /> |Info=Seit Dezember 2022 bin ich wissenschaftlicher Mitarbeiter an der Professur für Computational Logic und arbeite im BMFD geförderten Projekt [https://iccl.inf.tu-dresden.de/web/MEDGE M/EDGE].<br /> |Info EN=Since December 2022, I am a research assistant in the Computational Logic Group. I work within the BMFD-funded project [https://iccl.inf.tu-dresden.de/web/MEDGE/en M/EDGE].<br /> |Publikationen anzeigen=1<br /> |Abschlussarbeiten anzeigen=1<br /> }}</div>

Pascal Kettmann https://iccl.inf.tu-dresden.de/w/index.php?title=MEDGE&diff=37830 2023-02-01T12:36:50Z

<p>Pascal Kettmann: </p> <hr /> <div>{{Projekt<br /> |Kurzname=M/EDGE<br /> |Name=Vertrauenswürdige und energiesparsame Edge-Elektronik für medizinische Anwendungen<br /> |Name EN=Secure Low Power Medical Edge Computing<br /> |Beschreibung DE=Medizinprodukte werden klassischerweise als Gesamtsysteme entwickelt und zertifiziert. Das heißt im Extremfall, dass jedes Funktionsupgrade mit einer Neuzulassung verbunden ist. Zusammen mit ineffizienten Prozeduren, mit denen Funktion und Gefährdungsfreiheit nachgewiesen werden, erweist sich die Zulassung als ausgesprochen zeit- und ressourcenaufwendig. <br /> <br /> Das Projekt M/EDGE verfolgt einen modularen Ansatz. Ziel ist die Entwicklung einer zertifizierbaren Plattform. Daraus können vor-zertifizierte und skalierbare Komponenten (sowohl Hardware als auch Software) anwendungsspezifisch nach dem Baukasten-Prinzip zusammenfügt werden. Verbunden mit einem medizinisch-regulatorischen Konzept, das methodisch auf [[KIMEDS]] aufbaut, kann das anschließende Zertifizierungsverfahren erheblich vereinfacht und beschleunigt werden. Dazu wird das domänenspezifische Wissen und die modulare Systemarchitektur in ein wissensbasiertes System übersetzt, das den Zulassungsprozess durch eine automatisierte Erstellung und Prüfung des Sicherheitsnachweises unterstützt.<br /> |Beschreibung EN=Medical devices are traditionally developed and certified as complete systems. In extreme cases, every functional upgrade leads to a new need for certification. With inefficient functional and hazard verification, approval is extremely time- and resource-consuming.<br /> <br /> The M/EDGE project follows a modular approach. The goal is to develop a certifiable platform. From this, pre-certified and scalable components (both hardware and software) can be assembled on an application-specific basis according to the modular principle. Along with a medical-regulatory concept that methodically builds on [[KIMEDS]], the subsequent certification process can be significantly simplified and accelerated. This is done by translating the domain-specific knowledge and modular system architecture into a knowledge-based system that supports the certification process through automated generation and verification of the safety case.<br /> |Kontaktperson=Hannes Straß<br /> |Start=2022/11/01<br /> |Ende=2025/10/31<br /> |Finanziert von=BMBF<br /> |Projektstatus=aktiv<br /> |Logo=Screenshot from 2023-01-30 17-58-22.png<br /> |Person=Pascal Kettmann, Hannes Straß<br /> |Forschungsgruppe=Computational Logic<br /> }}</div>

Pascal Kettmann https://iccl.inf.tu-dresden.de/w/index.php?title=MEDGE&diff=37819 2023-01-30T17:32:22Z

<p>Pascal Kettmann: </p> <hr /> <div>{{Projekt<br /> |Kurzname=M/EDGE<br /> |Name=Vertrauenswürdige und energiesparsame Edge-Elektronik für medizinische Anwendungen<br /> |Name EN=Secure Low Power Medical Edge Computing<br /> |Beschreibung DE=Medizinprodukte werden klassischerweise als Gesamtsysteme entwickelt und zertifiziert. Das heißt im Extremfall, dass jedes Funktionsupgrade mit einer Neuzulassung verbunden ist. Zusammen mit ineffizienten Prozeduren, mit denen Funktion und Gefährdungsfreiheit nachgewiesen werden, erweist sich die Zulassung als ausgesprochen zeit- und ressourcenaufwendig. <br /> <br /> Das Projekt M/EDGE verfolgt einen modularen Ansatz. Ziel ist die Entwicklung einer zertifizierbaren Plattform. Daraus können vor-zertifizierte und skalierbare Komponenten (sowohl Hardware als auch Software) anwendungsspezifisch nach dem Baukasten-Prinzip zusammenfügt werden. Verbunden mit einem medizinisch-regulatorischen Konzept, das methodisch auf [[KIMEDS]] aufbaut, kann das anschließende Zertifizierungsverfahren erheblich vereinfacht und beschleunigt werden. Dazu wird das domänenspezifische Wissen und die modulare Systemarchitektur in ein wissensbasiertes System übersetzt, das den Zulassungsprozess durch eine automatisierte Erstellung und Prüfung des Sicherheitsnachweises unterstützt.<br /> |Beschreibung EN=Medical devices are traditionally developed and certified as complete systems. In extreme cases, every functional upgrade leads to a new need for certification. With inefficient functional and hazard verification, approval is extremely time- and resource-consuming.<br /> <br /> The M/EDGE project follows a modular approach. The goal is to develop a certifiable platform. From this, pre-certified and scalable components (both hard- and software) can be assembled application-specifically according to the modular principle. Along with a medical-regulatory concept that methodically builds on [[KIMEDS]], the subsequent certification process can be significantly simplified and accelerated. This is done by translating the domain-specific knowledge and modular system architecture into a knowledge-based system that supports the certification process through automated generation and verification of the safety case.<br /> |Kontaktperson=Hannes Straß<br /> |Start=2022/11/01<br /> |Ende=2025/10/31<br /> |Finanziert von=BMBF<br /> |Projektstatus=aktiv<br /> |Logo=Screenshot from 2023-01-30 17-58-22.png<br /> |Person=Pascal Kettmann, Hannes Straß<br /> |Forschungsgruppe=Computational Logic<br /> }}</div>

Pascal Kettmann https://iccl.inf.tu-dresden.de/w/index.php?title=Pascal_Kettmann&diff=37780 2023-01-20T14:34:04Z

<p>Pascal Kettmann: </p> <hr /> <div>{{Mitarbeiter<br /> |Vorname=Pascal<br /> |Nachname=Kettmann<br /> |Akademischer Titel=M.A.<br /> |Forschungsgruppe=Computational Logic<br /> |Stellung=Wissenschaftlicher Mitarbeiter<br /> |Ehemaliger=0<br /> |Email=pascal.kettmann@tu-dresden.de<br /> |Raum=APB 2039<br /> |Bild=Kettmann.jpg<br /> |Info=Seit Dezember 2022 bin ich wissenschaftlicher Mitarbeiter an der Professur für Computational Logic und arbeite im BMFD geförderten Projekt M/EDGE.<br /> |Info EN=Since December 2022, I am a research assistant in the Computational Logic Group. I work within the BMFD-funded project M/EDGE.<br /> |Publikationen anzeigen=1<br /> |Abschlussarbeiten anzeigen=1<br /> }}</div>

Pascal Kettmann https://iccl.inf.tu-dresden.de/w/index.php?title=Pascal_Kettmann&diff=37677 2022-12-16T15:45:50Z

<p>Pascal Kettmann: </p> <hr /> <div>{{Mitarbeiter<br /> |Vorname=Pascal<br /> |Nachname=Kettmann<br /> |Akademischer Titel=M.A.<br /> |Forschungsgruppe=Computational Logic<br /> |Stellung=Wissenschaftlicher Mitarbeiter<br /> |Ehemaliger=0<br /> |Email=pascal.kettmann@tu-dresden.de<br /> |Bild=Kettmann.jpg<br /> |Info=Seit Dezember 2022 bin ich wissenschaftlicher Mitarbeiter an der Professur für Computational Logic und arbeite im BMFD geförderten Projekt M/EDGE.<br /> |Info EN=Since December 2022, I am a research assistant in the Computational Logic Group. I work within the BMFD-funded project M/EDGE.<br /> |Publikationen anzeigen=1<br /> |Abschlussarbeiten anzeigen=1<br /> }}</div>

Pascal Kettmann https://iccl.inf.tu-dresden.de/w/index.php?title=Pascal_Kettmann&diff=37661 2022-12-12T17:08:30Z

<p>Pascal Kettmann: </p> <hr /> <div>{{Mitarbeiter<br /> |Vorname=Pascal<br /> |Nachname=Kettmann<br /> |Akademischer Titel=M.A.<br /> |Forschungsgruppe=Computational Logic<br /> |Stellung=Wissenschaftlicher Mitarbeiter<br /> |Ehemaliger=0<br /> |Email=pascal.kettmann@tu-dresden.de<br /> |Bild=Kettmann.jpg<br /> |Publikationen anzeigen=1<br /> |Abschlussarbeiten anzeigen=1<br /> }}</div>

Pascal Kettmann https://iccl.inf.tu-dresden.de/w/index.php?title=Datei:Kettmann.jpg&diff=37660 2022-12-12T17:07:07Z

<p>Pascal Kettmann: </p> <hr /> <div></div>

Pascal Kettmann