• Journal of Korean Library and Information Science Society
• /
• v.36 no.1
• /
• pp.415-440
• /
• 2005

This paper analyses meta-data systems for serials in order to provide the fundamental infrastructure for serials-sharing systems based on semantic interoperability. According to the primitive features of serials information, meta-data for serials are classified into 3 main subsystems: serial identification Information, serial bibliographic information and serial holding information. The serial identification information that play the important role of the primary key in library management systems should be refined to accommodate serials with digital formats. Although MARC formats have been commonly used for the description of serial bibliographic information, a new meta-data format for serial bibliographic information that harmonize with the abundance of meta-data elements in MARC and the simplicity of DCMI. For serial holding information, the newly proposed standards such as ANSI/NSIO Z39.50 are adequate to grasp the varieties of serial holding patterns. It should be able to differentiate the level of description by means of the types of serial information services. As the current computing technology generally uses XML for the representation and Process of information, the meta-data system for serials should be based on XML.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2002.11c
• /
• pp.2007-2010
• /
• 2002

본 연구는 UML(Unified Modeling Language) 표준에 의해 작성된 객체지향 다이어그램의 일관성과 정확성을 검증하는 방법에 관한 연구이다. 일관성은 하나의 요구사항으로 표현된 여러 가지 UML 다이어그램이 통일된 의미로 표현되었는가를 나타내는 성질이고, 정확성은 사용자가 작성한 다이어그램이 UML 표준에 적합하게 작성이 되었는가를 나타내는 성질이다. 정확성을 검증하기 위해서는 관계를 가지는 다이어그램들의 관계요소를 파악할 필요가 있다. 메타모델을 유도한 후에는 각 메타모델을 기초로 일관성 및 정확성 검증 규칙을 유도해 내고 검증의 자동화를 위하여 정형적 명세로 표현한다. 본 연구에서는 다이어그램별로 작성한 메타모델에서 규칙을 유도하고 그러한 규칙을 OCL(Obiect Constraint Language) 형태로 표현하여 검증하는 방법을 제안한다.

• Proceedings of the Korean Information Science Society Conference
• /
• 2001.04a
• /
• pp.601-603
• /
• 2001

본 논문은 컴포넌트 S/W의 저장, 관리, 유통 활성화를 위하여 컴포넌트 명세서를 규격화하고 규격화된 컴포넌트 명세서를 표준 메타언어인 XML 기반으로 모델링하는 것이다. 클래스 라이브러리의 한계점들을 극복하고 소프트웨어 재사용성을 향상시키기 위한 단위로 만들어진 컴포넌트 단위의 재사용 기법의 XML 기반의 컴포넌트 명세서로 인해 더욱 활성화 될 수 있을 것이다. 또한, 컴포넌트 메타데이터 및 리소스 정보, 외부 인터페이스들의 논리적 구조 및 시맨틱 표현기법을 연구하고 컴포넌트 명세서 표현을 위한 메타데이타 모델을 근거로 컴포넌트 명세서를 효과적으로 생성할 수 있는 GUI 기반 명세서 기반 도구를 설계한다.

• Proceedings of the Korean Information Science Society Conference
• /
• 2002.10c
• /
• pp.31-33
• /
• 2002

본 논문에서는 MPEG-7 스키마에 따라 비디오의 내용을 기술한 메타데이타를 TVA 스키마에 따른 메타데이타로 변환, 그리고 그 역방향으로의 변환 방법을 제안한다. 이를 위해 MPEG-7과 TVA스키마를 분석하여 그들의 유사점과 차이점을 밝히다. 또한 중첩 표현법과 참조 표현법으로의 상호 변환시 야기되는 id 처리문제, 대표화면 정보의 처리, 위치 정보의 처리 등에 관한 방법 을 기술한다.

• Journal of the Korea Academia-Industrial cooperation Society
• /
• v.15 no.1
• /
• pp.449-459
• /
• 2014

The proposed 2+1 view integrated metamodel defined formerly with a graphical class model can not be guaranteed the syntactic clarity and accuracy precisely for the metamodel due to the informal specification. This paper specifies the syntactic semantics formally for the 2+1 view integrated metamodel using Z and Object-Z and checks the accuracy of the metamodel with Z/Eves tool. The formal specification is expressed in Z and Object-Z schema separately for syntax and statics semantics of the 2+1 view integrated metamodel, which applying the converting rule between class model and Z/Object-Z. The accuracy of the Z specification for the metamodel is verified using Z/Eves tool, which can check the syntax, type, and domain of the Z specification. The transformation specification and checking of the 2+1 view integrated metamodel can help establish more accurate the syntactic semantics of its construct and check the accuracy of the metamodel.

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

인터넷과 웹과 같은 정보사회의 교육환경 변화에 따른 교육정보의 교류 수요의 급속한 증가에 따라 교육정보 자료에 대한 메타데이터의 표준이 필요하게 되었다. 이에 따라 국내에서는 개별적으로 개발되고 있는 교육정보 자료를 통합적으로 공유, 재사용하기 위하여 KEM(Korea Education Metadata) Ver 2.0을 한국교육학술정보원에서 개발하였다. 또한 해외에서는 최근 급증하고 있는 멀티미디어 데이터의 적절한 표현을 위하여 MPEG-7 표준이 제정되었다. 본 논문에서는 다양한 형태의 교육정보 자료 중에서 교육정보 이미지에 대한 검색시스템을 설계하였다. 본 검색시스템의 설계는 한국교육학술정보원에서 개발된 KEM Ver 2.0을 수용하기 위하여 교육정보 이미지의 메타데이터 표현을 KEM Ver 2.0에서 제안된 메타 데이터 표현을 MEPG-7으로 확장한 XML 스키마를 사용하였다. KEM Ver 2.0 기반의 high-level 메타데이터와 MEPG-7 기반의 low-level 메타데이터를 이용함에 따라 국내에서 사용되는 교육정보 이미지의 상호교환 뿐 아니라 체계적이고 빠른 검색과 추출이 가능할 것이다.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2005.11a
• /
• pp.417-420
• /
• 2005

소프트웨어 설계와 관련하여 OMG의 UML은 객체지향모델링에 대해서 표준화된 언어에 지원이 가능하여 널리 사용되고 있다. 그리고 마크업언어로는 일반적으로 DTD와 XML 스키마를 많이 사용하고 있다. 본 연구에서는 클레스내의 단위 엘리먼트의 속성을 부여할 수 있고 모델내의 클래스의 관계를 표현할 수 있는 수퍼클래스와 서브클래스에 대한 정확한 타입의 속성을 표현할 수 있도록 하였다. 그리고 엘리먼트에 대한 어트리뷰트를 표현하는데 다양하고 세부적인 데이터타입이 지원되도록 하여 XMI 메타모델 기반의 메타데이타 생성이 가능한 도구를 설계/구현 하였다.

• Education of Primary School Mathematics
• /
• v.22 no.4
• /
• pp.223-237
• /
• 2019

There is a close interaction between the linguistic-syntactic representation system and the affective representation system that appear in the mathematical process. On the other hand, since the mathematical conceptual system is fundamentally metaphoric, the analysis of the mathematical concept structure through linguistic representation can help to identify the source of cognitive and affective obstacles that interfere with mathematics learning. In this study, we analyzed the problem-solving protocols of mathematical gifted children from the perspective of cognitive language and meta-affect to identify the relationship between the functional characteristics of the text and metaphor they use and the functional characteristics of meta-affect. As a result, the behavior of the cognitive and affective characteristics of mathematically gifted children differed according to the success of problem solving. In the case of unsuccessful problem-solving, the use of metaphor as an internal representation system was relatively more frequent than in the successful case. In addition, while the cognitive linguistic aspects of metaphors play an important role in problem-solving, meta-affective attributes are closely related to the external representation of metaphors.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2006.05a
• /
• pp.1397-1400
• /
• 2006

지식 근로자들은 회의 문서 작업 및 활용에 상당한 시간을 할애하고 있다. 하지만 문서들의 관계를 고려하지 않은 메타데이터의 처리와 기존의 계층적인 네비게이션 방식은 사용자가 한 눈에 여러 문서들의 메타데이터 관계를 파악하기가 어려웠다. 하지만 본 논문에서는 회의 문서의 관계성 메타데이터를 평면적으로 펼쳐 조회할 수 있도록 프로젝트, 회의, 작업 문서들의 관계에 기반한 동적 엔터티 표현 기법을 제안한다. 이를 통해 사용자는 메타데이터의 계층에 대한 내용을 전혀 이해하고 있지 않아도 관련된 정보를 한 눈에 확인 할 수 있게 된다.

• Journal of the Korea Society of Computer and Information
• /
• v.27 no.7
• /
• pp.35-48
• /
• 2022

In this study, it propose a proof theory method for expressing and reasoning knowledge in a multiagent environment. Since this method determines logical results in a mechanical way, it has developed as a core field from early AI research. However, since the proposition cannot always be proved in any set of closed sentences, in order for the logical result to be determinable, the range of expression is limited to the sentence in the form of a clause. In addition, the resolution principle, a simple and strong reasoning rule applicable only to clause-type sentences, is applied. Also, since the proof theory can be expressed as a meta predicate, it can be extended to the metalogic of the proof theory. Metalogic can be superior in terms of practicality and efficiency based on improved expressive power over epistemic logic of model theory. To prove this, the semantic method of epistemic logic and the metalogic method of proof theory are applied to the Muddy Children problem, respectively. As a result, it prove that the method of expressing and reasoning knowledge and common knowledge using metalogic in a cooperative multiagent environment is more efficient.