Recommendations
- scientific article; zbMATH DE number 408807
- Term Rewriting and Applications
- scientific article; zbMATH DE number 1231580
- Modularity
- Formal reasoning about modules, reuse and their correctness
- Modular properties of composable term rewriting systems
- scientific article; zbMATH DE number 1487730
- Modularity and relevant logic
- Modular aspects of properties of term rewriting systems related to normal forms
- Applications and Theory of Petri Nets 2004
Cites work
- \({\mathcal E}\)-connections of abstract description systems
- Complexity of interpolation and related problems in positive calculi
- Conjunctive query answering for the description logic SHIQ
- Conservative Extensions in the Lightweight Description Logic $\mathcal{EL}$
- Data complexity of query answering in description logics
- Deciding inseparability and conservative extensions in the description logic
- Forgetting for knowledge bases in DL-lite
- scientific article; zbMATH DE number 8770 (Why is no real title available?)
- scientific article; zbMATH DE number 58309 (Why is no real title available?)
- scientific article; zbMATH DE number 1215463 (Why is no real title available?)
- scientific article; zbMATH DE number 1946872 (Why is no real title available?)
- scientific article; zbMATH DE number 1947740 (Why is no real title available?)
- scientific article; zbMATH DE number 4772 (Why is no real title available?)
- scientific article; zbMATH DE number 922620 (Why is no real title available?)
- Institutions: abstract model theory for specification and programming
- Many-dimensional modal logics: theory and applications
- Modal logics and mu-calculi: An introduction
- Model theory.
- Modular reuse of ontologies: theory and practice
- On an interpretation of second order quantification in first order intuitionistic propositional logic
- Semantical characterizations and complexity of equivalences in answer set programming
- Strongly equivalent logic programs
- The Logical Difference Problem for Description Logic Terminologies
- Tractable reasoning and efficient query answering in description logics: The DL-Lite family
- Undefinability of propositional quantifiers in the modal system S4
Cited in
(18)- Distributed first order logic
- Carnap, Goguen, and the hyperontologies: logical pluralism and heterogeneous structuring in ontology design
- Towards a functional approach to modular ontologies using institutions
- Modular invariants for layered object structures
- (Non-)succinctness of uniform interpolants of general terminologies in the description logic \(\mathcal{EL}\)
- Inseparability and conservative extensions of description logic ontologies: a survey
- Privacy preserving modules for ontologies
- A Modularity Approach for a Fragment of $\mathcal{ALC}$
- Modular reuse of ontologies: theory and practice
- Formal reasoning about modules, reuse and their correctness
- Modular structures and atomic decomposition in ontologies
- Progression of decomposed local-effect action theories
- Living without Beth and Craig: Definitions and Interpolants in Description and Modal Logics with Nominals and Role Inclusions
- Logic-based ontology comparison and module extraction, with an application to DL-Lite
- On decidability of the decomposability problem for finite theories
- On the Modularization Theorem for logical specifications
- Deciding the existence of interpolants and definitions in first-order modal logic
- Semantic forgetting in expressive description logics
This page was built for publication: Formal Properties of Modularisation
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3631354)
