Invention Grant
US07904401B2 Scaleable ontology reasoning to explain inferences made by a tableau reasoner
有权
可扩展的本体论推理来解释由推理者所作的推论
- Patent Title: Scaleable ontology reasoning to explain inferences made by a tableau reasoner
- Patent Title (中): 可扩展的本体论推理来解释由推理者所作的推论
-
Application No.: US11708949Application Date: 2007-02-21
-
Publication No.: US07904401B2Publication Date: 2011-03-08
- Inventor: Julian Timothy Dolby , Aditya A Kalyanpur , Aaron Stephen Jay Kershenbaum , Achille Belly Fokoue-Nkoutche , Li Ma , Edith Gail Schonberg , Kavitha Srinivas
- Applicant: Julian Timothy Dolby , Aditya A Kalyanpur , Aaron Stephen Jay Kershenbaum , Achille Belly Fokoue-Nkoutche , Li Ma , Edith Gail Schonberg , Kavitha Srinivas
- Applicant Address: US NY Armonk
- Assignee: International Business Machines Corporation
- Current Assignee: International Business Machines Corporation
- Current Assignee Address: US NY Armonk
- Agent Michael J. Buchenhorner; Vazken Alexanian
- Main IPC: G06N5/00
- IPC: G06N5/00
Abstract:
Methods and apparatus, including computer program products, for scalable ontology reasoning. A method of generating a summarized ontology includes loading an ontology from a store, eliminating relationships in the ontology, the eliminating relationships including an insertion of new relationships that simplify the ontology, eliminating individuals in the ontology, the eliminating individuals including insertion of new individuals to simplify the ontology, eliminating concepts in the ontology including insertion of new concepts to simplify the ontology, and generating the summarized ontology from the eliminating relationships, eliminating individuals and eliminating concepts.
Public/Granted literature
- US20070233627A1 Scalable ontology reasoning Public/Granted day:2007-10-04
Information query
IPC分类:
| G | 物理 |
| G06 | 计算；推算或计数 |
| G06N | 基于特定计算模型的计算机系统 |
| G06N5/00 | 利用基于知识的模式的计算机系统 |
