Extensions copy declarations and definitions from SAREF Core (saref-portal#41)

From saref-portal#41 (closed)

SAREF4CITY defines saref:controlsProperty with wrong comment and no rdfs:isDefinedBy metadata. SAREF4CITY keeps some axioms from SAREF V2.1.1 that were deleted in SAREF V3.1.1. For example it still contains a universal restriction on saref:measurementMadeBy to only instances of the saref:Device class. In fact, saref:Device is now the range of saref:measurementMadeBy so this local restriction was considered useless, and deleted in SAREF V3.1.1.

Proposal: SAREF ontologies should import SAREF ontologies when relevant. Definitions should not be copied.

Changes have to be performed in the OWL code, TS, diagrams, documentation, tests and examples