N3Logic: A logical framework for the World Wide Web