• Journal of KIISE:Software and Applications
• /
• v.36 no.5
• /
• pp.411-419
• /
• 2009

In order to derive hidden Information (concept subsumption, concept satisfiability and realization) of OWL ontologies, a number of OWL reasoners have been introduced. Most of the reasoners were implemented to be based on tableau algorithm. However this approach has certain limitation. This paper presents architecture for Medusa. The Medusa is an extended DL-reasoner for SWRL(Semantic Web Rule Language) reasoning under well-founded semantics with ontologies specified in Description Logic. Description logic based ontology reasoners theoretically explore knowledge representation and its reasoning in concept languages. However these logics are not equipped with rule-based reasoning mechanisms for assertional knowledge base; specifically, rule and facts in logic programming, or interaction of rules and facts with terminology. In order to deal with the enriched reasoning, The Medusa provides combining DL-knowledge base and rule based reasoner. The described prototype uses $Prot{\acute{e}}g{\acute{e}}$ API[1] for controlling communication with the ontology reasoner.

• Journal of the Korean Chemical Society
• /
• v.59 no.5
• /
• pp.445-453
• /
• 2015

In 2005, descriptive assessment was introduced to increase students’ higher mental ability like problem-solving ability and creativity. Every year the ratio of descriptive assessment increases and it is regarded as an alternative evaluation to a multiple-choice item which measures simplicity knowledge. Externally the descriptive assessment took a root in school, but we can’t say definitely that it meets its original goal. In this paper, science descriptive assessment items of 5 middle schools in Gyeonggi-do were analysed; examiners was interviewed about how well they understood the characteristic of the assessment items. According to the analysis, characteristic of the items are ① unequal distribution of unit, ② difference of item’s type by unit, and ③ disappearance of measuring higher mental ability. It is considered that there are several factors of these characteristic - the lack of teachers’ ability to make assessment item; understanding of assessment instrument. These factors can be explained by the lack of assessment expertise. So the society’s effort is needed to raise teacher’s ability for the descriptive assessment.

• Journal of the Korean School Mathematics Society
• /
• v.16 no.4
• /
• pp.899-925
• /
• 2013

The purpose of this study was to examine how constructive-response questions in regular test was in aligned with the nature and goals of 2007 Curriculum Amendment. For this purpose, data were collected and analysed by using the framework for mathematical task and the cognitive demand of tasks suggested by Smith & Stein(1998) and mathematical proficiency suggested by National Research Council(2001). In particular, it aimed to reveal the overall picture of the level of cognitive demand and the proportion of mathematical proficiency of constructed-response items created by secondary mathematics teachers. The findings from the analysis showed that 70 percent of the constructed-response items were at low-level and the rest at high-level in terms of cognitive demand. Also, the constructed-response assessment focused on conputing (89%), understanding(45%), applying(30%) and least reasoning(17%). Most of the constructed-response items included computing and were algorithmic.

• Korean Journal of Logic
• /
• v.22 no.2
• /
• pp.309-332
• /
• 2019

In Kang(2017), Jinho Kang persuasively criticized the attempt of Peter Hanks using his concept of cancelled predication to solve the Frege-Geach problem. According to Kang, Hanks had successfully shown the incoherence of Scott Soames's concept of neutral predication, but if it is true, then Hanks's concept of cancelled predication also falls into the same incoherence. I agree with Kang that Hanks faces the same incoherence, and I think that Hank's answers are unconvincing. As I see, however, it is possible for Hanks to overcome Kang's criticism. In this paper, I will reply to Kang's criticism by using conceptual resources in Hanks's own theory. In particular, the idea is that the final predication is compositionally explained by the type it belongs to without having truth-values because cancelled predication itself gives rise to target-shifting toward the type. By doing so, Hanks can successfully solve the Frege-Geach problem even though he let some remarks about cancelled predication unclear and confusing. In addition, it will be revealed that his notation is misleading as well.

• Journal of the korean Society of Automotive Engineers
• /
• v.13 no.4
• /
• pp.35-42
• /
• 1991

본 연구에서는 말단가스의 온도, 압력 그리고 농도가 변화함에 따라 어떻게 자동점화가 일어나는지를 서술하는 chemical kinetic model에 대하여 서술한다. 먼저 자동점화 현상을 화학적으로 modelling하는데 두가지 다른 접근방식에 대해 서술하고 각각 model의 예측치와 실험치와의 상관관계를 알아본 후, 마지막으로 두 model을 비교하여 본다.

• Journal of the korean Society of Automotive Engineers
• /
• v.10 no.6
• /
• pp.13-24
• /
• 1988

본 해설에서는 공기저항을 감소하기 위하여 위에서 열거한 점들을 고려한 공기역학적인 연구를 행함으로써 항력계수를 0.153까지 낮게한 Ford사의 프루우브IV 개발과 그 결과에 대하여 서술하고자 한다. 우선 일반적인 공기역학적 설계를 위한 연구에 대하여 서술하고 풍동실험을 반복한 결과로 보완된 부분에 대하여 설명한후 최종적인 차에 대한 풍동실험 결과를 서술하는 순서로 한다.

• Journal of Korean Home Economics Education Association
• /
• v.23 no.3
• /
• pp.69-90
• /
• 2011

To develop the descriptive evaluation questionnaire with high validity and reliability on the Clothing and Textiles section of the middle school Technology & Hone Economics textbook, apply it to students and analyze its results. We made out a draft for descriptive evaluation questionnaire that was based upon the concrete establishment of the goal and the range of evaluation. We also made a rubric for scoring as well as sample answer-sheets. Finally, we completed a total of twenty three descriptive evaluation questions and we applied it to sixty five 2nd-grade students in two classes in a middle school. Descriptive evaluation questionnaire exhibited the relative high validity on each question. Moreover, three graders gave the same score on each question of descriptive evaluation, suggesting that descriptive evaluation questionnaire has the high inter-grader reliability and the strong correlation. But, low academic achievement was generally observed in the subjects. They had difficulty in describing their knowledge via their own language and drawing up accurate and detailed answers. They recognized the positive aspects of descriptive evaluation questionnaire, but they felt it uncomfortable due to study-burden and description itself. To overcome these limitations, it is required that students should experience various materials related to subject contents in classes as well as textbooks, concentrate themselves on finding solutions for problems, expand their scope, and practice describe them in advance. Therefore, the additional training for description evaluation questionnaire will be necessary for the more efficient and discriminative questionnaire. Also the questionnaire with high validity and reliability should be developed and the aggressive and voluntary participation of teachers will be needed.

• Annual Conference on Human and Language Technology
• /
• 2017.10a
• /
• pp.122-124
• /
• 2017

대화시스템이 적절한 응답을 제시해 주기 위해서는 사용자의 의도를 분석하는 것은 중요한 일이다. 사용자의 의도는 도메인에 독립적인 화행과 도메인에 종속적인 서술자의 쌍으로 나타낼 수 있다. 사용자 의도를 정확하게 분석하기 위해서는 화행과 서술자를 동시에 분석하고 대화의 문맥을 고려해야 한다. 본 논문에서 제안하는 모델은 합성곱 신경망에서 공유 계층을 이용하여 화행과 서술자간 상호작용이 반영된 발화 임베딩 모델을 학습한다. 그리고 순환 신경망을 통해 대화의 문맥을 반영하여 발화를 분석한다. 실험 결과 제안 모델이 이전 모델들 보다 높은 성능 (F1-measure로 화행에 대해 0.973, 서술자 0.919)을 보였다.

• 한국어정보학회:학술대회논문집
• /
• 2017.10a
• /
• pp.122-124
• /
• 2017

대화시스템이 적절한 응답을 제시해 주기 위해서는 사용자의 의도를 분석하는 것은 중요한 일이다. 사용자의 의도는 도메인에 독립적인 화행과 도메인에 종속적인 서술자의 쌍으로 나타낼 수 있다. 사용자 의도를 정확하게 분석하기 위해서는 화행과 서술자를 동시에 분석하고 대화의 문맥을 고려해야 한다. 본 논문에서 제안하는 모델은 합성곱 신경망에서 공유 계층을 이용하여 화행과 서술자간 상호작용이 반영된 발화 임베딩 모델을 학습한다. 그리고 순환 신경망을 통해 대화의 문맥을 반영하여 발화를 분석한다. 실험 결과 제안 모델이 이전 모델들 보다 높은 성능 (F1-measure로 화행에 대해 0.973, 서술자 0.919)을 보였다.

• Proceedings of the Korean Information Science Society Conference
• /
• 2001.04b
• /
• pp.229-231
• /
• 2001

공간 데이터베이스 시스템에서의 질의처리 과정 중 질의 재작성 과정에 의해 다중 블록 질의가 단일 블록으로 변환되면 공간 서술자와 비공간 서술자가 OR와 AND에 의해 연결되어있는 복잡한 CNF가 생성된다. CNF 내의 공간 서술자는 공간연산의 정제단계의 수행 비용이 비공간 연산에 비해 상당히 많이 들기 때문에 비공간 서술자와는 다른 최적화 기법이 필요하다. 본 논문에서는 공간 서술자가 포함된 복잡한 CNF를 수평적으로 분리하여 질의를 재작성하고 수행순서를 재조정하는 기법을 제안한다. 제안하는 기법은 원시 CNF를 수행 비용이 상대적으로 적은 전처리 단계의 CNF와 이에 비해 수행비용이 많이 드는 후처리 단계의 CNF로 분리하고 질의를 재작성 한 후 비용 모델에 의거해서 실행 트리를 최적화 한다. 본 논문에서 제시하는 기법은 질의 최적화 단계에서 공간연산의 단계별 실행특성을 감안한 효율적인 실행 계획 생성이 가능하다는 장점이 있다.