3 papers
cs.LO2019
Incremental Computation of Concept Diagrams
Francesco Kriegel
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 in…
cs.LO2019
The Distributive, Graded Lattice of EL Concept Descriptions and its Neighborhood Relation (Extended Version)
Francesco Kriegel
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…
cs.LO2018
Repairing Description Logic Ontologies by Weakening Axioms
Franz Baader, Francesco Kriegel, Adrian Nuradiansyah +1
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 th…