OWL Lite
描述与推理