파생 테이블을 이용하여 스파클 집계 함수 문법 확장시 유니온 구문의 처리방법
    1.
    发明申请
    파생 테이블을 이용하여 스파클 집계 함수 문법 확장시 유니온 구문의 처리방법 审中-公开
    使用衍生物表扩展SPARQL聚集函数语法时的UNION语法处理方法

    公开(公告)号:WO2011065612A1

    公开(公告)日:2011-06-03

    申请号:PCT/KR2009/007093

    申请日:2009-12-01

    CPC classification number: G06F17/30404

    Abstract: 본 발명은 파생 테이블을 이용하여 스파클 집계 함수 문법 확장시 유니온 구문의 처리방법에 관한 것이다. 본 발명은 파생 테이블을 이용하여 스파클 집계 함수 문법 확장시 유니온 구문의 처리방법에 있어서, 상기 스파클 질의문에 중첩된 유니온 구문을 검출하는 단계, 및 상기 중첩된 유니온 구문이 검출되면 상기 유니온 구문을 파생 테이블을 이용하여 독립 구문으로 변환하는 단계를 포함한다.

    Abstract translation: 本发明涉及使用派生表展开SPARQL聚合函数语法时的UNION语法处理方法。 使用本发明的派生表扩展SPARQL聚合函数语法时的UNION语法处理方法包括以下步骤:在SPARQL查询中搜索重叠的UNION语法; 并且当找到重叠的UNION语法时,使用派生表将UNION语法转换为独立语法。

    온톨로지 기반 SAMEAS 관리 시스템 및 방법
    2.
    发明申请
    온톨로지 기반 SAMEAS 관리 시스템 및 방법 审中-公开
    基于本体的SAMEAS管理系统和方法

    公开(公告)号:WO2011074728A1

    公开(公告)日:2011-06-23

    申请号:PCT/KR2009/007589

    申请日:2009-12-18

    CPC classification number: G06F17/30734

    Abstract: 온톨로지 기반 sameAs 관리 시스템 및 방법이 개시된다. 본 발명은 서로 다른 식별자를 가진 온톨로지 인스턴스를 대상으로 sameAs 관계의 생성 또는 삭제를 포함하는 설정 요청이 수신되면, 수신한 sameAs 관계 설정 요청에 따라 업데이트하는 sameAs 관리 서버 및 sameAs 관리 서버와 실시간 동기화가 설정되고, sameAs 관리 서버로부터 수신한 sameAs 관계 설정 요청에 따라 업데이트를 수행하는 하나 이상의 동기화 sameAs 관리 서버를 포함하여, 서로 다른 식별자를 가진 온톨로지 인스턴스의 sameAs 관계의 생성 또는 삭제, sameAs 관계를 이용한 SPARQL 생성을 관리할 수 있다.

    Abstract translation: 公开了一种基于本体的asAs管理系统和方法。 根据本发明的基于本体的相同的AS管理系统包括:一个用于在接收到相同的关系建立请求时执行更新过程的管理服务器,其包括为具有不同标识符的本体实例创建或删除相同的关系; 以及一个或多个同步的相同的管理服务器,其与相同的As管理服务器建立实时同步,并且响应于来自相同的As管理服务器的所接收的相同的关系建立请求执行更新处理。 相同的管理系统能够管理具有不同标识符的本体实例的相同的关系的创建和删除,以及使用相同的关系创建SPARQL。

    주석기반의 의사코드를 이용한 프로그램 변환 방법 및 그 방법을 구현하기 위한 프로그램이 기록된 컴퓨터 판독 가능한 기록매체
    3.
    发明申请
    주석기반의 의사코드를 이용한 프로그램 변환 방법 및 그 방법을 구현하기 위한 프로그램이 기록된 컴퓨터 판독 가능한 기록매체 审中-公开
    使用基于评论的PSEUDO-CODES和计算机可读记录介质的程序转换方法,记录在程序中,用于实现方法

    公开(公告)号:WO2016076583A1

    公开(公告)日:2016-05-19

    申请号:PCT/KR2015/011981

    申请日:2015-11-09

    Inventor: 주기홍 김재한

    CPC classification number: G06F8/51 G06F8/75

    Abstract: 본 발명은 주석기반의 의사코드를 이용한 프로그램 변환 방법 및 그 방법을 구현하기 위한 프로그램이 기록된 컴퓨터 판독 가능한 기록매체에 관한 것으로, 컴퓨터 시스템이 주석기반의 의사코드를 이용하여 프로그램을 변환하는 방법에 있어서, 범용 프로그래밍 언어로 작성된 코드를 분석하여 주석으로 표현되는 의사코드를 확인하는 단계, 의사코드 영역에 속하는 코드의 경우 하나 이상의 데이터 병렬 컴퓨트 노드 상에서 실행하도록 구성된 병렬 프로그래밍 언어를 사용하여 struct 구조체의 멤버로 변환하거나, 커널함수로 변환하고, 나머지 영역에 속하는 코드의 경우 상기 병렬 프로그래밍 언어의 호스트 코드로 변환하여, 병렬 프로그래밍 언어로 작성된 코드를 생성하는 단계, 상기 생성된 코드의 커널함수를 상기 데이터 병렬 컴퓨트 노드를 사용하여 동시에 실행하는 단계를 포함한다.

    Abstract translation: 本发明涉及使用基于注释的伪码的程序转换方法和用于实现该方法的记录有程序的计算机可读记录介质,以及计算机系统通过使用注释来转换程序的方法 的伪代码包括以下步骤:分析以通用编程语言编写的代码,以便确认以注释表示的伪代码; 通过使用形成为在一个或多个数据并行计算节点上执行的并行编程语言,通过将代码属于伪代码区域的代码转换成结构成员,或者通过转换 与内核功能相同,如果代码属于其余区域,则将代码转换为并行编程语言的主机代码; 并通过使用数据并行计算节点同时执行生成的代码的内核函数。

    온톨로지 기반 인스턴스 식별 시스템 및 그 방법
    4.
    发明申请
    온톨로지 기반 인스턴스 식별 시스템 및 그 방법 审中-公开
    基于本体的实例识别系统和方法

    公开(公告)号:WO2011074729A1

    公开(公告)日:2011-06-23

    申请号:PCT/KR2009/007593

    申请日:2009-12-18

    CPC classification number: G06F17/30734

    Abstract: 본 발명은 온톨로지 기반 인스턴스 식별 시스템 및 그 방법을 개시된다. 관계형 데이터베이스 관리 시스템(RDBMS:relational database management system)의 데이터를 OWL(Web Ontology Language)온톨로지의 인스턴스로 변환하는 과정에서, 관계형 데이터 베이스 관리 시스템의 데이터에 고유의 식별자(URI:Uniformed Resource Identifier)를 부여하여 정확한 정보를 찾거나 의미간 추론을 통해 정보의 접근성을 향상시킬 수 있는 효과가 있다.

    Abstract translation: 公开了一种基于本体的实例识别系统和方法。 本发明有利于通过在关系数据库管理系统(RDBMS)数据中提供统一资源标识符(URI)的信息细化或语义推理来改进数据访问,该过程将RDBMS数据转换为网络的实例 本体语言(OWL)本体论。

    규칙 추론기 및 이를 포함하는 와일드 패턴 규칙의 동적인 구체화 방법
    5.
    发明申请
    규칙 추론기 및 이를 포함하는 와일드 패턴 규칙의 동적인 구체화 방법 审中-公开
    规则原因,以及包括其中的野生动物规范的动态材料化方法

    公开(公告)号:WO2011065613A1

    公开(公告)日:2011-06-03

    申请号:PCT/KR2009/007095

    申请日:2009-12-01

    CPC classification number: G06N5/025 G06F17/30734

    Abstract: 규칙 추론기 및 이를 포함하는 와일드 패턴 규칙의 동적인 구체화 방법이 개시된다. 본 발명은 입력된 추론 규칙에 와일드 패턴 포함 유무에 따라 온톨로지 스키마(Ontology schema)를 참조하여 리티 네트워크를 구축하는 리티 네트워크 구축부, 구축된 리티 네트워크에 온톨로지(Ontology)를 입력하여 실행함으로써 추론된 트리플을 생성하고 와일드 패턴이 동적으로 구체화된 새로운 규칙을 생성하는 리티 네트워크 실행부 및 생성된 새로운 규칙을 리티 네트워크에 추가하여 리티 네트워크를 확장하는 리티 네트워크 확장부를 포함하여, 리티 네트워크에서 불필요한 패턴 매칭을 제거하여 규칙 기반의 추론 성능을 개선할 수 있다.

    Abstract translation: 公开了一种规则推理器,以及包含其的野生型规则的动态实现方法。 本发明的规则推理器包括:根据输入推理规则中是否包括野生模式,参考本体模式,构建Rete网络的Rete网络构建器; Rete网络实现者,用于通过在构建的Rete网络中输入和实现本体来产生推理三元组,并且生成具有动态物化的野生模式的新规则; 以及用于将生成的新规则添加到Rete网络并扩展Rete网络的Rete网络扩展器,其中可以从Rete网络去除不必要的模式匹配以提高基于规则的推理的性能。

    6.
    外观设计
    有权

    公开(公告)号:KR3008813260000S

    公开(公告)日:2016-11-15

    申请号:KR3020160011008

    申请日:2016-03-10

    Applicant: 김재한

    Designer: 김재한

    7.
    外观设计
    有权

    公开(公告)号:KR3007667610000S

    公开(公告)日:2014-10-22

    申请号:KR3020130036699

    申请日:2013-07-16

    Applicant: 김재한

    Designer: 김재한

    8.
    外观设计
    失效

    公开(公告)号:KR3007235670000S

    公开(公告)日:2014-01-07

    申请号:KR3020130002951

    申请日:2013-01-17

    Applicant: 김재한

    Designer: 김재한

    9.
    外观设计
    失效

    公开(公告)号:KR3007235320000S

    公开(公告)日:2014-01-07

    申请号:KR3020130008899

    申请日:2013-02-21

    Applicant: 김재한

    Designer: 김재한

    10.
    外观设计
    有权

    公开(公告)号:KR3006953220000S

    公开(公告)日:2013-06-05

    申请号:KR3020110046744

    申请日:2011-11-08

    Applicant: 김재한

    Designer: 김재한

Patent Agency Ranking