Text this: An introduction to description logic /