• 한국언어정보학회지:언어와정보
• /
• 제6권1호
• /
• pp.1-20
• /
• 2002

This paper examines existing approaches to exceptive constructions, which typically serve to maintain the use of universal quantifiers by diminishing the domain quantified over. It places a particular focus on constructions involving Korean oyey, Dutch behalve, and English apart from, other than, and aside from. These lexical items all share an interesting semantic property that they mean either 'except' or 'besides' depending upon their linguistic contexts, but they have largely been ignored in the literature of exceptive constructions. An observation is made that the two meanings of the ambiguous exceptive words are in complementary distribution with respect to types of quantifiers and that they are not an isolated fact. Based on this, a unifying formal semantic analysis is attempted for the constructions.

• 한국데이타베이스학회:학술대회논문집
• /
• 한국데이타베이스학회 1997년도 International Conference MULTIMEDIA DATABASES on INTERNET
• /
• pp.483-503
• /
• 1997

객체지향 데이터베이스 시스템에서 시간지원 데이터베이스를 다룰 때 발생하는 중요한 문제는 관계 의미에 따라 시간과 속성을 결합하는 방법에 있다. 관계형 모델처럼 속성 버전화에 대한 기존의 연구 결과는 시간지원 객체지향 모델에 적용할 수 없다. 이것은 객체지향 모델이 복합 객체를 구성하기 위해서 기존의 모델보다 더욱 강력한 구성자들을 제공하기 때문이다. 그래서 이 논문은 객체지향 데이터베이스에 시간 개념을 통합하기 위한 형식적 접근방법을 제안한다. 이 논문의 목적은 객체 사이에 관계하는 일반화, 집단화와 연관화에 따라 시간지원 객체지향 데이터베이스 표현을 연구하는 것이다. 이 논문은 시간지원 객체지향 모델에서 속성 버전화의 개념을 정의하고, 객체 사이에 존재하는 관계에 대해서 시간을 표현하는 것에 중점을 둔다. 또한 관계 의미에 대한 제약조건을 규정하고, 표현 기준에 기반하여 검토한다. 이 논문은 객체지향 데이터 모델을 형식화함으로서 대수 연산자를 설계시 강력한 연산 기능을 제공할 뿐만 아니라 모듈의 재사용성을 제공할 수 있다.

• 한국정보과학회논문지:데이타베이스
• /
• 제35권3호
• /
• pp.243-256
• /
• 2008

최근 인터넷의 급속한 발달로 인해 웹 상의 정보 양이 엄청나게 증가하고 있다. 하지만 현재 웹 상의 정보들은 사람이 읽고 해석하기에만 편리하게 설계되어 원하는 정보에 대한 정확한 검색이 어려워지고 있다. 이러한 문제점을 해결하기 위해 시맨틱 웹이 제안되었으며, 이를 구축하기 위해서는 데이타에 의미를 부여하는 온톨로지 언어를 사용해야 한다. 대표적인 은톨로지 언어는 RDF, RDF-S, OWL 등이 있다. 이러한 언어들 중 OWL은 W3C에서 권고안으로 채택한 언어로써 다른 온톨로지 언어에 비해 풍부한 표현력과 형식적인 의미론을 지닌다. 또한 OWL 데이타는 클래스/프로퍼티들 간의 계층 구조 정보를 포함한다. 따라서, 시맨틱 웹 상에서 데이타의 효율적인 검색을 위해서는 계층적 구조를 고려한 효율적인 OWL 저장 모델이 필요하다. 이 논문에서는 OWL 데이타의 클래스/프로퍼티들 간 계층 정보를 XPath 형태로 포함하며, 직관적이고 효율적인 질의 처리가 가능한 저장 모델(XPOS Model) 및 시스템을 제안한다. 또한, 제안 모델, Sesame, XML 저장소 기반 저장 시스템을 질의 처리 측면에서 성능에 대한 비교 평가 결과를 보인다.

• 전자공학회논문지CI
• /
• 제46권2호
• /
• pp.114-123
• /
• 2009

상황인식 시스템은 이용자의 주변 상황을 인지해서 적절한 대응을 수행하는 시스템이다. 컴퓨터 외에도 각종 센서나 실행기들이 시스템에 연결되어 동작하게 되므로 전통적인 시스템과 상이하며 응용 프로그램 개발의 복잡성이 증가하는 것이 특징이다. 본 논문에서는 이러한 상황인식 시스템들이 공통적으로 가지고 있는 특징을 기반으로 하여 정형화된 프레임워크를 제시한다. 이것은 복잡한 전체 시스템을 조망할 수 있는 도구가 되며, 이를 반영한 시스템 개발 환경은 편의를 제공할 뿐 아니라, 유용한 분석의 기반이 되는 등의 장점들을 가진다. 제시된 프레임워크에서는 반응적 (reactive) 작업 수행을 위해 이벤트에 대한 규칙을 통해 동작하도록 정의하고, 많은 상황인식 응용 프로그램에서 인식하는 상태 전이 개념을 도입하였다. 또한, 각 장비의 상태 변화가 전체 작업 수행에 연결되어 모델링 될 수 있도록 하였다.

• 한국인터넷방송통신학회논문지
• /
• 제15권4호
• /
• pp.231-237
• /
• 2015

XML은 다양한 언어들을 이용하여 문서의 구조나 형식을 논리적으로 정의하고 있지만, 각각의 언어들은 서로 다른 구조와 문법을 채택하고 있어 실세계의 데이터의 의미나 데이터 사이의 관계를 표현하는 개념적 모델의 도구로 사용하기 어렵다. 본 논문은 XML 스키마 문서를 개념적으로 모델링할 수 있는 기법인 CMXML을 제안한다. CMXML은 XML을 형식으로(formal)으로 정의하고, 형식에 의해 각 요소들을 그래픽으로 표현하는 방법을 제시하고, 본 모델의 타당성을 보여주기 위해 CMXML으로 모델링한 개념적 모델을 논리적 모델인 XML 스키마로 매핑하는 기법을 제시한다.

• 한국정보과학회논문지:소프트웨어및응용
• /
• 제26권10호
• /
• pp.1167-1167
• /
• 1999

Although spatial databases support an efficient spatial management on objects in the real world, they have a characteristic that process only spatial information valid at current time, So in case of change in the spatial domain, it is very hard to support an efficient historical management for time-varying spatial information because they delete an old value and then replace with new value that is valid at current time. To solve these problems, there are rapidly increasing of interest for spatiotemporal databases, which serve historical functions for spatial information as well as spatial management functions for an object. However most of them presented in an abstract time-varying spatial phenomenon, but have not presented a concrete policy in spatiotemporal databases. In this paper, we propose a spatiotemporal data model that supports bitemporal time concepts in three dimensional architecture. In the proposed model, not only data types and their operation for object of spatiotemporal databases have been classified, but also mathematical expressions using formal semantics for them have been given. Then, the data structures and their operations based on relational database model as well as object-oriented database model are presented.

• 인터넷정보학회논문지
• /
• 제10권4호
• /
• pp.139-149
• /
• 2009

본 논문에서는 데이터 보호 규정에 관련된 요구사항들이나 규칙들이 소프트웨어에 잘 표현되어 있는지를 검증하기 위하여 도메인 고유의 언어인 DSML(Domain Specific Modeling Language)을 사용해 정책을 정규화 혹은 계산적 표현에 관련된 솔루션을 제시하고 있다. 모든 정책들은 공식적으로 프롤로그( Prolog) 언어 기반으로 표현된 후 DSML에 통합되며 정책검증은 요구사항 준수가 언제 평가되어야 하는지에 따라 정적 정책검증과 동적 정책검증의 두가지 정책이 존재한다.

• 한국정보통신학회:학술대회논문집
• /
• 한국해양정보통신학회 2005년도 춘계종합학술대회
• /
• pp.193-195
• /
• 2005

현재 시맨틱 웹에 대한 많은 연구가 진행 중이며 그 중에서 시맨틱 웹의 내용을 표현하는 언어분야는 가장 활발한 연구분야이다. 시맨틱 웹의 필수요소인 온톨로지를 표현하기 위해 스키마와 구문구조 등을 정의한 언어인 온톨로지 언어는 DAML+01L, OWL 등이 있으며, OWL은 XML, RDF, RDF-S 보다 더 많은 의미 표현 수단을 제공하고 있다. 우리는 시맨틱 웹 환경에서 쉽게 온톨로지를 구축할 수 있는 온톨로지 에디터 OntoBuilder를 개발하고 있는데, 이 논문에서는 OntoBuiler의 구성요소인 OWL 처리기의 구현에 대해서 살펴본다.

• 한국환경보건학회지
• /
• 제49권4호
• /
• pp.201-209
• /
• 2023

Background: To describe domain knowledge consistently and precisely, the establishment of a controlled vocabulary, a so-called ontology, is essential. Internationally, the plant ontology (PO) in the ecology field has been developed for the anatomy and developmental stages of plants in English, Spanish, and Japanese, but there is no Korean version of the PO due to a lack of knowledge on standardization for Korean plants. Objectives: We aimed to establish a Korean plant ontology with core PO architectures. Methods: The latest ontology web language (OWL)-formatted raw version of the PO was collected from the PO consortium site. A formal workflow process and OWL file-handing tools for efficient Korean content development were conducted and executed. Results: The macro- and micro-perspective frameworks of the PO were presented by analyzing the upper model and the internal OWL-leveled physical structure, respectively. We developed and validated Korean knowledge content for a total of 1,957 classes included in the PO and transplanted them into an ontology modeling system. Conclusions: A Korean plant ontology was established for international harmonization through improved compatibility and data exchangeability with multilingual environmental and ecological knowledge bases.

• 한국정보과학회논문지:데이타베이스
• /
• 제33권1호
• /
• pp.102-116
• /
• 2006

전자 카탈로그는 시장 참여자들이 제공하는 상품과 서비스에 대한 정보를 가지고 있으며 결과적으로 전자 상거래의 근간을 형성하고 있다. 카탈로그의 관리는 여러 가지 요소에 의해 복잡해지는데, 상품 분류는 이들의 핵심 요소이다. 분류 계층 구조는 지출 분석, 관세 규제의 실행, 상품의 식별 등을 위해 활용된다. 이와 같이 상품 분류 체계는 상품 데이타베이스의 설계에 토대가 되고, 상품 정보의 활용 및 관리의 거의 모든 면에서 중심적 역할을 한다. 그러나, 데이타 모형, 연산, 의미론 등의 측면에서 상품 분류에 대한 형식적인 연구는 거의 없었다. 분류에 관한 논리적 모형의 부재는 분류에 대해서뿐만 아니라 일반적인 상품 데이타베이스에 대해서도 비일관성 및 비융통성 등 많은 문제를 야기시킨다. 상품 정보의 효율적이고 편리한 활용을 위해 각 사용자의 관점에 따른 다양한 뷰를 제공할 필요가 있다. 새로운 상품이 출현하고 기존 상품이 사라짐에 따라 분류체계도 이에 따라 일관성을 유지하면서 변경 및 진화해야 한다. 또한 이질적인 다른 분류체계와 매핑되거나 병합될 필요가 있으며, 이 때 정보의 손실을 줄이는 것이 중요하다. 이들 요구사항에 대해, 분류체계는 제한된 시간 및 비용 내에서 수용할 수 있도록 충분히 동적이어야 한다. 그러나, UNSPSC 및 eClass와 같이 현재 널리 사용중인 분류체계는 이러한 동적인 특성에 대한 요구사항을 만족시키지 못한다. 이 논문에서 우리는 상품 분류 체계의 의미를 이해하고, 기존의 분류 체계의 이면에 있는 의미를 포획하여 표현할 수 있는 방법으로 의미적 분류 모형을 제시하고자 한다. 상품 정의는 재료, 시간, 장소 등의 속성과 무결성 조건과 같은 많은 의미를 지니고 있다. 상품 데이타베이스의 동적 특성 및 이에 대한 기존코드 기반 분류 체계의 한계점을 분석하고, 제안된 의미적 분류 모형이 상품 데이타베이스의 동적 특성에 관한 요구사항을 만족시킨다는 것을 설명한다. 이 모형은 상품 클래스를 명시적이고 형식적으로 정의할 수 있는 수단을 제공하며, 상품 클래스간의 관계를 그래프로 구성한다. 이 모형은 분류 체계의 매핑을 용이하게 하며, 선행 연구에 의해 제기된 요구 사항 및 문제를 해결한다고 믿는다.