Zobrazeno 1 - 10
of 10
pro vyhledávání: '"Alrabbaa, Christian"'
We present a method for answering ontology-mediated queries for DL-Lite extended with a concrete domain, where we allow concrete domain predicates to be used in the query as well. Our method is based on query rewriting, a well-known technique for ont
Externí odkaz:
https://tud.qucosa.de/id/qucosa%3A79618
https://tud.qucosa.de/api/qucosa%3A79618/attachment/ATT-0/
https://tud.qucosa.de/api/qucosa%3A79618/attachment/ATT-0/
Understanding logical entailments derived by a description logic reasoner is not always straight-forward for ontology users. For this reason, various methods for explaining entailments using justifications and proofs have been developed and implement
Externí odkaz:
http://arxiv.org/abs/2308.07294
Logic-based approaches to AI have the advantage that their behavior can in principle be explained with the help of proofs of the computed consequences. For ontologies based on Description Logic (DL), we have put this advantage into practice by showin
Externí odkaz:
http://arxiv.org/abs/2308.03705
In ontology-mediated query answering, access to incomplete data sources is mediated by a conceptual layer constituted by an ontology, which can be formulated in a description logic (DL) or using existential rules. In the literature, there exists a mu
Externí odkaz:
http://arxiv.org/abs/2208.14381
In ontology-mediated query answering, access to incomplete data sources is mediated by a conceptual layer constituted by an ontology. To correctly compute answers to queries, it is necessary to perform complex reasoning over the constraints expressed
Externí odkaz:
http://arxiv.org/abs/2206.09758
Autor:
Alrabbaa, Christian, Borgwardt, Stefan, Friese, Tom, Koopmann, Patrick, Méndez, Julián, Popovič, Alexej
When working with description logic ontologies, understanding entailments derived by a description logic reasoner is not always straightforward. So far, the standard ontology editor Prot\'eg\'e offers two services to help: (black-box) justifications
Externí odkaz:
http://arxiv.org/abs/2206.07711
Autor:
Alrabbaa, Christian, Baader, Franz, Borgwardt, Stefan, Dachselt, Raimund, Koopmann, Patrick, Méndez, Julián
Explanations for description logic (DL) entailments provide important support for the maintenance of large ontologies. The "justifications" usually employed for this purpose in ontology editors pinpoint the parts of the ontology responsible for a giv
Externí odkaz:
http://arxiv.org/abs/2205.09583
Logic-based approaches to AI have the advantage that their behavior can in principle be explained to a user. If, for instance, a Description Logic reasoner derives a consequence that triggers some action of the overall system, then one can explain su
Externí odkaz:
http://arxiv.org/abs/2104.13138
Publikováno v:
LPAR-23: 23rd International Conference on Logic for Programming, Artificial Intelligence and Reasoning, vol 73, 2020, pages 32--67
Logic-based approaches to AI have the advantage that their behaviour can in principle be explained by providing their users with proofs for the derived consequences. However, if such proofs get very large, then it may be hard to understand a conseque
Externí odkaz:
http://arxiv.org/abs/2004.08311
Autor:
Alrabbaa, Christian, Borgwardt, Stefan, Hirsch, Anke, Knieriemen, Nina, Kovtunova, Alisa, Krüger, Antonio
Some automated decisions are required to be explained. However, together with a reason why a decision has been made, the user can require a reason why another decision has not. If we take a system where knowledge can be represented in a form of logic
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::2ed1b7688ba920b801d47379438c01ff