Checking compliance of semantic web applications with RDFS-semantics