Text this: A descriptive type foundation for RDF Schema

 __   __   _    _    __   _     _____     ______  
 \ \\/ // | || | || | || | ||  |  ___||  /_____// 
  \   //  | || | || | '--' ||  | ||__    `____ `  
  / . \\  | \\_/ || | .--. ||  | ||__    /___//   
 /_//\_\\  \____//  |_|| |_||  |_____||  `__ `    
 `-`  --`   `---`   `-`  `-`   `-----`   /_//     
                                         `-`