Francesco Kriegel

Publication Activity (10 Years)

Years Active: 2015-2024
Publications (10 Years): 37

Top Topics

Description Logics

Top Venues

Description Logics

Publications

Francesco Kriegel
Efficient Axiomatization of OWL 2 EL Ontologies from Data by Means of Formal Concept Analysis. AAAI (2024)
Franz Baader, Francesco Kriegel, Adrian Nuradiansyah
Inconsistency- and Error-Tolerant Reasoning w.r.t. Optimal Repairs of $\mathcal{E}\mathcal{L}^\bot $ Ontologies. FoIKS (2024)
Francesco Kriegel
Efficient Axiomatization of OWL 2 EL Ontologies from Data by means of Formal Concept Analysis (Extended Abstract). Description Logics (2024)
Franz Baader, Patrick Koopmann, Francesco Kriegel
ℒ Revisited. JELIA (2023)
Franz Baader, Francesco Kriegel, Adrian Nuradiansyah
Treating Role Assertions as First-class Citizens in Repair and Error-tolerant Reasoning. SAC (2023)
Franz Baader, Francesco Kriegel, Adrian Nuradiansyah
Error-Tolerant Reasoning in EL w.r.t. Optimal ABox Repairs (Extended Abstract). Description Logics (2023)
Franz Baader, Francesco Kriegel
Pushing Optimal ABox Repair from EL Towards More Expressive Horn-DLs. KR (2022)
Franz Baader, Francesco Kriegel, Adrian Nuradiansyah
ℒ Based on Optimal Repairs. RuleML+RR (2022)
Franz Baader, Patrick Koopmann, Francesco Kriegel, Adrian Nuradiansyah
TBoxes: From Quantified ABoxes Back to ABoxes. ESWC (2022)
Franz Baader, Patrick Koopmann, Francesco Kriegel, Adrian Nuradiansyah
Optimal ABox Repair w.r.t. Static EL TBoxes: from Quantified ABoxes back to ABoxes (Extended Abstract). Description Logics (2022)
Francesco Kriegel
ℒ TBoxes. KI (2022)
Willi Hieke, Francesco Kriegel, Adrian Nuradiansyah
Repairing EL TBoxes by Means of Countermodels Obtained by Model Transformation. Description Logics (2021)
Francesco Kriegel
Navigating the EL Subsumption Hierarchy. Description Logics (2021)
Franz Baader, Francesco Kriegel, Adrian Nuradiansyah, Rafael Peñaloza
policies. SAC (2021)
Franz Baader, Patrick Koopmann, Francesco Kriegel, Adrian Nuradiansyah, Rafael Peñaloza
Privacy-Preserving Ontology Publishing: The Case of Quantified ABoxes w.r.t. a Static Cycle-Restricted EL TBox. Description Logics (2021)
Franz Baader, Patrick Koopmann, Francesco Kriegel, Adrian Nuradiansyah
TBoxes. CADE (2021)
Francesco Kriegel
Constructing and Extending Description Logic Ontologies using Methods of Formal Concept Analysis. Künstliche Intell. 34 (3) (2020)
Francesco Kriegel
Most specific consequences in the description logic EL. Discret. Appl. Math. 273 (2020)
Franz Baader, Francesco Kriegel, Adrian Nuradiansyah, Rafael Peñaloza
Policies. ISWC (1) (2020)
Francesco Kriegel
The Distributive, Graded Lattice of EL Concept Descriptions and its Neighborhood Relation (Extended Version). CoRR (2019)
Francesco Kriegel
Learning Description Logic Axioms from Discrete Probability Distributions over Description Graphs. JELIA (2019)
Francesco Kriegel
Incremental Computation of Concept Diagrams. CoRR (2019)
Franz Baader, Francesco Kriegel, Adrian Nuradiansyah
Instance Stores. JELIA (2019)
Francesco Kriegel
Joining Implications in Formal Contexts and Inductive Learning in a Horn Description Logic. ICFCA (2019)
Franz Baader, Francesco Kriegel, Adrian Nuradiansyah, Rafael Peñaloza
Repairing Description Logic Ontologies by Weakening Axioms. CoRR (2018)
Francesco Kriegel
The Distributive, Graded Lattice of EL Concept Descriptions and its Neighborhood Relation. CLA (2018)
Franz Baader, Francesco Kriegel, Adrian Nuradiansyah, Rafael Peñaloza
Making Repairs in Description Logics More Gentle (Extended Abstract). Description Logics (2018)
Francesco Kriegel
Acquisition of Terminological Knowledge in Probabilistic Description Logic. KI (2018)
Franz Baader, Francesco Kriegel, Adrian Nuradiansyah, Rafael Peñaloza
Making Repairs in Description Logics More Gentle. KR (2018)
Francesco Kriegel
Probabilistic Implication Bases in FCA and Probabilistic Bases of GCIs in EL. Int. J. Gen. Syst. 46 (5) (2017)
Francesco Kriegel
First Notes on Maximum Entropy Entailment for Quantified Implications. ICFCA (2017)
Francesco Kriegel
Implications over Probabilistic Attributes. ICFCA (2017)
Francesco Kriegel, Daniel Borchmann
NextClosures: parallel computation of the canonical base with background knowledge. Int. J. Gen. Syst. 46 (5) (2017)
Francesco Kriegel
Axiomatization of General Concept Inclusions from Streams of Interpretations with Optional Error Tolerance. FCA4AI@ECAI (2016)
Francesco Kriegel
Parallel Attribute Exploration. ICCS (2016)
Daniel Borchmann, Felix Distel, Francesco Kriegel
Axiomatisation of general concept inclusions from finite interpretations. J. Appl. Non Class. Logics 26 (1) (2016)
Francesco Kriegel
NextClosures with Constraints. CLA (2016)
Francesco Kriegel
Extracting ALEQR Self-Knowledge Bases from Graphs. SNAFCA@ICFCA (2015)
Francesco Kriegel
. CLA (2015)
Francesco Kriegel
Axiomatization of General Concept Inclusions in Probabilistic Description Logics. KI (2015)
Francesco Kriegel, Daniel Borchmann
NextClosures: Parallel Computation of the Canonical Base. CLA (2015)
Francesco Kriegel
Incremental Learning of TBoxes from Interpretation Sequences with Methods of Formal Concept Analysis. Description Logics (2015)