맞춤기술찾기

홈으로 가기
맞춤기술찾기
이전대상기술
프린트하기

이전대상기술

가정기반 사실관리 시스템 및 이를 이용한 온톨로지 추론 수행 시 비논리적 개념을 유도하는 공리 집합의 탐지 방법

  • 기술번호 : KST2015191242
  • 담당센터 : 서울서부기술혁신센터
  • 전화번호 : 02-6124-6930
상담신청 PDF 받기
요약, Int. CL, CPC, 출원번호/일자, 출원인, 등록번호/일자, 공개번호/일자, 공고번호/일자, 국제출원번호/일자, 국제공개번호/일자, 우선권정보, 법적상태, 심사진행상태, 심판사항, 구분, 원출원번호/일자, 관련 출원번호, 기술이전 희망, 심사청구여부/일자, 심사청구항수의 정보를 제공하는 이전대상기술 뷰 페이지 상세정보 > 서지정보 표입니다.
요약 가정기반 사실관리 시스템 및 이를 이용한 온톨로지 추론 수행 시 비논리적 개념을 유도하는 공리 집합의 탐지 방법이 개시된다. 개시된 가정기반 사실관리 시스템은 태블로 알고리즘에 기반한 온톨로지 추론 수행 시 비논리적 개념을 유도하는 공리 집합의 탐지를 위한 가정기반 사실관리 시스템으로서, 비논리적 개념과 관련된 공리들에 포함된 서술 논리 기호들에 대한 태블로 규칙에 기초하여 생성된 프로토콜 명령어들을 상기 비논리적 개념의 추론 순서에 따라 온톨로지 추론 엔진으로부터 수신하는 수신부; 상기 프로토콜 명령어들에 기초하여 상기 공리들, 상기 공리들에 포함된 개념들 및 상기 공리들에 포함된 개념들의 사이의 서술 논리 관계 중 어느 하나를 노드 값으로 하는 복수의 노드들 및 상기 복수의 노드들 중 양립 불가능한 개념을 노드 값으로 하는 짝수개의 노드들과 연결되는 충돌 노드를 포함하는 ATMS 네트워크를 구성하는 ATMS 네트워크 구성부; 및 상기 복수의 노드들 사이의 연결관계에 기초하여 상기 복수의 노드들 각각의 노드 값을 유도하는 공리 집합을 상기 복수의 노드들 각각의 가정(Assumption)으로 설정하고, 상기 짝수개의 노드들에 대해 설정된 공리 집합을 이용하여 상기 비논리적 개념을 유도하는 공리 집합을 탐지하는 탐지부를 포함한다.
Int. CL G06F 17/30 (2006.01)
CPC G06N 5/041(2013.01) G06N 5/041(2013.01)
출원번호/일자 1020110017541 (2011.02.28)
출원인 숭실대학교산학협력단
등록번호/일자 10-1195530-0000 (2012.10.23)
공개번호/일자 10-2012-0097949 (2012.09.05) 문서열기
공고번호/일자 (20121030) 문서열기
국제출원번호/일자
국제공개번호/일자
우선권정보
법적상태 소멸
심사진행상태 수리
심판사항
구분 신규
원출원번호/일자
관련 출원번호
심사청구여부/일자 Y (2011.02.28)
심사청구항수 10

출원인

번호, 이름, 국적, 주소의 정보를 제공하는 이전대상기술 뷰 페이지 상세정보 > 인명정보 - 출원인 표입니다.
번호 이름 국적 주소
1 숭실대학교산학협력단 대한민국 서울특별시 동작구

발명자

번호, 이름, 국적, 주소의 정보를 제공하는 이전대상기술 뷰 페이지 상세정보 > 인명정보 - 발명자 표입니다.
번호 이름 국적 주소
1 박영택 대한민국 서울특별시 서초구
2 김제민 대한민국 서울특별시 동작구

대리인

번호, 이름, 국적, 주소의 정보를 제공하는 이전대상기술 뷰 페이지 상세정보 > 인명정보 - 대리인 표입니다.
번호 이름 국적 주소
1 최관락 대한민국 서울특별시 강남구 강남대로**길 ** (역삼동) 동림빌딩 *층(아이피즈국제특허법률사무소)
2 민영준 대한민국 서울특별시 강남구 남부순환로 ****, *층(도곡동, 차우빌딩)(맥스국제특허법률사무소)
3 송인호 대한민국 서울특별시 강남구 강남대로**길 ** (역삼동) 동림빌딩 *층(아이피즈국제특허법률사무소)

최종권리자

번호, 이름, 국적, 주소의 정보를 제공하는 이전대상기술 뷰 페이지 상세정보 > 인명정보 - 최종권리자 표입니다.
번호 이름 국적 주소
1 숭실대학교산학협력단 서울특별시 동작구
번호, 서류명, 접수/발송일자, 처리상태, 접수/발송일자의 정보를 제공하는 이전대상기술 뷰 페이지 상세정보 > 행정처리 표입니다.
번호 서류명 접수/발송일자 처리상태 접수/발송번호
1 [특허출원]특허출원서
[Patent Application] Patent Application		 2011.02.28 수리 (Accepted) 1-1-2011-0141996-28
2 선행기술조사의뢰서
Request for Prior Art Search		 2012.01.17 수리 (Accepted) 9-1-9999-9999999-89
3 선행기술조사보고서
Report of Prior Art Search		 2012.02.17 수리 (Accepted) 9-1-2012-0010840-75
4 의견제출통지서
Notification of reason for refusal		 2012.06.19 발송처리완료 (Completion of Transmission) 9-5-2012-0353039-13
5 [명세서등 보정]보정서
[Amendment to Description, etc.] Amendment		 2012.07.11 보정승인간주 (Regarded as an acceptance of amendment) 1-1-2012-0554646-74
6 등록결정서
Decision to grant		 2012.10.19 발송처리완료 (Completion of Transmission) 9-5-2012-0623378-86
7 [일부 청구항 포기]취하(포기)서
[Abandonment of Partial Claims] Request for Withdrawal (Abandonment)		 2012.10.23 수리 (Accepted) 2-1-2012-0510386-67
8 출원인정보변경(경정)신고서
Notification of change of applicant's information		 2016.08.04 수리 (Accepted) 4-1-2016-5110636-51
번호, 청구항의 정보를 제공하는 이전대상기술 뷰 페이지 상세정보 > 청구항 표입니다.
번호 청구항
1 1
태블로 알고리즘에 기반한 온톨로지 추론 수행 시 비논리적 개념을 유도하는 공리 집합의 탐지를 위한 가정기반 사실관리 시스템(ATMS)에 있어서, 비논리적 개념과 관련된 공리들에 포함된 서술 논리 기호들에 대한 태블로 규칙에 기초하여 생성된 프로토콜 명령어들을 상기 비논리적 개념의 추론 순서에 따라 온톨로지 추론 엔진으로부터 수신하는 수신부; 상기 프로토콜 명령어들에 기초하여 상기 공리들, 상기 공리들에 포함된 개념들 및 상기 공리들에 포함된 개념들의 사이의 서술 논리 관계 중 어느 하나를 노드 값으로 하는 복수의 노드들 및 상기 복수의 노드들 중 양립 불가능한 개념을 노드 값으로 하는 짝수개의 노드들과 연결되는 충돌 노드를 포함하는 ATMS 네트워크를 구성하는 ATMS 네트워크 구성부; 및 상기 복수의 노드들 사이의 연결관계에 기초하여 상기 복수의 노드들 각각의 노드 값을 유도하는 공리 집합을 상기 복수의 노드들 각각의 가정(Assumption)으로 설정하고, 상기 짝수개의 노드들에 대해 설정된 공리 집합을 이용하여 상기 비논리적 개념을 유도하는 공리 집합을 탐지하는 탐지부를 포함하되, 상기 프로토콜 명령어들은 상기 가정기반 사실관리 시스템에 정의되지 않은 새로운 노드를 정의하기 위한 제1 규칙, 상기 가정기반 사실관리 시스템에 정의되지 않은 새로운 가정을 정의하기 위한 제2 규칙 및 상기 복수의 노드들 및 상기 충돌 노드의 연결관계를 정의하기 위한 제3 규칙 중 어느 하나에 기초하여 생성되는 것을 특징으로 하는 가정기반 사실관리 시스템
2 2
제1항에 있어서, 상기 서술 논리 기호들은 전칭 기호(Universal Quantifier, ∀), 존재 기호(Existential Quantifier, ∃), OR 기호(), AND 기호(), NOT 기호(￢) 및 포함 기호()를 포함하는 것을 특징으로 하는 가정기반 사실관리 시스템
3 3
제1항에 있어서, 상기 제3 규칙에 따른 프로토콜 명령어는 적어도 하나의 전제 노드의 노드 값 및 하나의 결과 노드의 노드 값을 포함하고, 상기 ATMS 네트워크 구성부는 상기 제3 규칙에 따른 프로토콜 명령어가 수신되는 경우, 상기 복수의 노드들 중 상기 적어도 하나의 전제 노드와 대응되는 적어도 하나의 노드 각각으로부터 상기 복수의 노드들 및 상기 충돌 노드 중 상기 하나의 결과 노드와 대응되는 하나의 노드로의 연결을 설정하는 것을 특징으로 하는 가정기반 사실관리 시스템
4 4
제1항에 있어서, 상기 복수의 노드들 중 어느 하나의 노드에 대해 설정되는 가정은 상기 어느 하나의 노드에게로 연결되는 적어도 하나의 노드 각각에 대해 설정된 가정에 포함된 공리 집합들의 합집합과 대응되는 것을 특징으로 하는 가정기반 사실관리 시스템
5 5
제1항에 있어서, 상기 충돌 노드에 대해 설정되는 가정은 하나 이상이며, 상기 충돌 노드에 대해 설정되는 하나 이상의 가정 중 어느 하나의 가정은 상기 짝수개의 노드들 중 양립 불가능한 어느 두 개의 노드들 각각에 대해 설정된 가정에 포함된 공리 집합들의 합집합과 대응되는 것을 특징으로 하는 가정기반 사실관리 시스템
6 6
가정기반 사실관리 시스템(ATMS)을 이용하여 태블로 알고리즘에 기반한 온톨로지 추론 수행 시 비논리적 개념을 유도하는 공리 집합을 탐지하기 위한 방법에 있어서, 비논리적 개념과 관련된 공리들에 포함된 서술 논리 기호들에 대한 태블로 규칙에 기초하여 생성된 프로토콜 명령어들을 상기 비논리적 개념의 추론 순서에 따라 온톨로지 추론 엔진으로부터 수신하는 단계 (a); 상기 프로토콜 명령어들에 기초하여 상기 공리들, 상기 공리들에 포함된 개념들 및 상기 공리들에 포함된 개념들의 사이의 서술 논리 관계 중 어느 하나를 노드 값으로 하는 복수의 노드들 및 상기 복수의 노드들 중 양립 불가능한 개념을 노드 값으로 하는 짝수개의 노드들과 연결되는 충돌 노드를 포함하는 ATMS 네트워크를 구성하는 단계 (b);상기 복수의 노드들 사이의 연결관계에 기초하여 상기 복수의 노드들 각각의 노드 값을 유도하는 공리 집합을 상기 복수의 노드들 각각의 가정으로 설정하는 단계 (c); 및 상기 짝수개의 노드들에 대해 설정된 공리 집합을 이용하여 상기 비논리적 개념을 유도하는 공리 집합을 탐지하는 단계 (d)를 포함하되, 상기 프로토콜 명령어들은 상기 가정기반 사실관리 시스템에 정의되지 않은 새로운 노드를 정의하기 위한 제1 규칙, 상기 가정기반 사실관리 시스템에 정의되지 않은 새로운 가정을 정의하기 위한 제2 규칙 및 상기 복수의 노드들 및 상기 충돌 노드의 연결관계를 정의하기 위한 제3 규칙 중 어느 하나에 기초하여 생성되는 것을 특징으로 하는 온톨로지 추론 수행 시 비논리적 개념을 유도하는 공리 집합의 탐지 방법
7 7
청구항 7은(는) 설정등록료 납부시 포기되었습니다
8 8
청구항 8은(는) 설정등록료 납부시 포기되었습니다
9 9
청구항 9은(는) 설정등록료 납부시 포기되었습니다
10 10
청구항 10은(는) 설정등록료 납부시 포기되었습니다
지정국 정보가 없습니다
패밀리정보가 없습니다
순번, 연구부처, 주관기관, 연구사업, 연구과제의 정보를 제공하는 이전대상기술 뷰 페이지 상세정보 > 국가R&D 연구정보 정보 표입니다.
순번 연구부처 주관기관 연구사업 연구과제
1 한국콘텐츠진흥원 (주)탑쿼드란트코리아 콘텐츠산업지원기술사업 1차년도 디지털 문화콘텐츠 융복합 서비스를 위한 시맨틱웹 매쉬업 플랫폼 기술