On the logic of design
Description and/or Hybrid Logics
The logic of paradox
Classifying Description Logics.
Hybridization of Description Logics and Logic Programming