-
公开(公告)号：KR1020100088789A
公开(公告)日：2010-08-11
申请号：KR1020090007894
申请日：2009-02-02
Applicant: 숭실대학교산학협력단
CPC classification number: G06N5/04 , G06F17/30619 , G06F17/30734
Abstract: PURPOSE: An ontology schema reasoning method is provided to reduce the time and cost for complete graph creation by judging a logical error and comprehension relation in an arrange order based on the arrangement in the order from a higher concept to a lower concept. CONSTITUTION: Plural concepts in ontology are arranged in the order from a higher concept to a lower concept(S201). According to the order of the arrange concept, the logical error for the each concept within the ontology is verified(S203). Based on the order of the arranged concepts, it is judged whether or not predetermined concept among the plural concepts is included in the higher or lower concepts(S205). On the basis of the judgment results, the inter-concept class structure among the ontology concept is estimated(S207).
Abstract translation: 目的：提供一种本体模式推理方法，通过根据从更高概念到较低概念的顺序排列，以排列顺序判断逻辑错误和理解关系，减少完整图形创建的时间和成本。 构成：从更高概念到较低概念的顺序排列本体中的多个概念（S201）。 根据排列概念的顺序，对本体内的每个概念的逻辑错误进行验证（S203）。 基于排列概念的顺序，判断多个概念中的预定概念是否包括在较高或较低概念中（S205）。 在判断结果的基础上，估计本体概念中的概念间类结构（S207）。
-
Patent Agency Ranking
公开(公告)号：KR100930622B1
公开(公告)日：2009-12-09
申请号：KR1020080001200
申请日：2008-01-04
Applicant: 숭실대학교산학협력단
IPC: G06F17/30
Abstract: 태블로 알고리즘을 이용한 온톨로지 추론 시스템 및 방법이 개시된다. 구조모델 생성부는 수학적으로 결정가능한 추론을 위해 적재된 온톨로지의 서술 논리를 태블로 알고리즘의 사용에 적합한 추론 구조의 데이터 모델로 변경한다. 데이터모델 처리부는 온톨로지 추론에 적합한 기반 구조로 형성된 데이터 모델과 관계 모델이 포함하는 문장들의 구문에 따라 데이터 모델을 간편화 및 최적화하여 개념명세 데이터 모델과 개념들의 집합명세 데이터 모델을 생성한다. 지식베이스에는 데이터 모델, 관계 모델, 개념명세 데이터 모델 및 개념들의 집합명세 데이터 모델이 저장된다. 데이터모델 추론부는 개념명세 데이터 모델을 입력받아 개념들간의 포함관계를 추론한다. 본 발명에 따르면, 실세계 특정 영역에 존재하는 모든 개념들의 정의와 관계를 특정 영역뿐만 아니라 보편 영역의 기본 개념에 대한 정의와 그들의 관계에 대한 명세를 기반으로 사람이 생각하는 수준에서의 새로운 개념과 관계 추론을 사용자 요구에 적합한 합리적인 시간 내에 쉽고 일관되게 할 수 있다.
온톨로지, 추론, 태블로 알고리즘, 데이터 모델, 개념명세Abstract translation: 提供了一种使用轻松执行新概念和关系假设的tableaux算法的本体推理系统及其方法，以通过对计算处理结构进行建模来共享和重用服务和专业知识。 结构模型生成器将本体的DL（描述逻辑）改变为适用于使用tableaux算法的推理结构的TBox（术语框）。 数据模型处理器（320）生成组规范数据模型和概念规范数据模型。 数据模型推断单元（340）通过输入的概念详细数据模型推理概念之间的包含关系。
-
公开(公告)号：KR100902650B1
公开(公告)日：2009-06-15
申请号：KR1020080001202
申请日：2008-01-04
Applicant: 숭실대학교산학협력단
IPC: G06F17/30
CPC classification number: G06F17/30734 , G06F17/30002 , G06F17/30613
Abstract: An ontology-based hybrid reasoning system and a method thereof are provided to offer an intelligent service in the ubiquitous environment by arranging a control agent for controlling the description logic-based reasoning technology and rule-based reasoning technology. A rule logic reasoning unit(340) generates an index file of the SWRL(Semantic Web Rule Language) which is matched with new fact information and an SWRL leading rule. A control agent unit(350) outputs a reasoning performing control signal for performing the description logic-based reasoning. A description logic reasoning unit(360) performs the suitable class relation reasoning for the instance of a data model of an ontology knowledge base(330).
Abstract translation: 提供一种基于本体的混合推理系统及其方法，通过安排用于控制基于描述逻辑的推理技术和基于规则的推理技术的控制代理，在无处不在的环境中提供智能服务。 规则逻辑推理单元（340）生成与新事实信息和SWRL引导规则匹配的SWRL（语义Web规则语言）的索引文件。 控制代理单元（350）输出用于执行基于描述逻辑的推理的推理执行控制信号。 描述逻辑推理单元（360）对本体知识库（330）的数据模型的实例执行适当的类关系推理。
-
公开(公告)号：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）通过输入的概念详细数据模型来理解概念之间的包容关系。
-
公开(公告)号：KR101074090B1
公开(公告)日：2011-10-17
申请号：KR1020090007894
申请日：2009-02-02
Applicant: 숭실대학교산학협력단
Abstract: 본발명에서는온톨로지추론방법에있어서, 시간과비용이감소된온톨로지추론방법에관한기술이개시된다. 이러한기술에따르면, 온톨로지추론시스템이온톨로지에포함된복수의개념에대한정의에따라상기복수의개념을상위개념부터하위개념순으로정렬하는단계; 상기온톨로지추론시스템이상기정렬된순서또는상기정렬된순서의역순으로, 소정개념 - 상기복수의개념중 하나 - 이상기소정개념과포함관계가정의되지않은다른개념 - 상기복수의개념중 적어도하나이상 - 에포함되는지여부를판단하는단계; 및상기온톨로지추론시스템이상기판단결과를기초로상기복수의개념간 계층을추론하는단계를포함하며, 상기포함여부를판단하는단계는, 상기온톨로지추론시스템이상기소정개념이상기상위개념에포함되는지여부에따라, 완전그래프생성없이상기소정개념이상기하위개념에포함되는지여부를판단하는온톨로지추론방법을제공한다.
-
公开(公告)号：KR100902653B1
公开(公告)日：2009-06-15
申请号：KR1020080003355
申请日：2008-01-11
Applicant: 숭실대학교산학협력단
IPC: G06F17/30
CPC classification number: G06F17/30734
Abstract: A search apparatus for the efficient ontology reasoning and a method therefor are provided to minimize the inclusion relation verification in the inclusion relation interference of all concepts existing within specific area in the real world. A search device(300) for the efficient ontology reasoning comprises a storage unit(310), a top-down search unit(320) and a bottom-up search unit(330). The top-down and bottom-up search units generate a negative information list according to the inclusion relation between a specific concept and the concept of a concept layer. The inclusion relation verification with the specific concept is not performed for a concept recorded in the negative information list.
Abstract translation: 提供了一种用于高效本体推理的搜索装置及其方法，用于最小化现实世界中存在于特定区域内的所有概念的包含关系干扰中的包含关系验证。 用于有效本体推理的搜索设备（300）包括存储单元（310），自顶向下搜索单元（320）和自下而上搜索单元（330）。 自顶向下和自下而上的搜索单元根据特定概念与概念层的概念之间的包含关系产生负信息列表。 对于负信息列表中记录的概念，不对特定概念进行包含关系验证。
-
-
-
-
-
Search Results
6
records
(took 0.021 seconds)
