• 한국IT서비스학회지
• /
• 제7권3호
• /
• pp.271-286
• /
• 2008

The core of the semantic web is ontology, which supports interoperability among semantic web applications and enables developer to reuse and share domain knowledge. It used a variety of fields such as Information Retrieval, E-commerce, Software Engineering, Artificial Intelligence and Bio-informatics. However, the reality is that various errors might be included in conceptual hierarchy when developing ontologies. Therefore, methodologies and supporting tools are essential to help the developer construct suitable ontologies for the given purposes and to detect and analyze errors in order to verify the inconsistency in the ontologies. In this paper we propose a new approach for ontology error detection based on the Concept Lattices of Formal Concept Analysis. By using the tool that we developed in this research, we can extract core elements from the source code of Ontology and then detect some structural errors based on the concept lattices. The results of this research can be helpful for ontology engineers to support error detection and construction of "well-defined" and "good" ontologies.

• 한국콘텐츠학회논문지
• /
• 제10권10호
• /
• pp.479-493
• /
• 2010

지식기반 환경의 변화와 더불어 이-러닝은 매우 보편화된 교수.학습 방법의 하나가 되었으며, 이와 관련한 여러 연구들이 진행되고 있다. 이-러닝의 주요 연구 분야 중의 하나는 학습자의 다양한 상황들을 반영하여 학습자 개개인의 특징에 맞게 학습내용을 지원하기 위한 적응형 학습 시스템에 관한 연구이다. 이와 관련하여 최근에는 적응적 학습내용을 보다 효과적으로 지원하기 위하여 온톨로지를 기반으로 한 적응형 학습 시스템에 대한 연구들이 활발히 진행되고 있다. 본 논문에서는 FCA의 개념 망을 기반으로 온톨로지의 접근 방법과 목적은 같이하지만, 특정 영역의 학습에 적합한 사용자가 보다 자유롭고 쉽게 자신의 적응형 학습 시스템을 구축하여 사용할 수 있는 적응형 학습 시스템을 설계하여 제안한다. 제안된 시스템은 학습영역에 존재하는 학습객체와 학습개념들 사이의 연관 관계에 따라 이들을 개념 망 구조 안에 자동으로 계층화한다. 또한 학습자의 지식수준, 학습선호도, 학습스타일 및 학습개념의 학습상태에 따라 개념 망 학습구조를 적응적으로 구성하여 제시한다.

• 한국수학사학회지
• /
• 제25권1호
• /
• pp.57-70
• /
• 2012

<묵경(墨经)> 에 나타난 초보적인 형식논리와 수학적 개념 등을 살펴보면서 그 속에 내포된 고대 중국인들의 수리사상(數理思想)을 조명해보고, 이를 통해 <묵경(墨经)> 의 수학적 의의와 가치를 알아보고자 한다.

• 한국과학교육학회지
• /
• 제11권1호
• /
• pp.15-24
• /
• 1991

The purpose of this study was to investigate the effectiveness of Learning Cycle approach to change the concept of density. The results of the study were as follows : 1) Students already had various types of preconception related to density before formal learning. These preconceptions mostly differ from scientific concepts. 2) Male students were much better than female ones in the development of scientific concepts before formal learning. These differences were found statistically significant(P<0.01). 3) The higher the cognitive level of the students, the better the development of scientific concepts. 4) In the change of preconceptions to scientific concepts by treatment, there was significant difference between control group and experimental group at the 0.05 level. It was found that Learning Cycle approaches were more effective than traditional approaches in acquiring the concept of density. 5) It was found that there was no significant difference On the retention level of the concept of density between control group and experimental group.

• 한국컴퓨터정보학회논문지
• /
• 제18권10호
• /
• pp.149-161
• /
• 2013

본 논문에서는, 어휘정보를 체계화한 워드넷(WordNet)을 토대로 형식개념분석기법(Formal Concept Analysis)을 사용하여 폭소노미 사용자들의 태그데이터를 분석하여 사용자태그의 분류체계를 구축하기 위한 기법을 제안하였다. 또한, 제안된 기법을 지원하기 위한 도구(TagLighter)의 개발에 대하여 설명하고, 그 유용성을 확인하기 위하여 Bibsonomy.org의 사용자 태그데이터를 대상으로 실시한 실험결과를 기술하였다. TagLighter에 의해 구축된 사용자태그 분류계층구조는 사용자태그에 대한 보다 상세한 이해를 제공하기 때문에, 폭소노미기반 시스템에서의 정보검색과 데이터 분석에 유용하다. 본 논문의 연구결과는, 폭소노미기반의 웹서비스와 소셀네트워크시스템, 시맨틱웹 어플리케이션 등을 대상으로 하는 웹데이터 마이닝분야에 응용할 수 있다.

• 한국산학기술학회논문지
• /
• 제10권8호
• /
• pp.1877-1893
• /
• 2009

폭소노미(folksonomy)는 웹에 존재하는 리소스에 대해 사용자가 자유롭게 선택한 태그(tag)를 붙여서 정보를 체계화하는 새로운 분류 체계이다. 폭소노미 기반의 시스템에서는 사용자들의 협력태깅에 의해 사용자, 태그, 리소스사이의 관계를 나타내는 3항원 소데이터가 생성된다. 이와 같은 폭소노미 데이터는 웹 리소스에 대한 정보체계화를 위한 메타데이터로서 시맨틱 웹과 웹2.0 분야에 활용되고 있다. 본 논문에서는 다종다양한 폭소노미 데이터를 다양한 관점으로 분석하여 유용한 정보를 추출하기 위한 형식개념분석 기반의 폭소노미 데이터 마이닝 기법을 제안하고, 이를 지원하기 위한 분석도구 FMT를 개발하였다. 또한, 제안한 기법과 FMT의 유용성을 검증하기 위하여, 폭소노미 기반 시스템인 del.icio.us의 데이터를 대상으로 실험을 수행하고, 그 결과를 보고한다.

• International Journal of Fuzzy Logic and Intelligent Systems
• /
• 제10권3호
• /
• pp.247-252
• /
• 2010

In this paper, we investigate the relations among formal concepts, attribute oriented concept and object oriented concepts on a complete residuated lattice.

• Journal of Information Processing Systems
• /
• 제13권5호
• /
• pp.1158-1167
• /
• 2017

Many real-world applications information are organized and represented with graph structure which is often used for representing various ubiquitous networks, such as World Wide Web, social networks, and protein-protein interactive networks. In particular, similarity evaluation between graphs is a challenging issue in many fields such as graph searching, pattern discovery, neuroscience, chemical compounds exploration and so forth. There exist some algorithms which are based on vertices or edges properties, are proposed for addressing this issue. However, these algorithms do not take both vertices and edges similarities into account. Towards this end, this paper pioneers a novel approach for similarity evaluation between graphs based on formal concept analysis. The feature of this approach is able to characterize the relationships between nodes and further reveal the similarity between graphs. Therefore, the highlight of our approach is to take vertices and edges into account simultaneously. The proposed algorithm is evaluated using a case study for validating the effectiveness of the proposed approach on detecting and measuring the similarity between graphs.

• 산업경영시스템학회지
• /
• 제46권spc호
• /
• pp.39-53
• /
• 2023

Recently, the market competition has been fiercer due to the acceleration of technological change and the launch of intelligent products. In this situation, technology cooperation activities through networks rather than independent technological innovation activities of a single company or institution are recognized as a crucial strategy to gain competitiveness. Technology cooperation can take various forms depending on the target technology, and researchers have conducted performance analyses of technology cooperation types. However, there have not been data-based quantitative studies on the types and trends of technology cooperation for the target technology. In this paper, we explored the difference between the technology cooperation types by technology and time using the formal concept analysis method and co-patent information. In particular, the proposed methodology has been verified through the case study of electric vehicles, and it is intended to suggest the direction of technological cooperation according to specific technologies and cooperation targets in the future

• 한국디지털건축인테리어학회논문집
• /
• 제9권3호
• /
• pp.85-93
• /
• 2009

In this study, the ex-formal expressions observed in space form of Korean modern architecture are distributed for characteristic analysis based on the period and type. The result of the study is certified by the work analysis and the result is as follows. Initially, due to the limited materials and influence of western brutalism, the works developed during 1960~70 tend to be plastic and contain expressionism. Around 1980's, the works tend to show forms of amusement and popularity. In 1990's the works show significance in deconstructive expression. From after 2000, ecological concept of architecture was introduced and organic expression started increasing Secondly, the ex-formal expressions are found to be in four different types. The organic expression is shown regardless of the period. In modern days, not only the physical properties of materials, but also the ecological concept is combined with the organic expression and is in increase. The plural expression started appearing after the 1980's and the sculptural diversity is enhancing with the addition of decorative factors or modification of geometrical form. The ex-construction and deconstructive expression show significance in some characteristics such as folding, inclination, and geometrical explosion. The free form and nonlinear expression tend to increase dramatically based on the development of structure technology as well as execution and introduce of the digital design technique.