Semantic Web Language Layering