Deciding inseparability of description logic knowledge bases (KBs) with respect to conjunctive queries is fundamental for many KB engineering and maintenance tasks including versioning, module extraction, knowledge exchange and forgetting. We study the combined and data complexity of this inseparability problem for fragments of Horn-ALCHI, including the description logics underpinning OWL 2 QL ...

Smullyan's notion of eeectively inseparable pairs of sets is not the best eeec-tive/constructive analog of Kleene's notion of pairs of sets inseparable by a recursive set. We present a corrected notion of eeectively inseparable pairs of sets, prove a characterization of our notion, and show that the pairs of index sets eeectively inseparable in Smullyan's sense are the same as those eeectively ...

Inseparability criteria for continuous and discrete bipartite quantum states based on moments of annihilation and creation operators are studied by developing the idea of Shchukin-Vogel criterion [Phys. Rev. Lett. 95, 230502 (2005)]. If a state is separable, then the corresponding matrix of moments is separable too. Generalized criteria, based on the separability properties of the matrix of mom...

Information-theoretic aspects of quantum inseparability of mixed states are investigated in terms of the α-entropy inequalities and teleportation fidelity. Inseparability of mixed states is defined and a complete characterization of the inseparable 2 × 2 systems with maximally disordered subsystems is presented within the Hilbert-Schmidt space formalism. A connection between teleportation and n...

We investigate conjunctive query inseparability of description logic (DL) knowledge bases (KBs) with respect to a given signature, a fundamental problem for KB versioning, module extraction, forgetting and knowledge exchange. We study the data and combined complexity of deciding KB query inseparability for fragments of Horn-ALCHI, including the DLs underpinning OWL 2 QL and OWL 2 EL. While all ...

We study the problem of deciding whether two ontologies are inseparable w.r.t. a signature Σ, i.e., whether they have the same consequences in the signature Σ. A special case is to decide whether an extension of an ontology is conservative. By varying the language in which ontologies are formulated and the query language that is used to describe consequences, we obtain differ-ent versions o...

The aim of this paper is to introduce and study model-theoretic notionsof modularity in description logic and related reasoning problems. Our ap-proach is based on a generalisation of logical equivalence that is called model-theoretic inseparability. Two TBoxes are inseparable w.r.t. a vocabulary Σif they cannot be distinguished by the Σ-reducts of their models and thuscan e...

The founders of sociomateriality argue that the difficulty of maintaining distinctions between material and social entities, increasingly encountered empirically, also necessitates a commitment to inseparability at the ontological level. Yet reservations have been voiced that this proposal is contrary to experience, incoherent, and of little practical use. While not denying the phenomenon, the ...

wK = 1. A necessary condition for separability is derived and is shown to be more sensitive than Bell’s inequality for detecting quantum inseparability. Moreover, collective tests of Bell’s inequality (namely, tests that involve several composite systems simultaneously) may sometimes lead to a violation of Bell’s inequality, even if the latter is satisfied when each composite system is tested s...