Model-theoretic inseparability and modularity of description logic ontologies

@article{Konev2013ModeltheoreticIA,
  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.},
  year={2013},
  volume={203},
  pages={66-103}
}
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

Citations

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

52 Citations

051015'14'15'16'17'18'19
Citations per Year
Semantic Scholar estimates that this publication has 52 citations based on the available data.

See our FAQ for additional information.