Citation:
Note that whether or not an OWL tool must load an imported ontology depends on the purpose of the tool. If the tool is a complete reasoner (including complete consistency checkers) then it must load all of the imported ontologies. Other tools, such as simple editors and incomplete reasoners, may choose to load only some or even none of the imported ontologies.
Although owl:imports and namespace declarations may appear redundant, they actually serve different purposes. Namespace declarations simply set up a shorthand for referring to identifiers. They do not implicitly include the meaning of documents located at the URI. On the other hand, owl:imports does not provide any shorthand notation for referring to the identifiers from the imported document. Therefore, it is common to have a corresponding namespace declaration for any ontology that is imported.
il semblerait que ce soit nécessaire pour utiliser des raisonneurs mais pas dans la construction de l'ontologie elle-même. Cependant avec Protégé l'import est obligatoire si on veut pouvoir utiliser les propriétés (je suppose sans import Protégé n'a aucun moyen de connaître les propriétés utilisables). Ce que je trouve c'est qu'après import cela devient souvent assez confus avec des classes équivalentes...