Scaleable ontology reasoning to explain inferences made by a tableau reasoner
US7904401B2 · kind B2 · utility
Assignee
Inventors
Key dates
| Filing date | Feb 21, 2007 |
| Grant date | Mar 8, 2011 |
| Priority date | — |
| Expiry date | Aug 21, 2028 |
Classification
- Technology area (CPC G)Physics
- CPC primaryG06N5/022
- WIPO fieldComputer technology
- WIPO sectorElectrical engineering
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.
Source: USPTO / EPO open patent data. Objective bibliographic and citation counts.