• 한국도서관정보학회지
• /
• 제36권1호
• /
• pp.415-440
• /
• 2005

본 연구는 의미적 상호운용이 가능한 학술지 공동이용 시스템 구축에 기초자료 제공을 목적으로 학술지의 메타데이터 시스템의 체계에 관해 분석하였다. 학술지 정보의 특성을 고려하여 학술지 메타데이터 형식을 학술지 식별자 정보, 학술지 서지정보와 학술지 소장정보로 구분하여 고찰하였다. 학술지 식별자 정보는 학술지에 정보관리 시스템의 주요키로서, 디지털정보 매체가 일반화되고 있는 시점에 이에 대한 고려가 중요하다. 학술지 서지정보 형태는 전통적으로 MARC 포맷을 활용하여 왔지만, 앞으로 MARC의 풍부한 메타데이터 요소와 DCMI의 간편성을 조화시킨 서지정보 표현 방식이 필요하다. 학술지 소장정보 표현에는 ANSI/NISO Z39.71 등 최근에 제안된 메타데이터 표준안이 간편하면서 다양한 소장 형태를 표현하기에 적합하며, 제공하는 학술지 정보 서비스 형태에 따라 기술 수준의 정도가 차별화 되어야 한다. 현재의 컴퓨터 기술은 정보의 표현과 처리가 XML 중심이기 때문에, 학술지 메타데이터 기술도 XML 기반이어야 한다.

• 한국정보처리학회:학술대회논문집
• /
• 한국정보처리학회 2002년도 추계학술발표논문집 (하)
• /
• pp.2007-2010
• /
• 2002

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

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2001년도 봄 학술발표논문집 Vol.28 No.1 (A)
• /
• pp.601-603
• /
• 2001

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

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2002년도 가을 학술발표논문집 Vol.29 No.2 (1)
• /
• pp.31-33
• /
• 2002

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

• 한국산학기술학회논문지
• /
• 제15권1호
• /
• pp.449-459
• /
• 2014

시각적인 클래스 모델로 기 제시된 2+1 View 통합 메타모델은 비정형적인 명세에 기인하여 명확하게 모델의 구문을 표현하지 못하고 있으며, 또한 그 모델의 정확성을 보장할 수 없다. 본 논문은 Z와 Object-Z를 사용해서 2+1 View 통합 메타모델의 구문적 의미를 정형적으로 명세하고, Z/Eves 툴을 통해 메타모델의 정확성을 검사하는 것이다. 정형 명세는 클래스 모델과 Z/Object-Z간의 변환규칙을 적용해서 2+1 View 통합 메타모델의 구문과 정적 시멘틱에 대해 Z와 Object-Z 스키마로 각각 표현한다. 메타모델의 검사는 Z 스키마 명세에 대해 Z/Eves 도구를 사용하여 구문, 타입 검사 그리고 도메인 검사를 수행하여 메타모델의 정확성을 입증한다. 이로서, 2+1 View 통합 메타모델 메타모델의 Z/Object-Z 변환을 통해 구조물의 구문적 의미를 명확하게 표현할 수 있으며, 또한 그 메타모델의 정확성을 검사할 수 있다.

• 한국정보처리학회:학술대회논문집
• /
• 한국정보처리학회 2005년도 춘계학술발표대회
• /
• 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 메타데이터를 이용함에 따라 국내에서 사용되는 교육정보 이미지의 상호교환 뿐 아니라 체계적이고 빠른 검색과 추출이 가능할 것이다.

• 한국정보처리학회:학술대회논문집
• /
• 한국정보처리학회 2005년도 추계학술발표대회 및 정기총회
• /
• pp.417-420
• /
• 2005

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

• 한국수학교육학회지시리즈C:초등수학교육
• /
• 제22권4호
• /
• pp.223-237
• /
• 2019

수학적 과정에서 나타나는 언어 구문론적 표현 체계와 정의적 표현 체계 사이에는 긴밀한 상호 작용이 이루어진다. 한편, 수학적 개념 체계도 본질적으로 은유적이므로 언어적 표현을 통해 나타나는 수학적 개념 구조에 대한 분석은 수학 학습에 작용하는 인지 정의적 장애 요인의 근원을 밝히는데 도움이 될 수 있다. 이에 본 연구에서는 수학 영재아의 문제해결 프로토콜을 인지언어와 메타정의의 관점에서 분석하여 텍스트 및 은유의 기능적 특성과 메타정의의 기능적 특성 사이의 관계성을 파악하였다. 그 결과 문제해결의 성공 여부에 따라 수학 영재아의 인지적, 정의적 특성이 반영된 행위의 양상이 서로 다르게 나타났다. 성공적이지 못한 문제해결의 경우에는 성공적인 경우에 비해 내부 표현 체계로서의 은유를 활용하는 행위가 상대적으로 빈번하게 나타났다. 또한 은유의 인지언어학적 측면이 문제해결에 중요하게 작용하면서 동시에 은유라는 외적 표현에는 메타정의적 속성이 긴밀하게 관련되어 나타났다.

• 한국정보처리학회:학술대회논문집
• /
• 한국정보처리학회 2006년도 춘계학술발표대회
• /
• pp.1397-1400
• /
• 2006

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

• 한국컴퓨터정보학회논문지
• /
• 제27권7호
• /
• pp.35-48
• /
• 2022

본 연구에서는 멀티에이전트 환경에서 지식을 표현하고 추론함에 있어서 증명 이론적 방법을 제안한다. 이 방법은 논리적 결과를 기계적 방법으로 결정하므로 초기 인공지능 연구부터 핵심분야로 발전해 왔다. 하지만 임의의 닫힌 문장들의 집합에서 항상 명제가 증명할 수 있지 않기에 논리적 결과가 결정할 수 있어지려면 절 형식의 문장으로 그 표현 범위를 제한한다. 그리고 절 형식의 문장들에서만 적용 가능한, 단순하면서도 강력한 추론 규칙인 비교흡수 원리(Resolution principle)를 적용한다. 또한 증명이론을 메타술어로 표현할 수 있으므로 증명이론의 메타논리로 확장 가능하다. 메타논리가 모델 이론의 인식 논리(epistemic logic)보다 향상된 표현력을 기반으로 실용적인 면과 효율면에서 우월할 수 있다. 이를 입증하기 위해 인식 논리의 의미론과 증명이론의 메타논리 방식으로 각각 Muddy Children 문제에 적용한다. 그 결과 협력적 멀티에이전트 환경에서 메타논리를 사용하여 지식과 공통지식을 표현하고 추론한 방법이 더 효율적임을 증명한다.