|
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 |