Seuraa
Francesco Kriegel
Francesco Kriegel
Postdoctoral Research and Teaching Associate, Technische Universität Dresden, Germany
Vahvistettu sähköpostiosoite verkkotunnuksessa tu-dresden.de - Kotisivu
Nimike
Viittaukset
Viittaukset
Vuosi
Making Repairs in Description Logics More Gentle
F Baader, F Kriegel, A Nuradiansyah, R Peñaloza
KR 2018: 16th International Conference on Principles of Knowledge …, 2018
76*2018
Computing Compliant Anonymisations of Quantified ABoxes w.r.t. Policies
F Baader, F Kriegel, A Nuradiansyah, R Peñaloza
ISWC 2020: 19th International Semantic Web Conference, Athens, Greece …, 2020
29*2020
Computing Optimal Repairs of Quantified ABoxes w.r.t. Static TBoxes
F Baader, P Koopmann, F Kriegel, A Nuradiansyah
CADE-28: 28th International Conference on Automated Deduction, Virtual Event …, 2021
27*2021
Optimal ABox Repair w.r.t. Static TBoxes: from Quantified ABoxes back to ABoxes
F Baader, P Koopmann, F Kriegel, A Nuradiansyah
ESWC 2022: 19th Extended Semantic Web Conference, Hersonissos, Greece, May …, 2022
21*2022
Axiomatisation of General Concept Inclusions from Finite Interpretations
D Borchmann, F Distel, F Kriegel
Journal of Applied Non-Classical Logics 26 (1), 1-46, 2016
21*2016
NextClosures: Parallel Computation of the Canonical Base
F Kriegel, D Borchmann
CLA 2015: 12th International Conference on Concept Lattices and Their …, 2015
182015
Most Specific Consequences in the Description Logic
F Kriegel
Discrete Applied Mathematics 273, 172–204, 2020
142020
Constructing and Extending Description Logic Ontologies using Methods of Formal Concept Analysis
F Kriegel
Doctoral Thesis, Theoretical Computer Science, Technische Universität Dresden, 2019
14*2019
Pushing Optimal ABox Repair from Towards More Expressive Horn-DLs
F Baader, F Kriegel
KR 2022: 19th International Conference on Principles of Knowledge …, 2022
13*2022
Acquisition of Terminological Knowledge from Social Networks in Description Logic
F Kriegel
Formal Concept Analysis of Social Networks, 97-142, 2017
122017
Parallel Attribute Exploration
F Kriegel
ICCS 2016: 22nd International Conference on Conceptual Structures, Annecy …, 2016
112016
NextClosures: Parallel Computation of the Canonical Base with Background Knowledge
F Kriegel, D Borchmann
International Journal of General Systems 46 (5), 490-510, 2017
102017
Navigating the Subsumption Hierarchy
F Kriegel
DL 2021: 34th International Workshop on Description Logics, Hybrid Event …, 2021
9*2021
The Distributive, Graded Lattice of Concept Descriptions and its Neighborhood Relation
F Kriegel
CLA 2018: 14th International Conference on Concept Lattices and Their …, 2018
9*2018
Probabilistic Implication Bases in FCA and Probabilistic Bases of GCIs in
F Kriegel
International Journal of General Systems 46 (5), 511-546, 2017
92017
NextClosures with Constraints
F Kriegel
CLA 2016: 13th International Conference on Concept Lattices and Their …, 2016
92016
Probabilistic Implication Bases in FCA and Probabilistic Bases of GCIs in
F Kriegel
CLA 2015: 12th International Conference on Concept Lattices and Their …, 2015
9*2015
NextClosures – Parallel Exploration of Constrained Closure Operators
F Kriegel
LTCS-Report 15-01, Theoretical Computer Science, Technische Universität Dresden, 2015
9*2015
Safety of Quantified ABoxes w.r.t. Singleton Policies
F Baader, F Kriegel, A Nuradiansyah, R Peñaloza
SAC 2021: 36th Annual ACM Symposium on Applied Computing, Virtual Event …, 2021
8*2021
Privacy-Preserving Ontology Publishing for Instance Stores
F Baader, F Kriegel, A Nuradiansyah
JELIA 2019: 16th European Conference on Logics in Artificial Intelligence …, 2019
8*2019
Järjestelmä ei voi suorittaa toimenpidettä nyt. Yritä myöhemmin uudelleen.
Artikkelit 1–20