Francesco Kriegel

50 papers A* 3A 1B 5C 3Misc 7Journal 8Unranked 21

Year	Rank	Type	Title / Venue / Authors
2025	—	`conf`	Abductive Differences of Quantified ABoxes. DL Francesco Kriegel
2025	—	`conf`	Beyond Optimal: Interactive Identification of Better-Than-Optimal Repairs (Extended Abstract). DL Francesco Kriegel
2025	Misc	`conf`	Beyond Optimal: Interactive Identification of Better-than-optimal Repairs. SAC Francesco Kriegel
2025	—	`conf`	Reasoning in OWL 2 EL with Hierarchical Concrete Domains (Extended Abstract). DL Francesco Kriegel
2025	—	`conf`	Reasoning in OWL 2 EL with Hierarchical Concrete Domains. FroCoS Francesco Kriegel
2025	—	`conf`	Using Trémaux Trees to Compute Small Conjunctive Queries that Separate Positive and Negative Examples. DL Francesco Kriegel
2024	A*	`conf`	Efficient Axiomatization of OWL 2 EL Ontologies from Data by Means of Formal Concept Analysis. AAAI Francesco Kriegel
2024	—	`conf`	Efficient Axiomatization of OWL 2 EL Ontologies from Data by means of Formal Concept Analysis (Extended Abstract). Description Logics Francesco Kriegel
2024	—	`conf`	Inconsistency- and Error-Tolerant Reasoning w.r.t. Optimal Repairs of $\mathcal{E}\mathcal{L}^\bot $ Ontologies. FoIKS Franz Baader, Francesco Kriegel, Adrian Nuradiansyah
2023	—	`conf`	Error-Tolerant Reasoning in EL w.r.t. Optimal ABox Repairs (Extended Abstract). Description Logics Franz Baader, Francesco Kriegel, Adrian Nuradiansyah
2023	B	`conf`	Optimal Repairs in the Description Logic JELIA Franz Baader, Patrick Koopmann, Francesco Kriegel
2023	Misc	`conf`	Treating Role Assertions as First-class Citizens in Repair and Error-tolerant Reasoning. SAC Franz Baader, Francesco Kriegel, Adrian Nuradiansyah
2022	B	`conf`	Error-Tolerant Reasoning in the Description Logic RuleML+RR Franz Baader, Francesco Kriegel, Adrian Nuradiansyah
2022	B	`conf`	Optimal ABox Repair w.r.t. Static ESWC Franz Baader, Patrick Koopmann, Francesco Kriegel, Adrian Nuradiansyah
2022	—	`conf`	Optimal ABox Repair w.r.t. Static EL TBoxes: from Quantified ABoxes back to ABoxes (Extended Abstract). Description Logics Franz Baader, Patrick Koopmann, Francesco Kriegel, Adrian Nuradiansyah
2022	Misc	`conf`	Optimal Fixed-Premise Repairs of KI Francesco Kriegel
2022	A*	`conf`	Pushing Optimal ABox Repair from EL Towards More Expressive Horn-DLs. KR Franz Baader, Francesco Kriegel
2021	A	`conf`	Computing Optimal Repairs of Quantified ABoxes w.r.t. Static CADE Franz Baader, Patrick Koopmann, Francesco Kriegel, Adrian Nuradiansyah
2021	—	`conf`	Navigating the EL Subsumption Hierarchy. Description Logics Francesco Kriegel
2021	—	`conf`	Privacy-Preserving Ontology Publishing: The Case of Quantified ABoxes w.r.t. a Static Cycle-Restricted EL TBox. Description Logics Franz Baader, Patrick Koopmann, Francesco Kriegel, Adrian Nuradiansyah, Rafael Peñaloza
2021	—	`conf`	Repairing EL TBoxes by Means of Countermodels Obtained by Model Transformation. Description Logics Willi Hieke, Francesco Kriegel, Adrian Nuradiansyah
2021	Misc	`conf`	Safety of quantified ABoxes w.r.t. singleton ε SAC Franz Baader, Francesco Kriegel, Adrian Nuradiansyah, Rafael Peñaloza
2020	—	`conf`	Computing Compliant Anonymisations of Quantified ABoxes w.r.t. ISWC (1) Franz Baader, Francesco Kriegel, Adrian Nuradiansyah, Rafael Peñaloza
2020	J	`jnl`	Constructing and Extending Description Logic Ontologies using Methods of Formal Concept Analysis. Künstliche Intell. Francesco Kriegel
2020	J	`jnl`	Most specific consequences in the description logic EL. Discret. Appl. Math. Francesco Kriegel
2019	—	`—`	Constructing and extending description logic ontologies using methods of formal concept analysis. Francesco Kriegel
2019	J	`jnl`	Incremental Computation of Concept Diagrams. CoRR Francesco Kriegel
2019	C	`conf`	Joining Implications in Formal Contexts and Inductive Learning in a Horn Description Logic. ICFCA Francesco Kriegel
2019	B	`conf`	Learning Description Logic Axioms from Discrete Probability Distributions over Description Graphs. JELIA Francesco Kriegel
2019	B	`conf`	Privacy-Preserving Ontology Publishing for JELIA Franz Baader, Francesco Kriegel, Adrian Nuradiansyah
2019	J	`jnl`	The Distributive, Graded Lattice of EL Concept Descriptions and its Neighborhood Relation (Extended Version). CoRR Francesco Kriegel
2018	Misc	`conf`	Acquisition of Terminological Knowledge in Probabilistic Description Logic. KI Francesco Kriegel
2018	—	`conf`	Making Repairs in Description Logics More Gentle (Extended Abstract). Description Logics Franz Baader, Francesco Kriegel, Adrian Nuradiansyah, Rafael Peñaloza
2018	A*	`conf`	Making Repairs in Description Logics More Gentle. KR Franz Baader, Francesco Kriegel, Adrian Nuradiansyah, Rafael Peñaloza
2018	J	`jnl`	Repairing Description Logic Ontologies by Weakening Axioms. CoRR Franz Baader, Francesco Kriegel, Adrian Nuradiansyah, Rafael Peñaloza
2018	—	`conf`	The Distributive, Graded Lattice of EL Concept Descriptions and its Neighborhood Relation. CLA Francesco Kriegel
2017	—	`ch.`	Acquisition of Terminological Knowledge from Social Networks in Description Logic. Formal Concept Analysis of Social Networks Francesco Kriegel
2017	C	`conf`	First Notes on Maximum Entropy Entailment for Quantified Implications. ICFCA Francesco Kriegel
2017	C	`conf`	Implications over Probabilistic Attributes. ICFCA Francesco Kriegel
2017	J	`jnl`	NextClosures: parallel computation of the canonical base with background knowledge. Int. J. Gen. Syst. Francesco Kriegel, Daniel Borchmann
2017	J	`jnl`	Probabilistic Implication Bases in FCA and Probabilistic Bases of GCIs in EL. Int. J. Gen. Syst. Francesco Kriegel
2016	J	`jnl`	Axiomatisation of general concept inclusions from finite interpretations. J. Appl. Non Class. Logics Daniel Borchmann, Felix Distel, Francesco Kriegel
2016	—	`conf`	Axiomatization of General Concept Inclusions from Streams of Interpretations with Optional Error Tolerance. FCA4AI@ECAI Francesco Kriegel
2016	—	`conf`	NextClosures with Constraints. CLA Francesco Kriegel
2016	Misc	`conf`	Parallel Attribute Exploration. ICCS Francesco Kriegel
2015	Misc	`conf`	Axiomatization of General Concept Inclusions in Probabilistic Description Logics. KI Francesco Kriegel
2015	—	`conf`	Extracting ALEQR Self-Knowledge Bases from Graphs. SNAFCA@ICFCA Francesco Kriegel
2015	—	`conf`	Incremental Learning of TBoxes from Interpretation Sequences with Methods of Formal Concept Analysis. Description Logics Francesco Kriegel
2015	—	`conf`	NextClosures: Parallel Computation of the Canonical Base. CLA Francesco Kriegel, Daniel Borchmann
2015	—	`conf`	Probabilistic Implicational Bases in FCA and Probabilistic Bases of GCIs in EL CLA Francesco Kriegel