Abstract:Context: Ontologies are known as a formal and explicit conceptualization of entities, their interfaces, behaviors, and relationships. They have been applied in various application domains such as autonomous driving where ontologies are used for decision making, traffic description, auto-pilot etc. It has always been a challenge to test the corresponding safety-critical software systems in autonomous driving that have been playing an increasingly important role in our daily routines.Objective: Failures in these systems potentially not only cause great financial loss but also the loss of lives. Therefore, it is vital to obtain and cover as many as critical driving scenarios during auto drive testing to ensure that the system can always reach a fail-safe state under different circumstances.Method: We outline a general framework for testing, verification, and validation for automated and autonomous driving functions. The introduced method makes use of ontologies for describing the environment of autonomous vehicles and convert them to input models for combinatorial testing. The combinatorial test suite comprises abstract test cases that are mapped to concrete test cases that can be executed using simulation environments.Results: We discuss in detail on how to automatically convert ontologies to the corresponding combinatorial testing input models. Specifically, we present two conversion algorithms and compare their applicability using ontologies with different sizes. We also carried out a case study to further demonstrate the practical value of applying ontology-based test generation in industrial settings.Conclusion: The proposed approach for testing autonomous driving takes ontologies describing the environment of autonomous vehicles, and automatically converts it to test cases that are used in a simulation environment to verify automated driving functions. The conversion relies on combinatorial testing. The first experimental results relying on an example from the automotive industry indicates that the approach can be used in practice.

Black-box Testing of First-Order Logic Ontologies Using WordNet

A Framework for the Evaluation of SUMO-Based Ontologies Using WordNet

Applying the Closed World Assumption to SUMO-based FOL Ontologies for Effective Commonsense Reasoning

Commonsense Reasoning Using WordNet and SUMO: a Detailed Analysis

Validating WordNet Meronymy Relations using Adimen-SUMO

Diagnosis via Proofs of Unsatisfiability for First-Order Logic with Relational Objects

Translating SUMO-K to Higher-Order Set Theory

Extending Automated Deduction for Commonsense Reasoning

Using Automated Theorem Provers to Teach Knowledge Representation in First-Order Logic

Understanding and Improving Ontology

Formal description and model testing of Ontology based on extended order-sorted logic

Reasoning about semantic Web in Isabelle/HOL

A Non-Standard Approach for the OWL Ontologies Checking and Reasoning.

Ontology-based test generation for automated and autonomous driving functions

Algorithms for Paraconsistent Reasoning with OWL

Semantic Cooperation And Knowledge Reuse By Using Autonomous Ontologies

LoNLI: An Extensible Framework for Testing Diverse Logical Reasoning Capabilities for NLI

OntoLoki: an automatic, instance-based method for the evaluation of biological ontologies on the Semantic Web

Finite model reasoning over existential rules

Automating Meta-Theory Creation And System Extension

Axe 'Em: Eliminating Spurious States with Induction Axioms