Issued Patents 2011
Showing 1–1 of 1 patents
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 7904401 | Scaleable ontology reasoning to explain inferences made by a tableau reasoner | Julian Timothy Dolby, Aditya A. Kalyanpur, Aaron Kershenbaum, Achille B. Fokoue-Nkoutche, Li Ma +1 more | 2011-03-08 |