Query Answering in Lattice-based Description Logic
Fuente:
arXiv
Salvato in:
| Autori principali: | , |
|---|---|
| Natura: | Preprint |
| Pubblicazione: |
2024
|
| Soggetti: | |
| Accesso online: | |
| Tags: |
Aggiungi Tag
Nessun Tag, puoi essere il primo ad aggiungerne!!
|
| _version_ | 1866912416518897664 |
|---|---|
| author | Manoorkar, Krishna Wang, Ruoding |
| author_facet | Manoorkar, Krishna Wang, Ruoding |
| contents | Recently, the description logic LE-ALC was introduced for reasoning in the semantic environment of the enriched formal contexts, and a tableaux algorithm was developed for checking the consistency of ABoxes in this logic. In this paper, we study the ontology-mediated query answering in LE-ALC . In particular, we show that several different types of queries can be answered efficiently for LE-ALC knowledge bases with acyclic TBoxes using our tableaux algorithm directly or by extending it with some additional rules. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2409_02289 |
| institution | arXiv |
| publishDate | 2024 |
| record_format | arxiv |
| spellingShingle | Query Answering in Lattice-based Description Logic Manoorkar, Krishna Wang, Ruoding Logic in Computer Science Recently, the description logic LE-ALC was introduced for reasoning in the semantic environment of the enriched formal contexts, and a tableaux algorithm was developed for checking the consistency of ABoxes in this logic. In this paper, we study the ontology-mediated query answering in LE-ALC . In particular, we show that several different types of queries can be answered efficiently for LE-ALC knowledge bases with acyclic TBoxes using our tableaux algorithm directly or by extending it with some additional rules. |
| title | Query Answering in Lattice-based Description Logic |
| topic | Logic in Computer Science |
| url | https://arxiv.org/abs/2409.02289 |