Showing 1–3 of 3 results for author: Kriegel, F

Incremental Computation of Concept Diagrams

Authors: Francesco Kriegel

Abstract: Suppose a formal context K=(G,M,I) is given, whose concept lattice B(K) with an attribute-additive concept diagram is already known, and an attribute column C=(G,{n},J) shall be inserted to or removed from it. This paper introduces and proves an incremental update algorithm for both tasks. Suppose a formal context K=(G,M,I) is given, whose concept lattice B(K) with an attribute-additive concept diagram is already known, and an attribute column C=(G,{n},J) shall be inserted to or removed from it. This paper introduces and proves an incremental update algorithm for both tasks. △ Less

Submitted 6 March, 2019; originally announced March 2019.

Comments: Supplemental proceedings of the 12th International Conference on Formal Concept Analysis (ICFCA 2014), Cluj-Napoca, Romania

The Distributive, Graded Lattice of EL Concept Descriptions and its Neighborhood Relation (Extended Version)

Authors: Francesco Kriegel

Abstract: For the description logic EL, we consider the neighborhood relation which is induced by the subsumption order, and we show that the corresponding lattice of EL concept descriptions is distributive, modular, graded, and metric. In particular, this implies the existence of a rank function as well as the existence of a distance function. For the description logic EL, we consider the neighborhood relation which is induced by the subsumption order, and we show that the corresponding lattice of EL concept descriptions is distributive, modular, graded, and metric. In particular, this implies the existence of a rank function as well as the existence of a distance function. △ Less

Submitted 17 January, 2019; originally announced January 2019.

Report number: LTCS-Report 18-10

Repairing Description Logic Ontologies by Weakening Axioms

Authors: Franz Baader, Francesco Kriegel, Adrian Nuradiansyah, Rafael Peñaloza

Abstract: The classical approach for repairing a Description Logic ontology O in the sense of removing an unwanted consequence $α$ is to delete a minimal number of axioms from O such that the resulting ontology O' does not have the consequence $α$. However, the complete deletion of axioms may be too rough, in the sense that it may also remove consequences that are actually wanted. To alleviate this problem,… ▽ More The classical approach for repairing a Description Logic ontology O in the sense of removing an unwanted consequence $α$ is to delete a minimal number of axioms from O such that the resulting ontology O' does not have the consequence $α$. However, the complete deletion of axioms may be too rough, in the sense that it may also remove consequences that are actually wanted. To alleviate this problem, we propose a more gentle way of repair in which axioms are not necessarily deleted, but only weakened. On the one hand, we investigate general properties of this gentle repair method. On the other hand, we propose and analyze concrete approaches for weakening axioms expressed in the Description Logic EL. △ Less

Submitted 1 August, 2018; originally announced August 2018.

Comments: Extended version of the paper "Making Repairs in Description Logics More Gentle" accepted at KR 2018

Report number: 18-01