Smart Cities domain -> Smart City domain

change Smart Ctities to Smart City

OnToology update

First version with full terminology. Axioms and restrictions not added.

added rdfs labels and comments

Added introduction section in the HTML documentation