Search Results for author:
Found 3 papers, 0 papers with code
Learning Query Inseparable ELH Ontologies
', with A an arbitrary data instance and q and query in Q.
SMT-Based Safety Verification of Data-Aware Processes under Ontologies (Extended Version)
In the context of verification of data-aware processes (DAPs), a formal approach based on satisfiability modulo theories (SMT) has been considered to verify parameterised safety properties of so-called artifact-centric systems.
An Ontology for Defect Detection in Metal Additive Manufacturing
Finally, ontology-based approaches to advanced manufacturing services can support the explainability and interpretability of the behaviour of monitoring, control, and simulation systems that are based on black-box machine learning algorithms.
Cannot find the paper you are looking for? You can
Submit a new open access paper.
