Computing generalizations of temporal 𝓔𝓛 concepts with next and global.
Publikation: Beitrag zu Konferenzen › Paper › Beigetragen › Begutachtung
Beitragende
Abstract
In ontology-based applications, the authoring of complex concepts or queries written in a description logic (DL) is a difficult task. An established approach to generate complex expressions from examples provided a user, is the bottom-up approach. This approach employs two inferences: the most specific concept (MSC), which generalizes an ABox individual into a concept and the least common subsumer (LCS), which generalizes a collection of concepts into a single concept. In ontology-based situation recognition the situation to be recognized is formalized by a DL query using temporal operators and that is to answered over a sequence of ABoxes. Now, while the bottom-up approach is well-investigated for the DL EL, there are so far no methods for temporalized DLs. We consider here the temporalized DL that extends the DL EL with the LTL operators next (X) and global (G) and we present an approach that extends the LCS and the MSC to the temporalized setting. We provide computation algorithms for both inferences-even in the presence of rigid symbols-and show their correctness.
Details
Originalsprache | Englisch |
---|---|
Seiten | 903-910 |
Seitenumfang | 8 |
Publikationsstatus | Veröffentlicht - 25 Apr. 2022 |
Peer-Review-Status | Ja |
Externe IDs
Scopus | 85130415188 |
---|---|
Mendeley | 518ce944-96a6-3d81-af76-b4aa6b254370 |
Schlagworte
ASJC Scopus Sachgebiete
Schlagwörter
- description logics, generalization, temporal reasoning