Collaborative first order logic system with dynamic ontology
US8996989B2 · kind B2 · utility
1Cited by
4References
17Claims
0Family size
Assignee
Inventor
Key dates
| Filing date | Nov 10, 2011 |
| Grant date | Mar 31, 2015 |
| Priority date | — |
| Expiry date | Jan 29, 2034 |
Classification
- Technology area (CPC G)Physics
- CPC primaryG06Q50/01
- WIPO fieldIT methods for management
- WIPO sectorElectrical engineering
Abstract
A collaborative first order logic system with dynamic ontology for example that enables collaborative discussion of documents, subjects associated within the documents, assertions about the subjects and theorems that utilize the assertions along with dynamic creation and association of two or more subjects that may represent the same thing. Enables geographical and temporal displays of assertions and opinions regarding the assertions.
Source: USPTO / EPO open patent data. Objective bibliographic and citation counts.