reasoner
Interfaces 
FuzzySet
Query
Classes 
Concept
ConcreteConcept
Distance
Dynamic
DynamicInd
Event
EventInd
Individual
KnowledgeBase
OpQuery
Quantifier
Role
RoleQuery
Static
StaticInd
Trapezoid
ULine
ULineEvent
ULineInd