Zobrazeno 1 - 10
of 550
pro vyhledávání: '"Baader , Franz"'
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
Autor:
Tsatsaronis, George, Ma, Yue, Petrova, Alina, Kissa, Maria, Distel, Felix, Baader , Franz, Schroeder, Michael
Publikováno v:
Journal of Biomedical Semantics 2015, 6:22, ISSN 2041-1480
Background Ontologies play a major role in life sciences, enabling a number of applications, from new data integration to knowledge verification. SNOMED CT is a large medical ontology that is formally defined so that it ensures global consistency and
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
The inexpressive Description Logic (DL) $\mathcal{FL}_0$, which has conjunction and value restriction as its only concept constructors, had fallen into disrepute when it turned out that reasoning in $\mathcal{FL}_0$ w.r.t. general TBoxes is ExpTime-c
Externí odkaz:
http://arxiv.org/abs/2107.12877
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
Autor:
Baader, Franz, Fernández Gil, Oliver
Publikováno v:
In Artificial Intelligence January 2024 326
