• Journal of Information Technology Services
• /
• v.7 no.3
• /
• pp.271-286
• /
• 2008

The core of the semantic web is ontology, which supports interoperability among semantic web applications and enables developer to reuse and share domain knowledge. It used a variety of fields such as Information Retrieval, E-commerce, Software Engineering, Artificial Intelligence and Bio-informatics. However, the reality is that various errors might be included in conceptual hierarchy when developing ontologies. Therefore, methodologies and supporting tools are essential to help the developer construct suitable ontologies for the given purposes and to detect and analyze errors in order to verify the inconsistency in the ontologies. In this paper we propose a new approach for ontology error detection based on the Concept Lattices of Formal Concept Analysis. By using the tool that we developed in this research, we can extract core elements from the source code of Ontology and then detect some structural errors based on the concept lattices. The results of this research can be helpful for ontology engineers to support error detection and construction of "well-defined" and "good" ontologies.

• Proceedings of the Korean Information Science Society Conference
• /
• 2000.04b
• /
• pp.181-183
• /
• 2000

현재의 컴퓨팅 환경은 멀티미디어와 인터넷, 즉 웹 환경으로 요약된다. 이러한 환경에서 운영되는 복잡한 정보 시스템-인터넷 TV 방송, 문서 관리시스템, 가상 대학, 그룹 웨어, 지식 경영 시스템 등은 대용량의 데이터베이스 데이터와 멀티미디어 데이터를 기반으로 해서 동작한다. 이러한 시스템들에서의 데이터은 데이터 베이스 내에 존재하는 메타 데이터와 운영체제의 파일 시스템 내에 존재하는 파일 데이터로 나뉜다. 이러한 데이터의 분리로 인해서 나타나는 가장 큰 문제점은 이 둘 데이터 사이의 불일치성(inconsistency)이다. 이는 멀티미디어 데이터와 데이터베이스 데이터를 접근해서 사용하는 기능(operation)의 차이로 인해서 발생하게 된다. 본 논문에서는 복잡한 정보시스템에서 사용되어 지는 데이터들 사이에 발생되는 불일치성을 해결하며, 쉬운 프로그램밍을 위한 응용 프로그래밍 인터페이스(ATI)를 제공해주는 AEM(Activity Execution Manager) 프레임워크를 설계 및 구현한다.

• Proceeding of KASS Symposium
• /
• 2005.05a
• /
• pp.3-51
• /
• 2005

Optimization methods are presented for design of shells and spatial structures. The effectiveness of using optimization techniques are demonstrated by the following examples: 1. Shape design of ribbed shells. 2. Shape design of membrane structures. 3. Optimization of single-layer spatial truss against buckling. 4. Application of heuristic methods to optimization of space frames. The readers may first see the numerical results to find that is possible by optimization. In the appendix, overview of structural optimization in architectural design is presented, and effectiveness of optimization is demonstrated by small examples. Each chapter is a part of a published paper, or translation from a Japanese article. So there might be some difficulties for understanding the details: inconsistency of the story, etc., which the author hope not to lead to major difficulties for understanding the concepts and results.

• Journal of the Korean Society for Precision Engineering
• /
• v.20 no.2
• /
• pp.120-128
• /
• 2003

When considering the use of rapid prototyping (RP), there are many issues a designer has to address for handling an STL model, the de facto standard fur RP. Today designers can skip all these issues by visiting web-based service bureaus that readily supply needed information for the RP services. Since orders are taken for RP parts through the web page of service providers designers are now asked to upload their STL files to the company server either by direct upload, ftp file transfer, or as an e-mail attachment. If the service bureau, however, fixes or edits an STL filceto optimize the RP process but neglects to tell its customer about the rework in detail, it may cause problems down the line in processing of the original CAD data for other applications. In this paper, we propose a framework for a collaborative virtual environment between CAD designers and RP processes on the internet which directly provides designers with an advanced preprocessor functionality, design visualization, as well as model display, repair, and slicing over the network. This can help smooth data transfer from CAD to RP process with minimum inconsistency in CAD.

• Research in Mathematical Education
• /
• v.15 no.1
• /
• pp.81-91
• /
• 2011

The aim of this study was to explore the grade 1-3 students' geometrical thinking level descriptors based on van Hiele level descriptors. The data were collected through collection of geometric curriculum materials such as indicators and learning standards in Basic Education Core Curriculum and mathematics textbook for grades 1-3. The findings were found that 1) Inconsistency between descriptors appeared on mathematics curriculum and Thai mathematics textbooks. 2) Using topics on textbooks as criterion for exploring 5 of 7 descriptors appeared on Thai mathematics textbook indicated geometrical thinking levels based on van Hiele's model merely level 0 (Visualization) across textbooks for grades 1-3.

• Proceedings of the KSRS Conference
• /
• 1998.09a
• /
• pp.49-57
• /
• 1998

CO2 transfer velocity is one of the key parameters for CO2 flux estimation at air - sea interface. However, current studies show that significant inconsistency still exists in its estimation when using different models and remotely sensed data sets, which acts as one of the main uncertainties involved in the computation of CO2 exchange coefficient between air - sea interface. In this study, wind data collected from SSM/I and scatterometer onboard ERS-1, in conjunction with operational NOAA/AVHRR, are applied to different models for calculating CO2 exchange coefficient in the world ocean. Their interrelationship and discrepancies inherent with different models and satellite data are analyzed. Finally, the seasonal and inter-annual variation of CO2 exchanges coefficient for different ocean basins are presented and discussed.

• Toxicological Research
• /
• v.20 no.4
• /
• pp.321-324
• /
• 2004

Lethal dose 50% ($LD_{50}$) has been commonly used as a parameter for the estimation of acute toxicity not only in animal experiment, but also in human study. Several methods to estimate $LD_{50}$ had been introduced, but Spearman-Karber and Berens-Karber method have been widely used due to their relative convenience and accuracy. However, $LD_{50}$ values estimated from the two methods showed inconsistency and variation depending on the characteristics of mortality data. In this study, the two methods were comparatively investigated in terms of accuracy and stability for the estimation of $LD_{50}$.

• Journal of Applied Biological Chemistry
• /
• v.50 no.3
• /
• pp.136-143
• /
• 2007

Despite the increased interests in biological control of soilborne diesease for environmental protection, biological control of bacterial wilt caused by Ralstonia solanacearum have not provided consistent or satisfying results. To enhance the control efficacy and reducing the inconsistency and variability, combinations of specific strains of microorganisms, each having a specific mechanism of control, were applied in this study. More than 30 microorganisms able to reduce the activity of pathogen by specific mechanism of action were identified and tested for their disease suppressive effects. After in vitro compatibility examinations, 21 individual strains and 15 combinations were tested in the greenhouse. Results indicated three-way combinations of different mode of control, TS3-7+A253-16+SKU78 and TS1-5+A100-1+SKU78, enhanced disease suppression by 70%, as compared to 30-50% reduction for their individual treatments. This work suggests that combining multiple traits antagonizing the pathogen improve efficacy of the biocontrol agents against Ralstonia solanacearum.

• Journal of the Korean Society of Clothing and Textiles
• /
• v.20 no.5
• /
• pp.817-825
• /
• 1996

A portion of several previous studies has been that when a product is to be presented as a gift it entaials a greater expenditure of time and money than when the same product is to be used by the buyer. While this might suggest that gift-giving is an especially involving purchasing sitution, the research to date has not been consistent in its evidence to support this view. One reason for this inconsistency in findings may be suggested that different gift-giving situations show considerably different levels of givers' task involvement. The present study designs to gain some descreptive understanding of the clothing gift-giving, and to test the relationship between varibles related to clothing gift-giving and task involvement of clothing gift-giving through different gift-giving senarios. Data (N=463) were collected via a questionnaire from housewives living in Pusan, and were analyzed by factor analysis, t-test, and cannonical analysis. Results support that differences in task involvement of clothing gift -giving cause different consumer behaviors in relation to clothing gift-giving.

• Proceedings of the Korean Society of Surveying, Geodesy, Photogrammetry, and Cartography Conference
• /
• 2004.11a
• /
• pp.497-505
• /
• 2004

오늘날과 같이 산업사회의 급격한 발달로 인하여 토지의 재산적인 가치가 높게 평가되면서 국민들은 토지에 대한 정확하고 다양한 정보제공을 요구하고 있다. 그러나 우리나라는 토지조사사업으로 작성된 지적공부를 현재까지 사용하고 있으나 토지이동에 따른 지적경계의 변동과 지적도면이 변질되고, 신축과 훼손이 심해져서 지적도의 경계선과 지상경계선의 불일치로 토지분쟁을 유발하여 대국민관계에 불신을 초래하고 있는 것이 사실이다. 그러나 아직까지 정확한 해결방안을 찾지 못하고 있는 것이다. 그러므로 본 연구에서는 현행 지적공부의 문제점인 경계불부합을 효율적으로 정리할 수 있는 방안을 위해서 지상경계를 TS측량방법을 이용하여 필지별 면적과 경계점간 거리의 변화를 측정하여 도시지역과 농촌지역에 관한 도상 경계와 지상경계를 분석하여 문제점을 해결할 수 있는 방법으로 지상경계위주의 좌표로 등록하여 정리하는 것이 효율적인 방법임을 제시하였다.