• Journal of KIISE:Software and Applications
• /
• v.35 no.12
• /
• pp.764-773
• /
• 2008

The web ontology language(OWL) has become a W3C recommendation to publish and share ontologies on the semantic web. In order to check the satisfiablity of concepts in OWL ontology, OWL reasoners have been introduced. But most reasoners simply report check results without providing a justification for any arbitrary entailment of unsatisfiable concept in OWL ontologies. In this paper, we propose dependency label based causing inconsistency axiom (CIA) detection for debugging unsatisfiable concepts in ontology. CIA is a set of axioms to occur unsatisfiable concepts. In order to detect CIA, we need to find axiom to cause inconsistency in ontology. If precise CIA is gave to ontology building tools, these ontology tools display CIA to debug unsatisfiable concepts as suitable presentation format. Our work focuses on two key aspects. First, when a inconsistency ontology is given, it detect axioms to occur unsatisfiable and identify the root of them. Second, when particular unsatisfiable concepts in an ontology are detected, it extracts them and presents to ontology designers. Therefore we introduce a tableau-based decision procedure and propose an improved method which is dependency label based causing inconsistency axiom detection. Our results are applicable to the very expressive logic SHOIN that is the basis of the Web Ontology Language.

• East Asian mathematical journal
• /
• v.7 no.2
• /
• pp.165-170
• /
• 1992

• Kyungpook Mathematical Journal
• /
• v.33 no.2
• /
• pp.189-198
• /
• 1993

• Kyungpook Mathematical Journal
• /
• v.33 no.1
• /
• pp.111-114
• /
• 1993

• Journal of the Korean Mathematical Society
• /
• v.55 no.5
• /
• pp.1131-1142
• /
• 2018

A notion of measure expansivity for homeomorphisms was introduced by Morales recently as a generalization of expansivity, and he obtained many interesting dynamic results of measure expansive homeomorphisms in [8]. In this paper, we introduce a concept of weak measure expansivity for homeomorphisms which is really weaker than that of measure expansivity, and show that a diffeomorphism f on a compact smooth manifold is $C^1$-stably weak measure expansive if and only if it is ${\Omega}$-stable. Moreover we show that $C^1$-generically, if f is weak measure expansive, then f satisfies both Axiom A and the no cycle condition.

• Proceedings of the Korean Society of Precision Engineering Conference
• /
• 2002.05a
• /
• pp.555-560
• /
• 2002

This paper addresses the methodologies for manufacturing systems design. While a number of design methods are used in product or part design, methods for manufacturing systems design are rarely known. Two approaches, simulation and axiomatic design theory, are discussed with respective case examples. The usual purpose of using simulation is to identify the bottleneck of a manufacturing system or to evaluate its performance with the aim of configuring the manufacturing system. The simulation typically proceeds in steps such as problem definition, model building, numerical experimentation, analysis and evaluation. The axiomatic design method transforms customer attributes into functional requirements and repeats mapping processes between functional domain and physical one until a satisfactory level of refinement of the functional requirements and the design parameters is reached. Possible design alternatives are evaluated by applying the independence axiom as well as the information axiom.

• Proceedings of the Korean Society of Precision Engineering Conference
• /
• 2004.10a
• /
• pp.82-86
• /
• 2004

To cope with the challenge from global market characterized by frequent changes in requirements, manufacturing enterprise should be able to promptly adjust its manufacturing system accordingly. Therefore, it is important to provide manufacturing system designer with an appropriate methodology to (re-)design a manufacturing system subject to requirements change. Axiomatic design theory focuses design activity mainly on functional consideration rather than physical, and has been known as effective especially in the conceptual design phase. This paper introduces an approach to apply the axiomatic design principle to manufacturing system design. It is shown that a new design solution can be reached quickly by finding design parameters for the added or revised functional requirements and thus achieving a set of functional requirements as well as design parameters that satisfy the independence axiom. Some illustrative examples are also given.

• Honam Mathematical Journal
• /
• v.35 no.4
• /
• pp.707-716
• /
• 2013

The present paper consists of two parts. Since the recent paper [4] proved that an Alexandroff $T_0$-space is a semi-$T_{\frac{1}{2}}$-space, the first part studies semi-open and semi-closed structures of the Khalimsky nD space. The second one focuses on the study of a relation between the LS-property of ($SC^{n_1,l_1}_{k_1}{\times}SC^{n_2,l_2}_{k_2}$, k) relative to the simple closed $k_i$-curves $SC^{n_i,l_i}_{k_i}$, $i{\in}\{1,2\}$ and its normal k-adjacency. In addition, the present paper points out that the main theorems of Boxer and Karaca's paper [3] such as Theorems 4.4 and 4.7 of [3] cannot be new assertions. Indeed, instead they should be attributed to Theorems 4.3 and 4.5, and Example 4.6 of [10].

• Transactions of the Korean Society of Mechanical Engineers A
• /
• v.24 no.10 s.181
• /
• pp.2438-2450
• /
• 2000

The Design Axioms provide a general framework for design methodologies. The axiomatic design framework has been successfully applied to various design tasks. However, the axiomatic design has been rarely utilized in the detailed design process of structures where the optimization technology is generally carried out. The relationship between the axiomatic design and the optimization is investigated and Logical Decomposition method is developed for a systematic structural optimization. The entire optimization process is decomposed to satisfy the Independence Axiom. In the decomposition process, design variables are grouped according to sensitivities. The sensitivities are evaluated by the Analysis of Variance(ANOVA) to avoid considering only local values. The developed method is verified through examples such as the twenty -five members transmission tower and the two -bay-six-story frame.

• Honam Mathematical Journal
• /
• v.35 no.1
• /
• pp.101-107
• /
• 2013

The Gamma function ${\Gamma}$ which was first introduced b Euler in 1730 has played a very important role in many branches of mathematics, especially, in the theory of special functions, and has been introduced in most of calculus textbooks. In this note, our major aim is to explain the convergence of the Euler's Gamma function expressed as an improper integral by using some elementary properties and a fundamental axiom holding on the set of real numbers $\mathbb{R}$, in a detailed and instructive manner. A brief history and origin of the Gamma function is also considered.