|
JTP API Documentation | ||||||||||
| PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES | ||||||||||
| Class Summary | |
| IntersectionTypeReasoner | A telling reasoner that is activated when literals with the relation daml:intersectionOf are told. |
|
JTP API Documentation | ||||||||||
| PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES | ||||||||||