Thats a unique idea.You should consider the following idea to enhance your idea so that it would impact uniquely:  develop a formal framework for comparing different versions of ontologies, and apply it to ontologies formulated in terms of DL-Lite, a family of 'lightight' description logics designed for data-intensive applications. The main feature of our approach is that  take into account the vocabulary (=signature) with respect to which one wants to compare ontologies. Five variants of difference and inseparability relations beten ontologies are introduced and their respective applications for ontology development and maintenance discussed. These variants are obtained by generalising the notion of conservative extension from mathematical logic and by distinguishing beten differences that can be observed among concept inclusions, ansrs to queries over ABoxes, by taking into account additional context ontologies, and by considering a model-theoretic, language-independent notion of difference.  compare these variants, study their meta-properties, determine the computational complexity of the corresponding reasoning tasks, and present decision algorithms. Moreover,  show that checking inseparability can be automated by means of encoding into QBF satisfiability and using off-the-shelf general purpose QBF solvers.Inseparability relations beten ontologies are then used to develop a formal framework for (minimal) module extraction.  demonstrate that different types of minimal modules induced by these inseparability relations can be automatically extracted from real-world medium-size DL-Lite ontologies by composing the known tractable syntactic locality-based module extraction algorithm with our non-tractable extraction algorithms and using the multi-engine QBF solver aqme. Finally,  explore the relationship beten uniform interpolation (or forgetting) and inseparability.
['Roman Kontchakov', 'Frank Wolter', 'Michael Zakharyaschev']
I am writing a research paper on a idea Logic-based ontology comparison and module extraction, with an application to DL-Lite
[{"from": "human", "value": "I am writing a research paper on a idea Logic-based ontology comparison and module extraction, with an application to DL-Lite"}, {"from": "gpt", "value": "Thats a unique idea.You should consider the following idea to enhance your idea so that it would impact uniquely:  develop a formal framework for comparing different versions of ontologies, and apply it to ontologies formulated in terms of DL-Lite, a family of 'lightight' description logics designed for data-intensive applications. The main feature of our approach is that  take into account the vocabulary (=signature) with respect to which one wants to compare ontologies. Five variants of difference and inseparability relations beten ontologies are introduced and their respective applications for ontology development and maintenance discussed. These variants are obtained by generalising the notion of conservative extension from mathematical logic and by distinguishing beten differences that can be observed among concept inclusions, ansrs to queries over ABoxes, by taking into account additional context ontologies, and by considering a model-theoretic, language-independent notion of difference.  compare these variants, study their meta-properties, determine the computational complexity of the corresponding reasoning tasks, and present decision algorithms. Moreover,  show that checking inseparability can be automated by means of encoding into QBF satisfiability and using off-the-shelf general purpose QBF solvers.Inseparability relations beten ontologies are then used to develop a formal framework for (minimal) module extraction.  demonstrate that different types of minimal modules induced by these inseparability relations can be automatically extracted from real-world medium-size DL-Lite ontologies by composing the known tractable syntactic locality-based module extraction algorithm with our non-tractable extraction algorithms and using the multi-engine QBF solver aqme. Finally,  explore the relationship beten uniform interpolation (or forgetting) and inseparability."}]