Model-theoretic inseparability and modularity of description logic ontologies

  title={Model-theoretic inseparability and modularity of description logic ontologies},
  author={Boris Konev and Carsten Lutz and Dirk Walther and Frank Wolter},
  journal={Artif. Intell.},
The aim of this paper is to introduce and study model-theoretic notions of modularity in description logic and related reasoning problems. Our approach is based on a generalisation of logical equivalence that is called modeltheoretic inseparability. Two TBoxes are inseparable w.r.t. a vocabulary Σ if they cannot be distinguished by the Σ-reducts of their models and thus can equivalently be replaced by one another in any application where only vocabulary items from Σ are relevant. We study in… CONTINUE READING
Highly Cited
This paper has 51 citations. REVIEW CITATIONS


Publications citing this paper.
Showing 1-10 of 34 citations

52 Citations

Citations per Year
Semantic Scholar estimates that this publication has 52 citations based on the available data.

See our FAQ for additional information.