Does anyone off hand know what the S stands for WRT the description logic family (The one that is equivalent to ALC with transitivity).#math #Maths #Mathematics