2 papers
cs.CE2025
Knowledge-Based Aerospace Engineering -- A Systematic Literature Review
Tim Wittenborg, Ildar Baimuratov, Ludvig Knöös Franzén +3
The aerospace industry operates at the frontier of technological innovation while maintaining high standards regarding safety and reliability. In this environment, with an enormous…
cs.AI2025
Representing Normative Regulations in OWL DL for Automated Compliance Checking Supported by Text Annotation
Ildar Baimuratov, Denis Turygin
Compliance checking is the process of determining whether a regulated entity adheres to these regulations. Currently, compliance checking is predominantly manual, requiring signifi…