Hybrid MKNF for Aeronautics Applications: Usage and Heuristics
Fuente:
arXiv
Gespeichert in:
| Hauptverfasser: | , , , |
|---|---|
| Format: | Preprint |
| Veröffentlicht: |
2026
|
| Schlagworte: | |
| Online-Zugang: | |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
| _version_ | 1866918277605752832 |
|---|---|
| author | Sheela, Arun Raveendran Nair De Grancey, Florence Rey, Christophe Charpenay, Victor |
| author_facet | Sheela, Arun Raveendran Nair De Grancey, Florence Rey, Christophe Charpenay, Victor |
| contents | The deployment of knowledge representation and reasoning technologies in aeronautics applications presents two main challenges: achieving sufficient expressivity to capture complex domain knowledge, and executing reasoning tasks efficiently while minimizing memory usage and computational overhead. An effective strategy for attaining necessary expressivity involves integrating two fundamental KR concepts: rules and ontologies. This study adopts the well-established KR language Hybrid MKNF owing to its seamless integration of rules and ontologies through its semantics and query answering capabilities. We evaluated Hybrid MKNF to assess its suitability in the aeronautics domain through a concrete case study. We identified additional expressivity features that are crucial for developing aeronautics applications and proposed a set of heuristics to support their integration into Hybrid MKNF framework. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2601_04273 |
| institution | arXiv |
| publishDate | 2026 |
| record_format | arxiv |
| spellingShingle | Hybrid MKNF for Aeronautics Applications: Usage and Heuristics Sheela, Arun Raveendran Nair De Grancey, Florence Rey, Christophe Charpenay, Victor Artificial Intelligence Logic in Computer Science The deployment of knowledge representation and reasoning technologies in aeronautics applications presents two main challenges: achieving sufficient expressivity to capture complex domain knowledge, and executing reasoning tasks efficiently while minimizing memory usage and computational overhead. An effective strategy for attaining necessary expressivity involves integrating two fundamental KR concepts: rules and ontologies. This study adopts the well-established KR language Hybrid MKNF owing to its seamless integration of rules and ontologies through its semantics and query answering capabilities. We evaluated Hybrid MKNF to assess its suitability in the aeronautics domain through a concrete case study. We identified additional expressivity features that are crucial for developing aeronautics applications and proposed a set of heuristics to support their integration into Hybrid MKNF framework. |
| title | Hybrid MKNF for Aeronautics Applications: Usage and Heuristics |
| topic | Artificial Intelligence Logic in Computer Science |
| url | https://arxiv.org/abs/2601.04273 |