Logic in semantic web