• Proceedings of the Korea Inteligent Information System Society Conference
• /
• 2007.05a
• /
• pp.277-285
• /
• 2007

본 연구는 시맨틱웹 응용의 중심 기술인 웹 온톨로지의 표현과 추론을 위해 서술 논리와 규칙언어를 기반으로하는 웹 온톨로지 모델링 방법을 제안한다. 현재 웹 온톨로지 표현 언어인 OWL DL은 서술 논리에 근거하여 표현되는 것이나, 기계나 온톨로지 공학자가 OWL로 기술된 온톨로지를 직관적으로 이해하고 공유할 수 있는 형식적이고 명시적인 온톨로지의 지식 표현은 부족한 실정이다. 따라서 본 연구는 시맨틱웹이 목적하는 웹 온톨로지 구축을 위한 웹 온톨로지 모델링 방법으로 웹 온톨로지 모델링 계층을 제안하고, 제안된 각 계층에 따라 서술 논리의 TBox와 ABox의 구조와 SWRL을 기반으로 지식을 표현하는 웹 온톨로지 모델링 방법을 제안한다. 제안된 웹 온톨로지 모델링 방법의 성능 검증을 위해 제안 방법에 따라 웹 온톨로지를 구축하였고, SPARQL과 TopBraid의 DL Inference를 이용하여 구축된 웹 온톨로지의 성능을 검증하였다.

• Proceedings of the Korean Information Science Society Conference
• /
• 2002.04b
• /
• pp.349-351
• /
• 2002

XML문서를 작성하는데 있어서 그 규칙이나 DTD에 익숙하지 않은 개발자에게 구문 지향 편집기는 효율적인 환경을 제공해 준다. 이러한 구문 지향 편집기를 생성하는 도구로서 Synthesizer Generator등이 잘 알려져 있는데, 사용자는 Synthesizer Generator를 위해 구문 지향 편집기 생성 정보 표현 언어인 SSL(Syntheizer Specification Language)을 직접 작성해야 한다. 본 연구는 웹 문서 표준인 XML 구문 지향 편집기를 자동 생성하기 위한 방법을 제안한다. 제안된 방법은 입력된 XML DTD를 AST 형태로 변경하여DAG(Directed Acyclic Graph)를 추출하는 DAG 변환기, 생성된 DAG를 SSL로 변환하기 위한 DAG 핸들러와 SSL 변환기 모듈 그리고 변환된 SSL을 이용해 XML 구문 지향 편집기를 자동 생성하기 위한 Synthesizer Generator 사창을 포함한다. SSL 변환기는 SSL문서를 자동 생성하기 위한 모듈로서 추상 구문변환 모듈 역 파싱(Unparsing scheme)모듈 변형 규칙(Transformation rule) 표현 모듈로 구성된다. 사용자는 SSL변환기와 Synthesizer Generator의 사용을 통해 SSL을 직접 코딩해야 하는 노력과 불필요한 학습시간을 줄이고 빠르고 정확한 XML 구문 지향 편집기를 생성하므로 효율적인 XML 문서 작성할 수 있다.

• Proceedings of the Korean Information Science Society Conference
• /
• 2003.10c
• /
• pp.559-561
• /
• 2003

최근 차세대 Web 기술로서 Semantic Web이 주목 받고 있다. Semantic Web에서는 Web상에 존재하는 문서에 Web Resource들에 대한 Ontology를 기반으로 Semantic Annotation을 하고 Ontology 추론 Agent를 통하여 의미 기반으로 Web을 검색할 수 있도록 해준다. 이와 같은 Semantic Web 기술의 핵심 요소는 Web Ontology이며 W3C에서는 이를 표현 할 수 있는 표준 언어로서 RDF기반의 OWL(Web Ontology Language) 명세를 제정하고 있다. 따라서 표준 Web Ontology 언어인 OWL을 위한 추론 시스템은 Semantic Web 검색 Agent의 구현을 위한 필수적인 기반 기술이라 할 수 있으나 아직 그 개발이 미비한 상태이다. OWL 추론 시스템을 구현하기 위해서는 OWL의 이론적인 기반을 제공하는 DL(Description Logic)을 추론할 수 있는 엔진을 사용하는 것이 한가지 방법이 될 수 있으나 OWL이 Rule과 같은 DL의 범주를 벗어나는 Vocabulary를 지원하는 언어로 확장되는 경우에 이를 처리하기가 어렵다. 또 다른 방법으로서 Logic Programming을 통하여 OWL 언어의 Semantic을 기술하고 정리 증명(Theorem Proving)을 통하여 Ontology를 추론하는 공리화(Axiomatisation) 기법이 있는데 이러한 방법의 장점은 기반이 되는 Logic의 범주 내에서 새로운 언어를 위한 Vocabulary의 확장이 용이하다는 점이다. 본 논문에서는 Axiomatisation 방법을 이용하여 OWL로 기술된 Ontology를 추론할 수 있는 시스템의 설계 및 구현에 대해 설명하기로 한다.

• MALSORI
• /
• no.49
• /
• pp.159-174
• /
• 2004

The development of the durational component of prosody modelling was overviewed and discussed in text-to-speech conversion of spoken English and Korean, showing the strengths and weaknesses of each approach. The possibility of integrating linguistic feature effects into the duration modelling of TTS systems was also investigated. This paper claims that current approaches to language timing synthesis still require an understanding of how segmental duration is affected by context. Three modelling approaches were discussed: sequential rule systems, Classification and Regression Tree (CART) models and Sums-of-Products (SoP) models. The CART and SoP models show good performance results in predicting segment duration in English, while it is not the case in the SoP modelling of spoken Korean.

• Proceedings of the Korean Association of Geographic Inforamtion Studies Conference
• /
• 2006.05a
• /
• pp.37-42
• /
• 2006

GIS분야에 대한 다양한 연구가 진행됨에 따라 그 활용에 대한 관심도 확대되고 있다. Open GIS Consortium에서는 GML(Geography Markup Language)을 개발하여 이를 GIS 응용분야에 활용하고자 하는 연구가 활발히 진행되고 있다. GML데이터에서 의미 있는 정보를 추출하기 위해서는 데이터 마이닝 기법 활용이 필수적이다 최근에 데이터마이닝 기법 중 연관규칙을 이용한 탐색 방법이 제안되었다. 그러나 이 방법은 전체 데이터를 대상으로 의미 있는 정보를 탐색 하므로, 데이터 내에 포함되어 있는 부분 속성인 지리 공간적 연관성을 탐색하는데 한계를 가지고 있다. 따라서 녈 연구에서는 GML데이터에서 부분적 속성을 고려한 지역적 연관규칙 탐색 기법을 제안한다.

• 제어로봇시스템학회:학술대회논문집
• /
• 1993.10a
• /
• pp.1018-1023
• /
• 1993

In mechanical structure design area, many FEM (Finite Element Method) packages are used. But the design using FEM packages depends on an iterative trial and error manner and general CAD systems cannot cope with the change of parameters. This paper presents a methodology for building a designing system of a mechanical structure. This system can generate the drawing for a designed structure automatically. It consists of three steps: generation of a structure by selection of the parameters, stress analysis, and generation of a drawing using CAD system. FEM module and parametric CAD module are developed for this system. Inference engine module generates the parameters with a rule base and a model base, and also evaluates the current structure. The parametric design module generates geometric shapes automatically with given dimension. Parametric design is implemented with the artificial intelligent technique. In older to the demonstrate the effectiveness of the developed system, a frame set of bicycle was designed. The system was implemented on an SUN workstation using C language under OpenWindows environment.

• 제어로봇시스템학회:학술대회논문집
• /
• 2001.10a
• /
• pp.179.2-179
• /
• 2001

This paper is about to consist of neutralization public decision system which is level controled the amount of inflow and outflow water to make use of PLC in automatic system and according to numerical value of PH, which is projected into a water tank counteragent automatically. But neverthless, appearance of extended PLC, there is a limit to realize from automatic system to intellectual system which is more efficient and active. There are two problems in PLC. First, there is not generalized that a module of PLC (which is installed in PLC) is realized control algorithm form. Second, there is a difficulty of expression that provided PLC control language is realized. There fore I take fuzzy inference control technique of various intellectual algorithm and 1 make a control rule and ...

• Proceedings of the Korean Society of Precision Engineering Conference
• /
• 1997.10a
• /
• pp.531-534
• /
• 1997

A design system of dies for hot extrusion of structural shapes such as Z' s, L' s, T' s, U' s and H' s from aluminum alloys was developed in this study. The developed design system of dies is based of established die design rule system. The design rules for die design are obtained from the handbooks, plasticity theories and relevant references. The environment of the system is AutoCAD and AutoLISP, the graphic programming language was used for the configuration of the system. This system includes five major modules such as section shape design module, die opening number module. die opening layout module, die correction module and die bearing design module that are used to determine design variables. This system would be used to design of dies for hot extrusion from aluminum alloys and widely used in manufacturing course..

• Korean Journal of Cognitive Science
• /
• v.13 no.2
• /
• pp.15-23
• /
• 2002

This paper reports an experiment on Broca's aphasics' comprehension of a class of English constructions involving empty categories. Based on Grodzinsky's (1986) account of chance-level performance of agrammatic understanding of movement constructions and their thematic role assignments. I show that Grodzinsky's notion of invisible empty categories can be further extended to include pronomical anaphors (PRO's) in Chomsky's (1981) sense and that the asymmetry in their poor comprehension of subject- and object-control constructions can be explained by the heuristic mechanism of the default thematic role assignment rule. eventually supporting Grodzinsky's claim that empty categories are not visible In agrammatic's syntactic representation.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2005.05a
• /
• pp.687-690
• /
• 2005

최근 들어 무선인터넷 단말기로 보다 효율적으로 인터넷에 접근하여 정보를 제공하고자 하는 연구가 활발히 진행되고 있다. 사용자는 유선 인터넷으로 제공받는 컨텐츠를 휴대가 간편한 무선 이동통신으로 제공받고자 하는 욕구가 점점 늘어나고 있고 이러한 원인으로 다양한 무선 컨텐츠의 제공이 요구된다. 그러나 다양한 무선 단말기의 특성에 따라 컨텐츠를 새롭게 개발하는데는 개발비용, 기간이 많이 들게 되므로 기존의 웹 컨텐츠를 활용하여 무선환경에 맞는 문서변환 기술 연구의 필요성이 대두되고 있다. 본 논문에서는 유선 인터넷상의 컨텐츠를 무선 환경으로 손쉽게 변환할 수 있는 XML(eXensible Markup Language)기술을 활용한 변환기(Generator)구조를 설계하고 이와 관련된 XML Generator, RuleSet Management, Clipping Toolkit 등의 기능을 정의하여 보다 효율적으로 무선 컨텐츠로 변환하는 기술을 소개한다.