• 제목/요약/키워드: Semantic constraints

검색결과 83건 처리시간 0.025초

온톨로지 Open World 추론과 규칙 Closed World 추론의 통합 (Integration of Ontology Open-World and Rule Closed-World Reasoning)

  • 최정화;박영택
    • 한국정보과학회논문지:소프트웨어및응용
    • /
    • 제37권4호
    • /
    • pp.282-296
    • /
    • 2010
  • OWL 온톨로지는 실세계의 도메인 지식을 모델링 하는데 적합하다. 또한 명백하게 정의된 지식으로부터 암시적인 새로운 지식을 추론할 수 있다. 하지만 이 모델링된 지식은 완전할 수 없다. 사람이 가지고 있는 모든 상식을 모델링 할 수 없기 때문이다. 온톨로지는 완전한 지식표현을 위한 무결성 제약조건과 예외 처리와 같은 비단조 추론을 지원할 방법이 없다. 디폴트 규칙은 온톨로지 안의 특정 클래스에 대한 예외를 처리할 수 있다. 또한 무결성 제약은 온톨로지에 정의된 클래스의 제한조건(restriction)에 인스턴스가 일관되게 할 수 있다. 본 논문에서는 Open World Assumption(OWA) 기반의 온톨로지와 Closed World Assumption(CWA) 기반의 비단조 추론을 지원하는 규칙의 지식베이스를 통합하여 Open World 와 Closed World 추론을 모두 지원하는 실질적인 추론 시스템을 제안한다. 이 시스템은 온톨로지에 정의된 불완전한 개념을 다룰 때 OWA기반이라서 발생하는 문제점을 ASP(Answer Set Programming)를 사용하여 해결방안을 제안한다. ASP는 논리 프로그래밍 언어로써 비단조 추론을 허용하며, 서술 논리 지식베이스에 CWA 기반의 질의를 가능하게 한다. 제안하는 시스템은 Protege에서 제공하는 Pizza 온톨로지를 예로써 비단조 추론이 필요한 경우를 보이고, 잘 알려진 온톨로지들로 성능 평가하여 본 시스템의 정당(sound)하고 완전(complete)함을 증명한다.

객체지향 동적 모델링 기법의 정형화 (Formalization of Object-Oriented Dynamic Modeling Technique)

  • 김진수;김정아;이경환
    • 한국정보처리학회논문지
    • /
    • 제4권4호
    • /
    • pp.1013-1024
    • /
    • 1997
  • 기존에 제안된 객체 모델링 방법론에서 정적 측면의 모델링은 시멘틱 모델 등의 풍부한 시멘틱을 제공하여 모델과 모델링의 많은 부분들을 정형화할 수 있다 그러나 대부분의 방법론들은 동적 모델과 모델링의 정형화가 미흡하다. 또한 기존의 동적 모델은 실시간과 멀티미디어 시스템에서 매우 중요한 특성인 객체간의 상호적용 관계 및 시간적 제약성을 정확하게 표현할 수 없다. 본 논문에서는 이러한 문제들을 해결 하기 위해서 행위를 기반으로한 정형적인 동적 모델과 모델링 절차를 제안한다. 이 모델은 대수구조 개념을 도입하여 객체의 상태 영역을 정의하고, 객체의 행위를 하나의 함수로 정의한다. 또한 이 모델은 시제논리와 정의된 행위함수를 사용하여 객체의 라이프사이클과 행성을 정형화한다. finig rule들을 사용하여 객체간의 행위적 종속성을 표현하므로써 기존의 객체 중심의 동적 모델에서 표현할 수 없는 시스템 관점의 행위도 일부 표현할 수 있다. 제안된 정형화된 모델을 기반으로 문제를 분 석할 수 있는 모델링 도구와 절차를 정형화 한다.

  • PDF

4G network에서 재구성성을 위한 개방형 API (The open API for reconfiguration in 4G network)

  • 홍성준;이용수
    • 한국컴퓨터정보학회논문지
    • /
    • 제10권6호
    • /
    • pp.219-226
    • /
    • 2005
  • 본 논문은 4G 이동 네트워크 환경에서 재구성성을 제공하기 위한 방안으로 PARLAY X기만의 개방형 API에 관하여 서술하였다. 4C이동 네트워크 환경에서는 망 수준에서 문맥인식성, 적응성, 개인화 등과 같은 지능성이 요구된다. 그러나 기존의 PARLAY 기반 서비스 네트워크는 문맥인식성, 적응성, 개인화 등의 지능성에 대한 고려가 부족하다. 그러므로 본 논문의 목적은 4G이동 네트워크 환경에서 문맥인식성, 적응성, 개인화 등이 지원 가능한 개방형 APl를 개발하고자 하는 것이다. 본 논문에서 개방형 API는 사용자 주변에 변화하는 문맥 제약조건 및 사용자 각 개인의 선호도 정보을 파악하여, 변화하는 문맥 제약 조건 및 사용자의 선호도에 따라서 각 개인에게 적합한 적응성 있는 망 서비스를 제공하는 것을 의미하며, 개방형 API를 이용하는 예로 위치와 속도 등의 문맥정보와 사용자의 선호도 정보를 파악한 후에, 사용자에게 망에서 문맥정보 및 사용자 선호도에 따라서 각 개인에게 적합한 차별화된 QoS를 지원하는 경우를 보였다.

  • PDF

SIFT 기반 카피-무브 위조 검출에 대한 타켓 카운터-포렌식 기법 (A Targeted Counter-Forensics Method for SIFT-Based Copy-Move Forgery Detection)

  • ;이경현
    • 정보처리학회논문지:컴퓨터 및 통신 시스템
    • /
    • 제3권5호
    • /
    • pp.163-172
    • /
    • 2014
  • Scale Invariant Feature Transform (SIFT)은 높은 매칭 능력과 회전이나 스케일 조정 시 안정성으로 인해 이미지 특징 매칭을 위해 많은 응용에서 사용되어지고 있으며, 이러한 특성으로 인해 카피-무브 위조 검출을 위한 핵심 알고리즘으로 각광받고 있다. 하지만 SIFT 변환은 이미지 조작의 증거를 감출 수 있는 안티포렌식의 가능성이 높음에도 불구하고 이에 대한 연구는 거의 없으므로, 본 논문에서는 의미론적으로 허용될 수 있는 왜곡을 적용하여 SIFT 기반 카피-무브 위조 검출을 방해하기 위한 타켓 카운터-포렌식 기법을 제안한다. 제안 기법은 공격자가 유사성 매칭 절차를 속일 수 있는 동시에 SIFT 키포인트의 변형을 통한 추적을 방해하여 이미지 조작의 증거를 숨길 수 있는 방안을 제공한다. 또한 제안 기법은 의미론적 제약 하에서 가공된 이미지와 원본 이미지 간의 높은 충실도를 유지하는 특성을 가진다. 한편, 다양한 조건의 테스트 이미지에 대한 실험을 통해 제안 기법의 효율성을 확인하였다.

통합적 제약완화 방식을 통한 한국어 문맥의존 철자오류 교정규칙의 재현율 향상 (Improving Recall for Context-Sensitive Spelling Correction Rules Through Integrated Constraint Loosening Method)

  • 최현수;윤애선;권혁철
    • 정보과학회 컴퓨팅의 실제 논문지
    • /
    • 제21권6호
    • /
    • pp.412-417
    • /
    • 2015
  • 문맥의존 철자오류는 단독으로 사용하면 정확한 어절이지만, 문맥을 고려했을 때 오류인 유형이다. 이를 검색하고 교정하기가 매우 어려우며, 고품질 맞춤법 검사기의 성능을 크게 좌우한다. 한국어 맞춤법 검사기에서의 문맥의존 철자오류는 언어 전문가에 의해 수작업으로 구축된 교정규칙을 사용하는 것이 가장 일반적이다. 이때 규칙을 이용한 방법은 그 특성상 교정 정확도는 매우 높지만, 재현율은 매우 낮다. 본 논문에서는 기존에 연구되었던 교정규칙에서의 선택제약 명사 확장 방식과 조사 제약조건을 완화하는 방법을 통합하여 정확도를 유지하거나 거의 낮추지 않으면서, 재현율을 향상시키는 방법을 제안한다. 또한, 두 방식을 단순하게 통합하지 않고 수의적 부사 삽입과 활용형, 관형형을 고려하여 단계별로 통합하는 방식을 제안하여 평균적으로 정확도를 거의 낮추지 않고 재현율을 약 13% 향상시킨다.

관계형 데이터베이스 뷰 정의로부터 온톨로지 클래스와 계층 관계 생성 기법 (Generating Ontology Classes and Hierarchical Relationships from Relational Database View Definitions)

  • 양준석;김기성;김형주
    • 한국정보과학회논문지:데이타베이스
    • /
    • 제37권6호
    • /
    • pp.333-342
    • /
    • 2010
  • 온톨로지는 시맨틱 웹을 구현하기 위해 중요한 역할을 하지만 이를 구축하는 작업은 많은 시간을 필요로 한다. 그러므로 기존 웹의 데이터 중 많은 양을 차지하고 있는 관계형 데이터베이스로부터 온톨로지를 자동으로 생성하는 연구들이 진행되고 있다. 기존의 연구들은 데이터베이스 스키마와 저장된 데이터 분석을 통한 온톨로지 생성에 대한 연구들이 주를 이룬다. 이러한 연구들은 데이터베이스 스키마 중 테이블과 제약조건만을 분석하여 온톨로지 스키마를 생성하며, 뷰 정의를 고려하지 않는다. 그러나 뷰는 데이터베이스 설계자가 데이터베이스를 사용하는 도메인을 고려하여 정의하므로, 뷰 정의를 고려할 경우 추가적인 클래스와 상하위 관계를 생성할 수 있다. 그리고 이렇게 생성된 클래스는 온툴로지에 대한 질의 처리와 통합에 유용하게 사용될 수 있다. 본 논문에서는 기존의 방법들을 분석하여 클래스와 상하위 관계 생성을 정형화하였으며, 뷰 정의를 분석하여 기존의 방법을 통해 생성된 온톨로지에 추가적인 클래스와 상하위 관계를 생성하는 방법을 제안한다. 또한 제안하는 방법을 이용해 예제 데이터베이스 스키마로부터 생성된 온톨로지의 결과 분석을 수행하고, 이를 통해 뷰 정의로부터 의미 있는 클래스와 상하위 관계가 추가적으로 생성되었음을 보인다.

시간 제약을 포함한 워크플로우 모델링 및 검증 (Modeling and Verification of Workflows with Time Constraints)

  • 정희택;이도헌;김문자;류영철
    • 한국정보처리학회논문지
    • /
    • 제6권2호
    • /
    • pp.261-274
    • /
    • 1999
  • 최근에 자동화된 업무처리 시스템으로써, 워크플로우 시스템에 대한 연구가 활발히 이루어지고 있다. 기존 연구에서는 태스크 자체에 시간적 특성을 고려하지 않고 태스크의 상태 변이 특성만을 고려하였다. 본 연구는 태스크의 최소 처리시간과 마감시간을 고려함으로써, 시간 제약을 포함한 워크플로우 모델링 및 검증방안을 제안한다. 이를 위해 첫째, 마감시간을 위배하지 않는 태스크의 철회에 대해 대안 태스크를 결정할 수 있는 우선 순위 함수를 제안한다. 우선 순위 함수는 대안 태스크에 대한 시간요소, 의미적 호환 수준을 고려함으로써, 가장 적절한 대안 태스크를 결정한다. 둘째, 기존 연구에서는 순차 및 병행 종속성만을 고려하였으나, 본 연구에서는 태스크간 종속성을 순차 종속성이외에 다양한 병행 종속성인 동시 수행 종속성, 동시시작 종속성, 동시종료 종속성, 간섭된 종속성, 그리고 중첩된 종속성으로 구분하여 제안한다. 셋째, 기술된 워크플로우에 존재할 수 있는 논리적 모순을 발견하기 위해 그래프를 이용한 검증기법을 제안한다.

  • PDF

교육용 어학 영상의 내용 기반 특징 분석에 의한 샷 구분 및 색인에 대한 연구 (A Study on Shot Segmentation and Indexing of Language Education Videos by Content-based Visual Feature Analysis)

  • 한희준
    • 정보관리학회지
    • /
    • 제34권1호
    • /
    • pp.219-239
    • /
    • 2017
  • IT기술이 급속히 발달하고 스마트 기기의 개인보급이 늘어나면서 정보의 전달 매체로 시청각 자료 중에서도 특히 영상 자료가 많이 활용된다. 문헌정보서비스 콘텐츠로서 영상자료는 필수 요소가 되었으며, TV를 통한 단방향 전달, 인터넷을 통한 양방향 서비스, 도서관 시청각 자료 대출 등 다양한 방법으로 활용되고 있다. 특히 인터넷 환경에서 스마트 기기를 통한 영상서비스 관점에서 정보 제공자는 제공 정보에 대한 가공에 적은 노력과 비용을 들이고자 하고, 또한 사용자는 과도한 데이터 사용량에 대한 부담과 시간, 공간적인 제약으로 인해 원하는 부분만을 효율적으로 이용하고자 한다. 따라서 영상에 대한 내용을 유사한 부분끼리 자동으로 구분하고 요약, 색인하여 이용 편의성을 높일 필요가 있다. 본 논문에서는 교육용 어학 영상의 내용과 그 특성을 분석하여 영상을 이루는 샷을 자동으로 구분하고 비주얼 특징을 조합하여 어학 영상의 세분화된 내용 정보를 결정하고 색인하는 방법을 제안한다. 외국어 강의 영상을 이용한 실험에 의해 의미기반의 샷 결정에 높은 정확률을 보였으며, 교육용 어학 영상의 요약 서비스에 효율적으로 적용 가능함을 확인하였다.

정책기반 RFID 데이터 관리 이벤트 정의 언어 (A Policy-driven RFID Data Management Event Definition Language)

  • 송지혜;김광훈
    • 인터넷정보학회논문지
    • /
    • 제12권1호
    • /
    • pp.55-70
    • /
    • 2011
  • 본 논문 에서는 기존의 대표적인 RFID 미들웨어 표준인 RFID 응용 인터페이스 표준규격1)으로 적용가능한 정책 기반의 RFID 데이터 관리 이벤트 정의 언어를 제안한다. 즉, RFID 응용인터페이스는 RFID 미들웨어의 핵심 구성요소인 데이터관리 기능, 장치관리 기능, 장치인터페이스 기능, 정보보호관리 기능을 응용 프로그램에게 제공하기 위한 표준인터페이스이며, 본 논문에서 제안하는 언어는 그 중 RFID 미들웨어의 데이터관리 기능, 즉 이벤트관리 기능을 지원하기 위한 추상화된 인터페이스를 제공하는데 그 목적이 있다. 특히, 이벤트 제약조건을 정의하기 위한 정책의 개념은 RF 리더들로부터 읽혀지는 대용량의 태그데이터를 정제 또는 여과시키기 위한 이벤트 제약조건들을 정의하는 수단으로서 RFID 미들웨어의 기능에 대한 기술적 전문지식이 부족한 응용프로그램 개발자들이 자신의 응용영역을 쉽게 표현할 수 있을 뿐 만 아니라 고수준의 추상화된 인터페이스를 제공할 수 있는 매우 효과적인 수단이라고 할 수 있다. 결과적으로, 본 논문에서는 RFID 응용인터페이스의 상세표준규격으로 제정 될 수 있는 일명 rXPDL, XML기반의 RFID 데이터 관리 이벤트 정책 정의 언어 (rXPDL: XML-based RFID Data Management Event Policy Definition Language)를 정의하며, 이는 곧 정책기반 RFID 데이터 관리 응용인터페이스 정의 언어로서 국내외 표준 규격의 기반이 될 것으로 기대한다. 또한, rXPDL의 상세표준규격들은 유비쿼터스센서네트워크 미들웨어의 데이터 관리를 위한 표준규격으로서의 확장을 기대할 수도 있다.

A Human Sensibility Ergonomic Design for Developing Aesthetically and Emotionally Affecting Glass Panels of Changing Colors

  • Kim, Sang Ho;Kim, Sun Ah;Shin, Jong Kyu;Ahn, Jeong Yoon
    • 대한인간공학회지
    • /
    • 제35권6호
    • /
    • pp.535-550
    • /
    • 2016
  • Objective: To enhance user experience of the product by using "wow" materials and parts, a framework for participatory emotional design and evaluation was proposed and validated through a case study in this paper. Background: Customers in recent days value a product which provides new feeling and images they want to get while interacting with it beyond its function, quality, and usability. Since the product consists of various parts and materials, "wow" materials and parts which can affect the customer's feeling and emotions are the essential components for changing the user experience. Method: A framework for participatory and human sensibility ergonomic design was considered and applied on developing the aesthetically and emotionally affecting glass panels of changing colors. Design experts defined a target market for this multicolor glass panels and modified the existing designing goal. Constraints for this design modification were identified by market trend research and consulting with the company which owns the technology for checking out its feasibility. The company developed and provided prototype samples as well as their competing materials. Quantitative and qualitative evaluation of the emotional quality was conducted to validate whether the design goal was achieved successfully. Results: The target market for the developing materials was defined as finishing for the buildings. The designing goal was set as to feed new visual sensation of clean and colorful images. The emotional quality of two different types of multicolor glass panels and an ordinary unicolor panel were evaluated quantitatively with semantic differential method. Results showed that the emotion of the subjects for the multicolor glass panels can be abstracted into two dimensions; named 'colorfulness' and 'harmony'. It was found that the developed samples got higher scores in emotional quality for both dimensions compared to the ordinary one. Age was found to be a significant factor for evaluating the emotional quality of colorfulness. Conclusion and Applications: The proposed framework is a valid approach for enhancing the user experience of the product by participatory design of emotional materials and parts. This framework can be applied easily on the emotional design and evaluation of different materials and components.