Logical support for modularisation
Papers presented at the second annual Workshop on Logical environments
Propositional Logic: Deduction and Algorithms
Propositional Logic: Deduction and Algorithms
Conservative Extensions, Interpretations Between Theories and All That!
TAPSOFT '97 Proceedings of the 7th International Joint Conference CAAP/FASE on Theory and Practice of Software Development
Towards a Symmetric Treatment of Satisfaction and Conflicts in Quantified Boolean Formula Evaluation
CP '02 Proceedings of the 8th International Conference on Principles and Practice of Constraint Programming
Conflict driven learning in a quantified Boolean Satisfiability solver
Proceedings of the 2002 IEEE/ACM international conference on Computer-aided design
Promptdiff: a fixed-point algorithm for comparing ontology versions
Eighteenth national conference on Artificial intelligence
Web ontology segmentation: analysis, classification and use
Proceedings of the 15th international conference on World Wide Web
Theory of Computation (Texts in Computer Science)
Theory of Computation (Texts in Computer Science)
Deciding Boolean Algebra with Presburger Arithmetic
Journal of Automated Reasoning
Semantical characterizations and complexity of equivalences in answer set programming
ACM Transactions on Computational Logic (TOCL)
Tractable Reasoning and Efficient Query Answering in Description Logics: The DL-Lite Family
Journal of Automated Reasoning
Semantic forgetting in answer set programming
Artificial Intelligence
Conservative Extensions in the Lightweight Description Logic $\mathcal{EL}$
CADE-21 Proceedings of the 21st international conference on Automated Deduction: Automated Deduction
The Logical Difference Problem for Description Logic Terminologies
IJCAR '08 Proceedings of the 4th international joint conference on Automated Reasoning
Formal Properties of Modularisation
Modular Ontologies
Semantic Modularity and Module Extraction in Description Logics
Proceedings of the 2008 conference on ECAI 2008: 18th European Conference on Artificial Intelligence
Mathematical Logic for Life Science Ontologies
WoLLIC '09 Proceedings of the 16th International Workshop on Logic, Language, Information and Computation
DL-Lite: tractable description logics for ontologies
AAAI'05 Proceedings of the 20th national conference on Artificial intelligence - Volume 2
AAAI'05 Proceedings of the 20th national conference on Artificial intelligence - Volume 4
DL-lite in the light of first-order logic
AAAI'07 Proceedings of the 22nd national conference on Artificial intelligence - Volume 1
Propositional independence: formula-variable independence and forgetting
Journal of Artificial Intelligence Research
Clause/term resolution and learning in the evaluation of quantified Boolean formulas
Journal of Artificial Intelligence Research
Modular reuse of ontologies: theory and practice
Journal of Artificial Intelligence Research
A logical framework for modularity of ontologies
IJCAI'07 Proceedings of the 20th international joint conference on Artifical intelligence
Conservative extensions in expressive description logics
IJCAI'07 Proceedings of the 20th international joint conference on Artifical intelligence
Deciding inseparability and conservative extensions in the description logic EL
Journal of Symbolic Computation
Forgetting and uniform interpolation in large-scale description logic terminologies
IJCAI'09 Proceedings of the 21st international jont conference on Artifical intelligence
Minimal module extraction from DL-lite ontologies using QBF solvers
IJCAI'09 Proceedings of the 21st international jont conference on Artifical intelligence
The DL-lite family and relations
Journal of Artificial Intelligence Research
A characterization of strong equivalence for logic programs with variables
LPNMR'07 Proceedings of the 9th international conference on Logic programming and nonmonotonic reasoning
Reasoning over extended ER models
ER'07 Proceedings of the 26th international conference on Conceptual modeling
Finite model reasoning in DL-lite
ESWC'08 Proceedings of the 5th European semantic web conference on The semantic web: research and applications
Forgetting concepts in DL-lite
ESWC'08 Proceedings of the 5th European semantic web conference on The semantic web: research and applications
Journal on data semantics X
sKizzo: a suite to evaluate and certify QBFs
CADE' 20 Proceedings of the 20th international conference on Automated Deduction
The seventh QBF solvers evaluation (QBFEVAL’10)
SAT'10 Proceedings of the 13th international conference on Theory and Applications of Satisfiability Testing
Binary clause reasoning in QBF
SAT'06 Proceedings of the 9th international conference on Theory and Applications of Satisfiability Testing
WoLLIC'11 Proceedings of the 18th international conference on Logic, language, information and computation
Foundations for uniform interpolation and forgetting in expressive description logics
IJCAI'11 Proceedings of the Twenty-Second international joint conference on Artificial Intelligence - Volume Volume Two
The logical difference for the lightweight description logic EL
Journal of Artificial Intelligence Research
Hitting the sweetspot: economic rewriting of knowledge bases
ISWC'12 Proceedings of the 11th international conference on The Semantic Web - Volume Part I
Model-theoretic inseparability and modularity of description logic ontologies
Artificial Intelligence
Modeling ontology evolution with SetPi
Information Sciences: an International Journal
Hi-index | 0.00 |
We develop a formal framework for comparing different versions of ontologies, and apply it to ontologies formulated in terms of DL-Lite, a family of 'lightweight' description logics designed for data-intensive applications. The main feature of our approach is that we take into account the vocabulary (=signature) with respect to which one wants to compare ontologies. Five variants of difference and inseparability relations between 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 between differences that can be observed among concept inclusions, answers to queries over ABoxes, by taking into account additional context ontologies, and by considering a model-theoretic, language-independent notion of difference. We compare these variants, study their meta-properties, determine the computational complexity of the corresponding reasoning tasks, and present decision algorithms. Moreover, we 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 between ontologies are then used to develop a formal framework for (minimal) module extraction. We 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, we explore the relationship between uniform interpolation (or forgetting) and inseparability.