Zobrazeno 1 - 10
of 22
pro vyhledávání: '"Francesco Kriegel"'
Autor:
Franz Baader, Francesco Kriegel
Ontologies based on Description Logic (DL) represent general background knowledge in a terminology (TBox) and the actual data in an ABox. DL systems can then be used to compute consequences (such as answers to certain queries) from an ontology consis
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::5a3841adb19c4776ce512742005c3593
https://tud.qucosa.de/id/qucosa:79251
https://tud.qucosa.de/id/qucosa:79251
Autor:
Francesco Kriegel
Publikováno v:
KI - Künstliche Intelligenz. 34:399-403
My thesis describes how methods from Formal Concept Analysis can be used for constructing and extending description logic ontologies. In particular, it is shown how concept inclusions can be axiomatized from data in the description logics $$\mathcal
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::1a1d149b3edc0331d6dff6d5d9edab8b
https://doi.org/10.1007/s13218-020-00673-8
https://doi.org/10.1007/s13218-020-00673-8
Autor:
Francesco Kriegel
Publikováno v:
Discrete Applied Mathematics. 273:172-204
The notion of a most specific consequence with respect to some terminological box is introduced, conditions for its existence in the description logic E L and its variants are provided, and means for its computation are developed. Algebraic propertie
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::fb7bfca26ec0ceb17bbb9ad07f14f1e4
https://doi.org/10.1016/j.dam.2019.01.029
https://doi.org/10.1016/j.dam.2019.01.029
Autor:
Francesco Kriegel
Publikováno v:
Lecture Notes in Computer Science ISBN: 9783031157905
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::3e586fc0f6f21bc6a2e312c5f7de14d7
https://doi.org/10.1007/978-3-031-15791-2_11
https://doi.org/10.1007/978-3-031-15791-2_11
Errors in Description Logic (DL) ontologies are often detected when a reasoner computes unwanted consequences. The question is then how to repair the ontology such that the unwanted consequences no longer follow, but as many of the other consequences
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::08d57a0ba9b8cf1cb44e43f202292251
https://doi.org/10.25368/2022.65
https://doi.org/10.25368/2022.65
Publikováno v:
Rules and Reasoning ISBN: 9783031215407
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::4ebf5cf46aacb11931cb09f64263b3d9
https://doi.org/10.1007/978-3-031-21541-4_15
https://doi.org/10.1007/978-3-031-21541-4_15
Publikováno v:
The Semantic Web ISBN: 9783031069802
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::a4050cb7f83b81f38fa0177d9822cc23
https://doi.org/10.1007/978-3-031-06981-9_8
https://doi.org/10.1007/978-3-031-06981-9_8
The application of automated reasoning approaches to Description Logic (DL) ontologies may produce certain consequences that either are deemed to be wrong or should be hidden for privacy reasons. The question is then how to repair the ontology such t
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::2d73094e57abdb764d873bc4415aaae3
https://doi.org/10.25368/2022.64
https://doi.org/10.25368/2022.64
Publikováno v:
SAC
In recent work, we have shown how to compute compliant anonymizations of quantified ABoxes w.r.t. ?L policies. In this setting, quantified ABoxes can be used to publish information about individuals, some of which are anonymized. The policy is given
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::50e8442e5eeadc2e70dcd61461175565
https://doi.org/10.1145/3412841.3441961
https://doi.org/10.1145/3412841.3441961
Publikováno v:
Automated Deduction – CADE 28 ISBN: 9783030798758
CADE
CADE
The application of automated reasoning approaches to Description Logic (DL) ontologies may produce certain consequences that either are deemed to be wrong or should be hidden for privacy reasons. The question is then how to repair the ontology such t
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::013b1b2163c018ebb52263ced2a1ce40
https://doi.org/10.1007/978-3-030-79876-5_18
https://doi.org/10.1007/978-3-030-79876-5_18