In this paper, we present HyS, an application for fast atomic decomposition and module extraction of OWL-EL ontologies. HyS computes a hypergraph representation of the modular structure of an ontology. This hypergraph representation contains the atomic decomposition of the input ontology, and it allows to extract modules for a given signature. We provide an experimental evaluation of HyS with a...

We create a Python GUI scripting interface working under Windows in addition to (UNIX/ Linux). The GUI has been built around the Python open-source programming language. We use the Python's GUI library that so called Python Mega Widgets (PMW) and based on Tkinter Python module (http://www.freenetpages.co.uk/hp/alan.gauld/tutgui.htm). The new GUI was motivated primarily by the desire of more upd...

An innovative multifunctional LTCC module has been designed for miniature atomic clock packaging. The components of miniature atomic clocks need to be efficiently packaged and connected to each other, and a precise temperature control is required for them. The great advantage of using LTCC technology for this application is that it allows the integration of different functions, such as heaters ...

in this paper we study the module contractibility ofbanach algebras and characterize them in terms the conceptssplitting and admissibility of short exact sequences. also weinvestigate module contractibility of banach algebras with theconcept of the module diagonal.

This paper presents a general approach for automatic composing and orchestrating applications distributed over the cloud. The process is driven by user requirements that are made explicit though a goal specification language. The self-configuration module dynamically organizes a mashup application by composing existing cloud application as atomic brick to compose. Finally the orchestrator modul...

let a be a banach algebra and e be a banach a-bimodule then s = a  e, the l1-direct sum of a and e becomes a module extension banach algebra when equipped with the algebras product (a; x):(a′; x′) = (aa′; a:x′ + x:a′). in this paper, we investigate △-amenability for these banach algebras and we show that for discrete inverse semigroup s with the set of idempotents es, the module extension bana...

let $r$ be a commutative ring with identity and $m$ be a finitely generated unital $r$-module. in this paper, first we give necessary and sufficient conditions that a finitely generated module to be a multiplication module. moreover, we investigate some conditions which imply that the module $m$ is the direct sum of some cyclic modules and free modules. then some properties of fitting ideals of...