new interfaces for TBoxReasoner
trimming down TBoxReasoner interface
trimmed down TBoxReasoner
trimmed down TBoxReasonerImpl
trimmed down TBoxReasoner
TBoxReasonerImpl trimmed down (more to follow)