In this paper we use directed hypergraphs to represent the locality-based dependencies between the axioms of an OWL ontology. We define a notion of an axiom dependency hypergraph, where axioms are represented as nodes and dependencies between axioms as hyperedges connecting possibly several nodes with one node. We show that a locality-based module of an ontology corresponds to a connected compo...

a simple method has been employed to synthesize copper and copper oxide nanoparticles from copper (ii) succinate precursor by thermal decomposition method using oleylamine as a capping agent. the particles synthesized with oleylamine and triphenylphosphine were well dispersed nanoparticles obtained from x-ray diffraction (xrd). the synthesized copper nanoparticles were characterized by uv-visib...

Unitary symmetric completions of complex symmetric matrices are obtained via Autonne decomposition. The problem arises from atomic physics. Of independent interest unitary skew symmetric completions of skew symmetric matrices are also obtained by Hua decomposition.

We define and study a new canonical decomposition of strongly connected graphs that we call the atomic decomposition. We can construct it in linear time from the decomposition in 3-connected components of the considered graph. In a companion article, we use it to characterize, up to homeomorphism, all closed curves in the plane having a given Gauss word.

The classical result of Vandermonde decomposition of positive semidefinite Toeplitz matrices can date back to the early twentieth century. It forms the basis of modern subspace and recent atomic norm methods for frequency estimation. In this paper, we study the Vandermonde decomposition in which the frequencies are restricted to lie in a given interval, referred to as frequency-selective Vander...

We present an atomic decomposition of substitution into erasure, duplication and (for bound variables) scoping.