Zobrazeno 1 - 2
of 2
pro vyhledávání: '"Anneke Haga"'
Publikováno v:
KR
We introduce and study several notions of approximation for ontology-mediated queries based on the description logics ALC and ALCI. Our approximations are of two kinds: we may (1) replace the ontology with one formulated in a tractable ontology langu
Publikováno v:
IJCAI
We study complete approximations of an ontology formulated in a non-Horn description logic (DL) such as $\mathcal{ALC}$ in a Horn DL such as~$\mathcal{EL}$. We provide concrete approximation schemes that are necessarily infinite and observe that in t
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::9e150e75d81a6b2c4558c58f1033487e
http://arxiv.org/abs/2001.07754
http://arxiv.org/abs/2001.07754