**6. Intelligent process**

The basic strength of formal ontology is their ability to reason in a logical way based on Descriptive Logic language DL. As seem, the last one presents a form of logic to reason on objects. Lots of reasoners exist nowadays like Pellet (Sirin, et al., 2007), and KAON (U. Hustadt, 2010). Actually, despite the richness of OWL's set of relational properties, the axioms does not cover the full range of expressive possibilities for object relationships that we might find, since it is useful to declare relationship in term of conditions or even rules. These rules are used through different rules languages to enhance the knowledge possess in an ontology.

Within the actual research, the domain ontologies are used to define the concepts, and the necessary and sufficient conditions on them. These conditions are of value, because they are used to populate new concepts. For instance, the concept Goem:Vertical\_BoudinBox can be specialized into DC:Signal if it contains a Goem:VerticalLines. Consequently, the concept DC:Signal will be populated with all Goem:Vertical\_BoudinBox if they are linked to a Goem:VerticalLines with certain parameters. In addition, the rules are used to compute more complex results such as the topological relationships between objects. For instance, the relations between two objects are used to get new efficient knowledge about the object. The ontology is than enriched with this new relationship. The topological relation built-ins are not defined in the SWRL language. Consequently, the language was extended. To support the defined use cases, two basic further layers to the semantic one are added to ontology in order to ensure the geometry detection and annotation process tasks. These operations are the 3D processing and topological relations qualification respectively.
