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