Semantic Web Logic Language


Which (and what parts) of these survive will be determined by usage.