• 한국산학기술학회논문지
• /
• 제9권4호
• /
• pp.958-963
• /
• 2008

한국어는 용언이 의미적 제약을 통해 문장을 지배하며 대부분의 한국어 문장은 주절과 내포문을 가지는 복문으로 구성되어 있다. 따라서 한국어에 맞는 구문 문법이나 구문 제약을 기술하는 것은 매우 어렵고 한국어를 파싱 하면 다양한 구문 모호성이 발생한다. 본 논문에서는 구문 제약으로 문형(sentence patterns)을 사용하는 CFG기반의 문법을 기술하여 구문 모호성을 해결하는 방법을 제안한다. 이를 위해 내포문을 포함하는 복문도 문형으로 분류하였으며 44개의 문형을 사용한다. 그러나 한국어 특성상 문형 정보만으로는 모든 구문 모호성을 해결할 수가 없기 때문에 문형에 의미 제약(semantic constraint)을 가한 의미 지표(semantic marker)를 사용하여 파싱을 수행한다. 의미 지표는 보조사의 처리나 공동격 조사에 의해 발생되는 구문 모호성을 해결하는데 이용될 수 있다.

• 한국경영과학회지
• /
• 제33권3호
• /
• pp.29-42
• /
• 2008

Semantic Web society initially focused only on data but has gradually moved toward knowledge. Recently rule beyond ontology has emerged as a key element of the Semantic Web. All of these activities are obviously aiming at making data and knowledge on the Web sharable and reusable between various entities around the world. If one of ultimate visions of the Semantic Web is to increase human's decision making quality assisted by machines, there is a missing but important part to be shared and reused. It is knowledge about constraints on data and concepts represented by ontology which should be emphasized more. In this paper, we propose Semantic Web Constraint Language (SWCL) based on OWL and show how effective SWCL can be in representing and solving an internet shopper's decision making problem by an implementation of a shopping agent in the Semantic Web environment.

• 지능정보연구
• /
• 제12권4호
• /
• pp.73-90
• /
• 2006

인터넷을 통한 온라인 구매에 소비자들은 현 탐색엔진 및 웹 구조의 한계와 의사결정 도구의 부족으로 많은 어려움을 겪는다. 이 논문은 인터넷 쇼핑의 상황에서 소비자가 결정해야 하는 의사결정 문제를 상정하고 지능형 에이전트 구축을 통하여 그 의사결정 과정을 돕는 의사결정의 틀을 제시한다. 이 에이전트는 의미 웹 환경에서 한정도메인 제약식 프로그래밍을 추론엔진으로 삼아 의사결정을 돕는다. 이를 통해 의미웹과 제약식 프로그래밍의 두 기술의 결합이 인터넷 쇼핑 시 소비자가 겪게 되는 어려움을 어떻게 해결하는지를 제시한다.

• 한국언어정보학회지:언어와정보
• /
• 제2권1호
• /
• pp.116-156
• /
• 1998

This paper is an HPSG approach to agreement phenomena involving the Korean honorific expressions. it is shown that the theoretical devices developed by the constraint-based theory of HPSG can be fruitfully used to capture the interactions between syntactic constraints and semantic of pragmatic factors in Korean honorific agreement. The HPSG's semantic feature 'referential index' plays a key rele in discribing the multiple interaction. The constraint-based theory of agreement proves successful in accounting for the phenomenon that may be called 'inconsistent' honorific agreement as well as 'consistent' regular honorific usages. However, this paper acknowledges its limit. Recognizing an important distinction between basic and 'coercive' honorific expressions, it is argued that a systactic-semantic-pragmatic approach such as the present one can only be applied to basic honorific agreement. Being sociolinguistic in nature, coercive honorific agreement is perhaps not amenable to formal linguistic investigation.

• 한국전자거래학회:학술대회논문집
• /
• 한국전자거래학회 2004년도 e-Biz World Conference
• /
• pp.318-326
• /
• 2004

The ebXML (Electronic Business using eXtensible Markup Language) Specification Schema is to provide nominal set of specification elements necessary to specify a collaboration between business partners based on XML. As a part of ebXML Specification Schema, BPSS (Business Process Specification Schema) has been provided to support the direct specification of the set of elements required to configure a runtime system in order to execute a set of ebXML business transactions. The BPSS is available in two stand-alone representations, a UML version and an XML version. Due to the limitations of UML notations and XML syntax, however, current ebXML BPSS specification is insufficient to specify formal semantic constraints of modeling elements completely. In this study, we propose a classification schema for the BPSS semantic constraints and describe how to represent those semantic constraints formally using OCL (Object Constraint Language). As a way to verify a Business Process Specification (BPS) with the formal semantic constraint modeling, we suggest a rule-based approach to represent the formal constraints and to use the rule-based constraints specification to verify BPSs in a CLIPS prototype implementation.

• 한국경영과학회지
• /
• 제39권3호
• /
• pp.7-22
• /
• 2014

By the publications of RDF and OWL, the Semantic Web is confirmed as a technology through which information in the Internet can be processed by machines. The focus of the Semantic Web study after then has moved to how to provide more useful information to users for their decision making beyond simple use of the structured data in ontologies. SWRL that makes logical inference possible by rules, and SWCL that formulates constraints under the Semantic Web environment are some of many efforts toward the achievement of that goal. Constraint represents a connection or a relationship between individual data in ontology. Based on SWCL, this paper tries to extend the language by adding one more type of constraint, implication constaint, in its repertoire. When users use binary variables to represent logical relationships in mathematical models, it requires and knowledge on the solver to solve the models. The use of implication constraint ease this difficulty. Its need, definition and relevant technical description is presented by the use of the optimal common attribute selection problem in product design.

• 정보처리학회논문지B
• /
• 제19B권1호
• /
• pp.63-76
• /
• 2012

본 논문에서는 통계기반의 복합명사 분해 방법과 어휘의미망(U-WIN)과 사전 뜻풀이에서 추출한 의미관계 정보를 이용하는 한국어 복합명사 의미 태깅 시스템을 제안한다. 본 시스템은 크게 복합명사 분해, 의미제약, 그리고 의미 태깅의 세 가지 부분으로 이루어진다. 분해과정은 세종말뭉치에서 추출한 위치별명사 빈도를 사용하여 최적의 구성 명사 분해 후보를 선정하고 의미제약을 위한 구성 명사 재분해와 외래어 복원의 과정을 수행한다. 의미범위 제약과정은 유사도 비교의 계산량을 줄이고 정확도를 높이기 위해 원어 정보와 Naive Bayes Classifier를 이용해 가능한 경우 구성 명사의 의미를 선 제약한다. 의미 분석 및 태깅 과정에서는 bigram 구성 명사의 각 의미 유사도를 구하고 하나의 체인을 만들어가며 태깅을 수행한다. 본 시스템의 성능 평가를 위해 표준국어대사전에서 추출한 3음절 이상의 40,717개의 복합명사를 대상으로 의미 태깅된 테스트 셋을 구축하였다. 이를 이용한 실험에서 99.26%의 분해 정확도를 보였으며, 95.38%의 의미 분석 정확도를 보였다.

• Asia pacific journal of information systems
• /
• 제14권1호
• /
• pp.79-100
• /
• 2004

As a part of ebXML(Electronic Business using eXtensible Markup Language) framework, BPSS(Business Process Specification Schema) has been provided to support the direct specification of the set of elements required to configure a runtime system in order to execute a set of ebXML business transactions. The BPS,' is available in two stand-alone representations, a UML version and an XML version. Due to the limitations of UML notations and XML syntax, however, current ebXML BPSS specification fails to specify formal semantic constraints completely. In this study, we propose a constraint classification scheme for the BPSS specification and describe how to formally represent those semantic constraints using OCL(Object Constraint Language). As a way to validate p Business Process Specification(BPS) with the formal semantic constraints, we suggest a rule-based approach to represent the formal constraints and demonstrate its detailed mechanism for applying the rule-based constraints to the BPS with a prototype implementation.

• 인지과학
• /
• 제10권1호
• /
• pp.45-55
• /
• 1999

본 논문은 사건/사타에 대한 공간적 인지가 수행되는 기본적인 방식을 규명하기 위해서는 그 사건/사태에 참여하는 참가자의 위치가 가장 주요한 요인임을 주장하고, 자연언어는 공간적 인지를 표현하기 위해 비교적 "단순한" 의미유형을 사용하고 있으며, 공간표현을 해석할 때 사건/사태 전체의 위치를 지정하는 것으로 해석하지 않고, 그 참가자로 표현된 논항(arguments)의 위치를 지정하는 것으로 해석한다는 것이다. 본 논문은 장소표현이 타동사의 두 논항의 위치를 지정하는 방식을 네 가지 유형의 노항지향성(argument orientations)으로 분류하여 기술하였고, 논항지향성을 통하여 영어를 포함한 자연언어의 장소표현이 관계(relations)의 집합에서 관계의 집합으로 사상하는 교차함수(intersecting functioins)로 해석되어야 한다는 의미해석상의 제약이 있음을 밝히고 있다.

• 한국콘텐츠학회논문지
• /
• 제8권8호
• /
• pp.274-284
• /
• 2008

XBRL은 재무 보고를 비롯한 다양한 비즈니스 보고에서 활용되고 있는 XML 기반 언어로서, 응용 분야의 개념들과 이들간의 관계를 정의하여 유연하게 활용할 수 있다. 이러한 비즈니스 보고 프로세스에서, 보고 내용의 일치성과 완전성을 문법적이고 의미적인 수준에서 검증하는 것은 XBRL 문서를 제출하는 측이나, 제출받아 이용하는 측 모두에게 매우 중요하다. 이와 같은 의미제약을 응용 프로그램 코드로 직접 표현하고 검증하는 것이 기본적인 방법이지만, 이것은 의미제약의 표현과 변경, 그리고 공유를 어렵게 한다. XML 문서의 의미제약을 일반적으로 표현할 수 있는 XSLT, Schematron 등의 언어는 XML을 이용한 의미제약의 명시적인 표현과 공유가 가능하나, XBRL 의미제약을 효율적이고 효과적으로 표현하기 어렵다. 이 논문에서는 현재 활발히 논의가 진행되고 있는 XBRL Formula의 의미제약 표현 방법에 대하여 검토하고, 사례 분석을 통해서 표현 능력과 문제점을 토의하고자 한다. 구체적인 분석 사례로서는 재무보고 분야의 재무제표를 이용한다.