arXiv AI By Jan Novacek, Alexander Viehl, Oliver Bringmann, Wolfgang Rosenstiel

Reasoning-supported Robustness Validation of Automotive E/E Components

Read the original on arXiv AI →

arXiv:2608. 16421v1 Announce Type: new Abstract: This paper presents an ontology-supported approach to tackle the complexity of the Robustness Validation (RV) process of automotive electrical/electronic (E/E) components.

Summary generated by The Flow from the publisher's feed. The full article lives at arXiv AI.

arXiv AI
Jun 24

When CQs Go Wrong: Challenges in CQ Verification with OE-Assist

arXiv:2606. 24619v1 Announce Type: new Abstract: Competency Questions (CQs) are the central component of CQ-verification, an established process in which an ontology is evaluated against a set of natural language questions to determine whether the intended purpose of the ontology has been properly modelled.

By Anna Sofia Lippolis, Mohammad Javad Saeedizade, Robin Keskis\"arkk\"a, Aldo Gangemi, Eva Blomqvist, Andrea Giovanni Nuzzolese