公开(公告)号：KR1020090075366A

公开(公告)日：2009-07-08

申请号：KR1020080001200

申请日：2008-01-04

Applicant: 숭실대학교산학협력단

Inventor： 박영택 ,  최정화 ,  권순현 ,  김제민 ,  서은석 ,  김성찬

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）通过输入的概念详细数据模型来理解概念之间的包容关系。

公开(公告)号：KR100930622B1

公开(公告)日：2009-12-09

申请号：KR1020080001200

申请日：2008-01-04

Applicant: 숭실대학교산학협력단

Inventor： 박영택 ,  최정화 ,  권순현 ,  김제민 ,  서은석 ,  김성찬

IPC: G06F17/30

Abstract: 태블로 알고리즘을 이용한 온톨로지 추론 시스템 및 방법이 개시된다. 구조모델 생성부는 수학적으로 결정가능한 추론을 위해 적재된 온톨로지의 서술 논리를 태블로 알고리즘의 사용에 적합한 추론 구조의 데이터 모델로 변경한다. 데이터모델 처리부는 온톨로지 추론에 적합한 기반 구조로 형성된 데이터 모델과 관계 모델이 포함하는 문장들의 구문에 따라 데이터 모델을 간편화 및 최적화하여 개념명세 데이터 모델과 개념들의 집합명세 데이터 모델을 생성한다. 지식베이스에는 데이터 모델, 관계 모델, 개념명세 데이터 모델 및 개념들의 집합명세 데이터 모델이 저장된다. 데이터모델 추론부는 개념명세 데이터 모델을 입력받아 개념들간의 포함관계를 추론한다. 본 발명에 따르면, 실세계 특정 영역에 존재하는 모든 개념들의 정의와 관계를 특정 영역뿐만 아니라 보편 영역의 기본 개념에 대한 정의와 그들의 관계에 대한 명세를 기반으로 사람이 생각하는 수준에서의 새로운 개념과 관계 추론을 사용자 요구에 적합한 합리적인 시간 내에 쉽고 일관되게 할 수 있다.
온톨로지, 추론, 태블로 알고리즘, 데이터 모델, 개념명세

Abstract translation: 提供了一种使用轻松执行新概念和关系假设的tableaux算法的本体推理系统及其方法，以通过对计算处理结构进行建模来共享和重用服务和专业知识。 结构模型生成器将本体的DL（描述逻辑）改变为适用于使用tableaux算法的推理结构的TBox（术语框）。 数据模型处理器（320）生成组规范数据模型和概念规范数据模型。 数据模型推断单元（340）通过输入的概念详细数据模型推理概念之间的包含关系。

公开(公告)号：KR100902650B1

公开(公告)日：2009-06-15

申请号：KR1020080001202

申请日：2008-01-04

Applicant: 숭실대학교산학협력단

Inventor： 박영택 ,  서은석 ,  권순현

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）的数据模型的实例执行适当的类关系推理。

公开(公告)号：KR1020120081448A

公开(公告)日：2012-07-19

申请号：KR1020110002791

申请日：2011-01-11

Applicant: 숭실대학교산학협력단

Inventor： 박영택 ,  서은석 ,  전명중 ,  정성현

IPC: H04W64/00 ,  G01S1/02

CPC classification number: H04W64/006 ,  G06K19/0723 ,  G06Q50/01 ,  H04W4/023 ,  H04W84/12

Abstract: PURPOSE: A smart tagging apparatus based in a local area communication and a location aware method thereof are provided to enable a user to easily notify adjacent device and mark the location. CONSTITUTION: A smart tagging apparatus obtains intrinsic address of one or more other smart tagging devices. The smart tagging apparatus registers the tagging information of opponent smart tagging device to a DB(S110). The smart tagging apparatus scans neighbor smart tagging devices(S120). The smart tagging apparatus extracts tagging information of the scanned smart tagging apparatus(S130). The smart tagging apparatus calculates relative location through the signal strength of the opponent smart tagging apparatus(S140).

Abstract translation: 目的：提供一种基于局域通信和位置感知方法的智能标签装置，以使用户能够容易地通知相邻设备并标记该位置。 构成：智能标签装置获得一个或多个其他智能标签装置的固有地址。 智能标签装置将对方智能标签装置的标签信息登记到DB（S110）。 智能标签装置扫描相邻的智能标签装置（S120）。 智能标签装置提取扫描的智能标签装置的标签信息（S130）。 智能标签装置通过对方智能标签装置的信号强度来计算相对位置（S140）。

公开(公告)号：KR1020120066089A

公开(公告)日：2012-06-22

申请号：KR1020100099761

申请日：2010-10-13

Applicant: 숭실대학교산학협력단

Inventor： 박영택 ,  서은석

IPC: G06F17/00

CPC classification number: H04W4/02 ,  G06Q50/10

Abstract: PURPOSE: Apparatus and method for control based on context-awareness of mobile device is provided to change setting of a mobile component or schedule by a user according to real initiation probability of schedule. CONSTITUTION: Apparatus for control based on context-awareness of mobile device comprises: a context inference unit(110) changeing schedule information input by a user context information collected in real time; a setting control unit(120) input from a control signal; a receive mode changing unit(130) changing setting of a mobile device to a receiving mode input by a user.

Abstract translation: 目的：提供基于移动设备上下文感知的控制的装置和方法，以根据实际发起的进度概率来改变用户对移动组件或时间表的设置。 基于移动设备的上下文感知的控制装置包括：上下文推理单元（110）改变由实时采集的用户上下文信息输入的日程信息; 从控制信号输入的设定控制单元（120） 将移动设备的设置改变为用户输入的接收模式的接收模式改变单元（130）。