Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.

Efficient TBox Reasoning with Value Restrictions using the wer Reasoner

Autor: Benjamin Zarriess, Friedrich Michel, Anni-Yasmin Turhan, Patrick Koopmann, Franz Baader

Publikováno v: Theory and Practice of Logic Programming. 22:162-192

The inexpressive Description Logic (DL) ${\cal F}{{\cal L}_0}$ , which has conjunction and value restriction as its only concept constructors, had fallen into disrepute when it turned out that reasoning in ${\cal F}{{\cal L}_0}$ w.r.t. general TBoxes

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_________::95517302dd1e5f4d4ab299b0fdbcb4c8
https://doi.org/10.1017/s1471068421000466

Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.

Efficient TBox Reasoning with Value Restrictions—Introducing the $$\mathcal {F\!L}_{o}{} \textit{wer}$$ Reasoner

Autor: Benjamin Zarrieß, Anni-Yasmin Turhan, Friedrich Michel

Publikováno v: Rules and Reasoning ISBN: 9783030310943

The Description Logic (DL) \({\mathcal {F\!L}_0}\) uses universal quantification, whereas its well-known counter-part \(\mathcal {E\!L}\) uses the existential one. While for \(\mathcal {E\!L}\) deciding subsumption in the presence of general TBoxes i

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_________::60b302089bd197b00f03d243c25a3a9e
https://doi.org/10.1007/978-3-030-31095-0_9

Structural connectome-based predictive modeling of cognitive deficits in treated glioma patients.

Autor: Friedrich M; Institute of Neuroscience and Medicine (INM-1, INM-3, INM-4, INM-11), Forschungszentrum Juelich, Juelich, Germany., Filss CP; Institute of Neuroscience and Medicine (INM-1, INM-3, INM-4, INM-11), Forschungszentrum Juelich, Juelich, Germany., Lohmann P; Institute of Neuroscience and Medicine (INM-1, INM-3, INM-4, INM-11), Forschungszentrum Juelich, Juelich, Germany., Mottaghy FM; Department of Nuclear Medicine, RWTH University Hospital Aachen, RWTH University Aachen, Aachen, Germany., Stoffels G; Institute of Neuroscience and Medicine (INM-1, INM-3, INM-4, INM-11), Forschungszentrum Juelich, Juelich, Germany., Weiss Lucas C; Department of General Neurosurgery, Center for Neurosurgery, Faculty of Medicine and University Hospital Cologne, University of Cologne, Cologne, Germany.; Center of Integrated Oncology (CIO), Universities of Aachen, Bonn, Cologne, and Duesseldorf, Germany., Ruge MI; Center of Integrated Oncology (CIO), Universities of Aachen, Bonn, Cologne, and Duesseldorf, Germany.; Department of Stereotaxy and Functional Neurosurgery, Center for Neurosurgery, Faculty of Medicine and University Hospital Cologne, Cologne, Germany., Shah NJ; Institute of Neuroscience and Medicine (INM-1, INM-3, INM-4, INM-11), Forschungszentrum Juelich, Juelich, Germany.; Juelich-Aachen Research Alliance (JARA), Section JARA-Brain, Juelich, Germany.; Department of Neurology, RWTH University Hospital Aachen, RWTH University Aachen, Aachen, Germany., Caspers S; Institute of Neuroscience and Medicine (INM-1, INM-3, INM-4, INM-11), Forschungszentrum Juelich, Juelich, Germany.; Institute for Anatomy I, Medical Faculty and University Hospital Duesseldorf, Heinrich Heine University Duesseldorf, Duesseldorf, Germany., Langen KJ; Institute of Neuroscience and Medicine (INM-1, INM-3, INM-4, INM-11), Forschungszentrum Juelich, Juelich, Germany.; Department of Nuclear Medicine, RWTH University Hospital Aachen, RWTH University Aachen, Aachen, Germany.; Center of Integrated Oncology (CIO), Universities of Aachen, Bonn, Cologne, and Duesseldorf, Germany., Fink GR; Institute of Neuroscience and Medicine (INM-1, INM-3, INM-4, INM-11), Forschungszentrum Juelich, Juelich, Germany.; Department of Neurology, Faculty of Medicine and University Hospital Cologne, University of Cologne, Cologne, Germany., Galldiks N; Institute of Neuroscience and Medicine (INM-1, INM-3, INM-4, INM-11), Forschungszentrum Juelich, Juelich, Germany.; Center of Integrated Oncology (CIO), Universities of Aachen, Bonn, Cologne, and Duesseldorf, Germany.; Department of Neurology, Faculty of Medicine and University Hospital Cologne, University of Cologne, Cologne, Germany., Kocher M; Institute of Neuroscience and Medicine (INM-1, INM-3, INM-4, INM-11), Forschungszentrum Juelich, Juelich, Germany.; Center of Integrated Oncology (CIO), Universities of Aachen, Bonn, Cologne, and Duesseldorf, Germany.; Department of Stereotaxy and Functional Neurosurgery, Center for Neurosurgery, Faculty of Medicine and University Hospital Cologne, Cologne, Germany.

Publikováno v: Neuro-oncology advances [Neurooncol Adv] 2023 Nov 15; Vol. 6 (1), pp. vdad151. Date of Electronic Publication: 2023 Nov 15 (Print Publication: 2024).