• 정보관리학회지
• /
• 제5권1호
• /
• pp.3-30
• /
• 1988

주제 색인은 정보 검색의 필수 도구이다. 커터의 사전체 목록 규칙의 출간이래 다양 한 주제 색인법이 연구 개발 되었다. 그러나 그 대부분이 영어를 비롯한 서구어를 중심으로 한 이론과 기법으로서 우리나라 도서관에서 그대로 적용하기에는 맞지 않는 경우가 많다. 한국어의 통사론과 어의론에 가장 알맞는 새로운 주제 색인법을 개발하기 위한 선행 연구로 서 국내외의 주요 색인법을 검토 분석하였다.

• 한국정보처리학회논문지
• /
• 제4권5호
• /
• pp.1162-1171
• /
• 1997

본 논문에서는 검색 빈도가 높고 검색 형태가 다변적인 멀티미디어 응용 분야에서 간단한 질의어만을 사용해 멀티미디어 데이타가 포함된 질의 검색 결과를 멀티미디어 답게 시공간상에 배치해 프레젠테이션해주는 멀티미디어 검색 질의어(SQL/MR:SQL/Mulitimedia Retrival)를 제안하였다. 특히, SQL/MR의 주요 구문과 질의에, 그리고 SQL/MR이 사용하는 주요 태그의 처리 방법을 제시하였다. SQL/MR은 SQL의 SELECT절만을 확정한 것으로 사용자가 매번 질의마다 저작 도구를 사용해야 하는 번거로움을 제거해 준다. SQL/MR은 모노미디어 데이타 타입(또는 클라스) 형태로 멀티미디어 데이타를 분리 저장하는 대부분의 현존 관계 DBMS, 객체지향 DBMS, 객관관계 DBMS에서 모두 활용될 수 있다.

• 한국정보처리학회논문지
• /
• 제4권6호
• /
• pp.1557-1564
• /
• 1997

본 논문에서는 프롤로그 프로그램의 수행을 제어하기 위한 하나의 기능으로서 수항목(count term)이라는 새로운 기능을 제안한다. 그 목적은 사용자와 프로그래머에게 답 또는 증명의 수를 제한하는 기능과 프롤로그 프로그램의 수행을 제어하는 데 편리함을 주기 위한 것이다. 따라서 그를 위한 구문과 작동적 의미를 제시하였으며 WAM(Warren Abstract Machine)에서 백트랙킹시 관련된 명령어를 수정하여 수항목의 구현 방법을 제시한다.

• 한국컴퓨터정보학회논문지
• /
• 제21권10호
• /
• pp.1-10
• /
• 2016

In this paper, we propose an approach to generate machine readable context annotations for SPARQL Results. According to W3C Recommendations, the retrieved data from RDF or OWL data sources are represented in tabular form, in which each cell's data is described by only type and value. The simple query result form is generally useful, but it is not sufficient to explain the semantics of the data in query results. To explain the meaning of the data, appropriate annotations must be added to the query results. In this paper, we generate the annotations from the basic graph patterns in user's queries. We could also manipulate the original queries to complete the annotations. The generated annotations are represented using the RDFa syntax in our study. The RDFa expressions in HTML are machine-understandable. We believe that our work will improve the trustworthiness of query results and contribute to distribute the data to meet the vision of the Semantic Web.

• 한국정보처리학회논문지
• /
• 제7권8호
• /
• pp.2388-2399
• /
• 2000

본 논문에서는 사용자의 병렬 프로그램 작성을 도와주는 병렬 프로그래밍 환경에 대해 기술한다. 병렬 프로그래밍 환경은 일반적인 컴파일러의 기능의 전위 부분에 해당하는 어휘분석과 구문분석 기능 수행하고 있으며, 프로그램에서 이용하는 변수들의 데이터 흐름 분석과 데이터 종속성 분석, 그리고, 여러 가지 병렬 프로그램 변환 기법들을 수행한다. 특히 프로그래머가 병렬 프로그램을 용이하게 작성할 수 있도록 그래픽 사용자 인터페이스를 제공한다.

• 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.

• 한국언어정보학회지:언어와정보
• /
• 제4권1호
• /
• pp.83-96
• /
• 2000

In thihs paper, I investigate the different usage of a reflexive-anaphor or logophor. Some African languages which have a morphologically independent set of logophors give a clue to this dichotomy. English which does not have morphologically independent logophors employs a reflexive-self form to be used as a logophor. However, the logophors in English occur in restricted environments. On the other hand, Korean is freer than English in that it allows areflexive to be interchanged with a logophor. With this assumption, I deal with the binding in Optimality Theory. I set up the constraints-MAXlog,ana,MINlog,ana, and Ølog,ana. With these constraints, the binding in various languages are explained through constraint ranking. In addition, the long-distance binding in English is dealt with properly of we assume the dichotomy and constraint-ranking in Optimality Theory. Furthermore, this gives an explanation to reflexive and pronoun alternation in English. Also, I borrow from phonology the idea of Obligatory Contour Principle to explain the similar phenomenon in syntax. I compare English with Korean in dealing with the possessive reflexive with the recourse to The Emergence of the Unmarked Pronoun Bresnan 1997. Fnmally, the reconstruction phenomenon is accounted for with the same device.

• 한국언어정보학회지:언어와정보
• /
• 제8권2호
• /
• pp.131-147
• /
• 2004

the two Korean causal conjunctive suffixes, -nula(ko) and -nun palamey, based on corpus linguistic analysis. Many of the linguistic accounts available, both in pedagogical reference and in the literature on linguistics, provide incomplete analyses of these suffixes, based on fabricated linguistic data. Using naturally occurring, real linguistic data, this paper examines the syntactic and semantic structures of the two causal suffixes through a consideration of three areas of corpus linguistic analysis: token frequencies, collocations, and semantic prosody. An analysis based on concordance data reveals that the two causal connectives, -nula(ko) and -nun palamey, have more differences than similarities in terms of syntactic and semantic constraints. The idiosyncratic structures of the two suffixes are discussed in terms of same subject condition, verb selection, same agent condition, synchronicity condition, and negative semantic prosody.

• 한국언어정보학회:학술대회논문집
• /
• 한국언어정보학회 2001년도 학술대회 논문집
• /
• pp.77-94
• /
• 2001

본 논문은 영어에 있어 부사의 분포를 통사-의미론적으로 설명함을 목적으로 한다. 영어부사의 분포는 표면상 문장 내에서 매우 자유로운 듯하여 이 분포의 자유가 부사의 이동에 기인한다는 주장도 나왔으나, 본고에서 저자는 의미상 그리고 하위범주화상 부사의 이동은 있을 수 없음을 주장하고, 나아가 부사의 분포는 사실상 자유롭지 않고 매우 제한되어 있다는 언어학자들(Jackendoff(1972), Travis(1988), Cinque(1999))의 자료를 제시했다. 부사는 문장 내의 위치에 제한을 받을 뿐만이 아니라 부사들 사이의 상대적 순서에도 제한을 받는데 본고에서는 여러 학자들의 분석 중 가장 최근의 분석인 Cinque(1999)의 이론을 중점적으로 고찰하고 그 문제점을 지적했다. Cinque의 부사분포를 설명하려는 이론은 지나치게 복잡화된 기능범주투사를 필수요건으로 하는데 이는 통사적으로 너무 많은 값을 치루기에 비경제적이다. 저자는 부사의 의미유형에 따라 영향을 받는 부사의 상대적 순서 효과는 통사적 해결이 아니라 의미유형들의 작용역 관계에 기반한 의미적 해결을 하여야 하며, 부사의 문장 내 분포는 부사를 크게 세 가지 의미유형으로 나누고 이 각각의 의미유형이 최근 Chomsky에서 논의되고 있는 세 가지 국면에 사상된다고 가정하면 포착될 수 있다고 주장하였다.

• 한국언어정보학회:학술대회논문집
• /
• 한국언어정보학회 2001년도 학술대회 논문집
• /
• pp.227-229
• /
• 2001

This paper presents the observation that negative alternative questions across languages can be formed only when negation has not been inverted (Han (1999)), and proposes to derive this fact from the effects of Focus on negation and the LF-syntax of yn-questions. Although the questions in (1) have the same components (they both contain the proposition expressed by John drank coffee or tea plus negation), they do not have the same interpretation. (1b) has either a yn-question reading or an alternative question (alt-) reading. Under, the yn-reading, the possible answers are Yes, John drank coffee or tea and No, John did not drink coeffer or tea, John didn’t drink one of them, and the possible answers are John did not drink coffee and John did not drink tea (see Karttunen (1977), Larson (1985), Higginbotham (1993) on the semantics of alt-questions). (la), on the other hand, has only the yn-reading.