• Journal of KIISE
• /
• v.41 no.10
• /
• pp.762-773
• /
• 2014

As the web of data is increasingly producing large RDFS datasets, it becomes essential in building scalable reasoning engines over large triples. There have been many researches used expensive distributed framework, such as Hadoop, to reason over large RDFS triples. However, in many cases we are required to handle millions of triples. In such cases, it is not necessary to deploy expensive distributed systems because logic program based reasoners in a single machine can produce similar reasoning performances with that of distributed reasoner using Hadoop. In this paper, we propose a scalable RDFS reasoner using logical programming methods in a single machine and compare our empirical results with that of distributed systems. We show that our logic programming based reasoner using a single machine performs as similar as expensive distributed reasoner does up to 200 million RDFS triples. In addition, we designed a meta data structure by decomposing the ontology triples into separate sectors. Instead of loading all the triples into a single model, we selected an appropriate subset of the triples for each ontology reasoning rule. Unification makes it easy to handle conjunctive queries for RDFS schema reasoning, therefore, we have designed and implemented RDFS axioms using logic programming unifications and efficient conjunctive query handling mechanisms. The throughputs of our approach reached to 166K Triples/sec over LUBM1500 with 200 million triples. It is comparable to that of WebPIE, distributed reasoner using Hadoop and Map Reduce, which performs 185K Triples/sec. We show that it is unnecessary to use the distributed system up to 200 million triples and the performance of logic programming based reasoner in a single machine becomes comparable with that of expensive distributed reasoner which employs Hadoop framework.

• Journal of The Korean Association For Science Education
• /
• v.17 no.3
• /
• pp.323-332
• /
• 1997

In order to use analog more systematically in science class, an instructional model was designed on the basis of analogical reasoning processes (encoding, inference, mapping, application, and response) in the Sternberg's component process theory. The model has five phases (introducing target context, cue retrieval of analog context, mapping similarity and drawing target concept, application, and elaboration), and the instructional effects of using the model upon students' comprehension of science concepts and motivation level of learning were investigated. The treatment and control groups (1 class each) were selected from 8th-grade classes and taught about chemical change and chemical reaction for the period of 10 class hours. The treatment group was taught with the materials based on the model, while the control group was taught in traditional instruction without using analog. Before the instructions, modified versions of the Patterns of Adaptive Learning Survey and the Group Assessment of Logical Thinking were administered, and their scores were used as covariates for students' conceptions and motivational level of learning, respectively. Analogical reasoning ability test was also administered, and its score was used as a blocking variable. After the instructions, students' conceptions were measured by a researcher-made science conception test, and their motivational level of learning was measured by a modified version of the Instructional Materials Motivation Scale. The results indicated that the adjusted mean score of the conception test for the treatment group was significantly higher than that of the control group at .01 level of significance. No significant interaction between the instruction and the analogical reasoning ability was found. Although the motivational level of learning for the treatment group was higher than that for the control group, the difference was found to be statistically insignificant. Educational implications are discussed.

• The Journal of Society for e-Business Studies
• /
• v.1 no.2
• /
• pp.161-173
• /
• 1996

It Is a typical scenario in concurrent engineering/design that different perspectives of each team members participating In the project exist, and those perspectives lead to conflicting decisions. The model 'resolution network' proposed in this work provides system-mediated resolution for all related team engineers to consider to optimize the manufacture in general. This paper focuses on development of the general architecture of the model and a search engine called Mediator to determine a resolution network from a given constraint network. The Mediator manages the constraint network, determines the most optimistic resolution called optimal point in terms of satisfying overall production goal , and use the optimal point to mediate controversial issues among teams. The biggest merit of our model is that it provides teams with resolution with logical and rational reasoning.

• Journal of The Korean Association For Science Education
• /
• v.12 no.3
• /
• pp.91-107
• /
• 1992

The Purpose of this study was to present the procedures and methods of ordering theory,and to search for a learning hierarchy among science process skills in each Piagetian cognitive reasoning level. One of the purpose of this is not to determine the clear and exact hierarchy but rather to demonstrate how ordering theoretic methods and procedures can be used to determine the hierarchy of logical relationships among a set of test items or the testing of a hypothesized hierarchy. Ordering theory was used to analyze five science process skills collected from 509 high school students. Ordering Theory has as its primary intent either the testing of hypothesized hierarchies among items at the determination of hierchies among items. Hierarchical relationships were identified within five science process skills. The results will be helpful in giving useful inform at ions to classroom teachers and science curriculum developer.

• Research in Mathematical Education
• /
• v.14 no.3
• /
• pp.219-231
• /
• 2010

Mathematically, a proof is to create a convincing argument through logical reasoning towards a given proposition or a given statement. Mathematics educators have been working diligently to create environments that will assist students to perform proofs. One of such environments is the use of dynamic-geometry-software in the classroom. This paper reports on a case study and intends to probe into students' own thinking, patterns they used in completing certain tasks, and the extent to which they have utilized technology. Their tasks were to explore the shape-to-shape, shape-to-part, and part-to-part interrelationships of geometric objects when dealing with certain geometric problem-solving situations utilizing dissection-motion-operation (DMO).

• Journal of the Korean Operations Research and Management Science Society
• /
• v.32 no.2
• /
• pp.123-140
• /
• 2007

This study focuses on establishing theoretically-reasonable framework of evaluation areas and items for the informatization program and analyzing the weights for each area and item by means of the AHP. To obtain the goal of this research, firstly, based on broadly reviewing previous literature and logical reasoning, the evaluation criteria were Identified and conceptualized, which were 3 evaluation phases, 5 evaluation areas, and 22 evaluation items. Secondly, The data used for calculating the weight values for the evaluation criteria were collected from 48 academic and practical experts in the field of the informatization program promotion using internet survey. Thirdly, the relative weights among evaluation phases, evaluation areas, and its items were derived by AHP analysis. The findings of this study are thought not only to be useful as a practical guideline in performing evaluating the informatization program but also to provide significant basis for constructing the theoretical framework of evaluating method and management of the informatization program.

• Proceedings of the Korean Operations and Management Science Society Conference
• /
• 2007.11a
• /
• pp.267-272
• /
• 2007

One of the roles of the Semantic Web services is to execute dynamic intra-organizational services including the integration and interoperation of business processes. Since different organizations design their processes differently, the retrieval of similar semantic business processes is necessary in order to support inter-organizational collaborations. Most approaches for finding services that have certain features and support certain business processes have relied on some type of logical reasoning and exact matching. This paper presents our approach of using imprecise matching fur expanding results from an exact matching engine to query the OWL MIT Process Handbook. In order to use the MIT Process Handbook for process retrieval experiments, we had to export it into an OWL-based format. We model the Process Handbook meta-model in OWL and export the processes in the Handbook as instances of the meta-model. Next, we need to find a sizable number of queries and their corresponding correct answers in the Process Handbook. We devise diverse similarity algorithms based on values of process attributes and structures of business processes. We perform retrieval experiments to compare the performance of the devised similarity algorithms.

• Proceedings of the Korea Multimedia Society Conference
• /
• 2003.11a
• /
• pp.342-345
• /
• 2003

자동운전과 안전운전 구현을 위한 첨단 차량 및 도로 시스템(AVHS : Advanced Vehicle & Highway Systems)의 한 분야인 충돌 방지 시스템을 완성하기 위해서는 차량간의 상대 거리, 차량의 속도, 차선의 굴곡 정도, 경사도등을 사용해서 종합적으로 상황 판단을 내려야 한다. 본 논문에서는 이들 요소들중에서 차선의 굴곡도 판단을 근사 추론을 이용하여 실험하였다. 근사추론을 이용한 것은 차선의 굴곡도를 계산형으로 파악할 때의 단점인 계산 시간 오버헤드(overhead), 또 그에 따른 실시간 처리의 어려움, 고가의 장비필요성 등을 극복하기 위해서이며, 실험은 Fuzzy Logical Inference 기법을 사용하였다. 본 연구에서는 실제 도로상에서의 계산된 굴곡도와 실험된 시스템 결과와의 유사성과 그 시스템의 사용 가용성(feasibility)을 검정하였다.

• Management Science and Financial Engineering
• /
• v.7 no.1
• /
• pp.27-39
• /
• 2001

The multi-projective model considers attributes and the relationships among attributes called projections. The critical features of the multi-projective model are the way of relating attributes in the description of the system, the way of reasoning incomplete projections, and the determination of connected patterns between projection. In order to get a full picture of the system, we build a set of projections. The multi-projective model can be thought of as projections of a multi-dimensional reality onto simplified “model space”. The multi-projective database modeling approach used in this paper unified the ideas and terminology of various database models. Most importantly, the multi-projective modeling is presented as a tool of database design in the relational and other database models.

• Korean Journal of Computational Design and Engineering
• /
• v.5 no.4
• /
• pp.359-372
• /
• 2000

Current CAD systems are good enough to be used as a tool to manipulate three-dimensional shapes. This is a very important capability to be owned by a design tool because a major portion of designers'activities is spent on the shape manipulation in the design detailing process. However, the whole design process involves a lot more than the, shape manipulation. Currently, these remaining tasks, mostly logical reasoning process for the function realization together with structure decomposition in the top-down manner, are processed in the designer's brain. To support the top-down functional design process of a mechanical product, a system integrating the functional, structural and geometrical aspects of a product design in a unified environment is presented. Using this system, a designer can perform function decomposition, structure decomposition, and geometry detailing, and function verification activities in parallel and the whole design process it modeled resultantly. Once the whole design process is modeled, any redesign task can be automatically performed with the verification of the desired functions.