There are two significant impedances to the realization of the potential of ontologies. First, many ontology designers lack the necessary background in formal logics to express their intuitions clearly and precisely, resulting in the proliferation of ontologies with low expressivity. Concurrently, developing semantic mappings between existing ontologies is difficult, because much of the semantics is external to the representation. This thesis uses the idea of metaphor to develop architectures for ontology repositories to serve as bottom-up reusable resources. Moreover, an ontology design algorithm has been developed that allows designers to communicate their ideas at the semantic level, simply by generating and vetting models. Finally, a semantic mapping algorithm has been developed that uses an ontology repository to determine the similarities and differences between any number of target ontologies. An ontology for partial orders has been elaborated to demonstrate the proof of concept and populate the first iteration of the repository.

There are two significant impedances to the realization of the potential of ontologies. First, many ontology designers lack the necessary background in formal logics to express their intuitions clearly and precisely, resulting in the proliferation of ontologies with low expressivity. Concurrently, developing semantic mappings between existing ontologies is difficult, because much of the semantics is external to the representation. This thesis uses the idea of metaphor to develop architectures for ontology repositories to serve as bottom-up reusable resources. Moreover, an ontology design algorithm has been developed that allows designers to communicate their ideas at the semantic level, simply by generating and vetting models. Finally, a semantic mapping algorithm has been developed that uses an ontology repository to determine the similarities and differences between any number of target ontologies. An ontology for partial orders has been elaborated to demonstrate the proof of concept and populate the first iteration of the repository.

Le but essentiel de la thèse est de développer une ontologie juridique bien fondée pour l'utiliser dans le raisonnement à base des règles. Pour cela, une approche middle-out, collaborative et modulaire est proposée ou des ontologies fondationnelles et core ont été réutilisées pour simplifier le développement de l'ontologie. L’ontologie résultante est adoptée dans une approche homogène a base des ontologies pour formaliser la liste des règles juridiques du code pénal en utilisant le langage logique SWRL. / This thesis analyses the problem of building well-founded domain ontologies for reasoning and decision support purposes. Specifically, it discusses the building of legal ontologies for rule-based reasoning. In fact, building well-founded legal domain ontologies is considered as a difficult and complex process due to the complexity of the legal domain and the lack of methodologies. For this purpose, a novel middle-out approach called MIROCL is proposed. MIROCL tends to enhance the building process of well-founded domain ontologies by incorporating several support processes such as reuse, modularization, integration and learning. MIROCL is a novel modular middle-out approach for building well-founded domain ontologies. By applying the modularization process, a multi-layered modular architecture of the ontology is outlined. Thus, the intended ontology will be composed of four modules located at different abstraction levels. These modules are, from the most abstract to the most specific, UOM(Upper Ontology Module), COM(Core Ontology Module), DOM(Domain Ontology Module) and DSOM(Domain-Specific Ontology Module). The middle-out strategy is composed of two complementary strategies: top-down and bottom-up. The top-down tends to apply ODCM (Ontology-Driven Conceptual Modeling) and ontology reuse starting from the most abstract categories for building UOM and COM. Meanwhile, the bottom-up starts from textual resources, by applying ontology learning process, in order to extract the most specific categories for building DOM and DSOM. After building the different modules, an integration process is performed for composing the whole ontology. The MIROCL approach is applied in the criminal domain for modeling legal norms. A well-founded legal domain ontology called CriMOnto (Criminal Modular Ontology) is obtained. Therefore, CriMOnto has been used for modeling the procedural aspect of the legal norms by the integration with a logic rule language (SWRL). Finally, an hybrid approach is applied for building a rule-based system called CORBS. This system is grounded on CriMOnto and the set of formalized rules.