-
公开(公告)号:KR100930622B1
公开(公告)日:2009-12-09
申请号:KR1020080001200
申请日:2008-01-04
Applicant: 숭실대학교산학협력단
IPC: G06F17/30
Abstract: 태블로 알고리즘을 이용한 온톨로지 추론 시스템 및 방법이 개시된다. 구조모델 생성부는 수학적으로 결정가능한 추론을 위해 적재된 온톨로지의 서술 논리를 태블로 알고리즘의 사용에 적합한 추론 구조의 데이터 모델로 변경한다. 데이터모델 처리부는 온톨로지 추론에 적합한 기반 구조로 형성된 데이터 모델과 관계 모델이 포함하는 문장들의 구문에 따라 데이터 모델을 간편화 및 최적화하여 개념명세 데이터 모델과 개념들의 집합명세 데이터 모델을 생성한다. 지식베이스에는 데이터 모델, 관계 모델, 개념명세 데이터 모델 및 개념들의 집합명세 데이터 모델이 저장된다. 데이터모델 추론부는 개념명세 데이터 모델을 입력받아 개념들간의 포함관계를 추론한다. 본 발명에 따르면, 실세계 특정 영역에 존재하는 모든 개념들의 정의와 관계를 특정 영역뿐만 아니라 보편 영역의 기본 개념에 대한 정의와 그들의 관계에 대한 명세를 기반으로 사람이 생각하는 수준에서의 새로운 개념과 관계 추론을 사용자 요구에 적합한 합리적인 시간 내에 쉽고 일관되게 할 수 있다.
온톨로지, 추론, 태블로 알고리즘, 데이터 모델, 개념명세Abstract translation: 提供了一种使用轻松执行新概念和关系假设的tableaux算法的本体推理系统及其方法,以通过对计算处理结构进行建模来共享和重用服务和专业知识。 结构模型生成器将本体的DL(描述逻辑)改变为适用于使用tableaux算法的推理结构的TBox(术语框)。 数据模型处理器(320)生成组规范数据模型和概念规范数据模型。 数据模型推断单元(340)通过输入的概念详细数据模型推理概念之间的包含关系。
-
公开(公告)号:KR1020090075366A
公开(公告)日:2009-07-08
申请号:KR1020080001200
申请日:2008-01-04
Applicant: 숭실대학교산학협력단
IPC: G06F17/30
CPC classification number: G06F17/30734 , G06F17/30625
Abstract: An ontology inference system and a method thereof using a tableaux algorithm easily performing a new concept and a relation assumption are provided to share and reuse a service and a specialized knowledge by modeling a computational processing structure. A structure model generator changes DL(Description Logic) of an ontology into a TBox(Terminological Box) of an inference structure suitable for the use of a tableaux algorithm. A data model processor(320) generates a group specification data model and a concept specification data model. A data model inference unit(340) reasons the inclusion relation between concepts through the inputted concept detailed data model.
Abstract translation: 提供本体推理系统及其使用易于执行新概念和关系假设的表算法的方法,以通过对计算处理结构进行建模来共享和重用服务和专门知识。 结构模型生成器将本体的DL(描述逻辑)改变为适合于使用tableaux算法的推理结构的TBox(术语框)。 数据模型处理器(320)生成组规格数据模型和概念规范数据模型。 数据模型推理单元(340)通过输入的概念详细数据模型来理解概念之间的包容关系。
-