1 |
Representing Dynamic Invariants in Ontologically Well-Founded Conceptual ModelsGUERSON, J. O. 28 May 2015 (has links)
Made available in DSpace on 2016-08-29T15:33:21Z (GMT). No. of bitstreams: 1
tese_8885_JohnMScThesis[final]20150703-110844.pdf: 2078817 bytes, checksum: b7867cf01fac04ad68223c7eeca3fe68 (MD5)
Previous issue date: 2015-05-28 / Conceptual models often capture the invariant aspects of the phenomena we perceive. These invariants may be considered static when they refer to structures we perceive in phenomena at a particular point in time or dynamic/temporal when they refer to regularities across different points in time. While static invariants have received significant attention, dynamics enjoy marginal support in widely-employed techniques such as UML and OCL. This thesis aims at addressing this gap by proposing a technique for the representation of dynamic invariants of subject domains in UML-based conceptual models. For that purpose, a temporal extension of OCL is proposed. It enriches the ontologically well-founded OntoUML profile and enables the expression of a variety of (arbitrary) temporal constraints. The extension is fully implemented in the tool for specification, verification and simulation of enriched OntoUML models.
|
2 |
Model klienta veřejné správy z pohledu Unified Foundational Ontology / Model of public administration client from the perspective of Unified Foundational OntologyMarek, Jan January 2017 (has links)
The thesis deals with possibilities of using Unified Foundational Ontology in modeling the onto-logical model of the public administration client, which was created as a result of the Optimiza-tion of life situations in relation to the Register of Rights and Obligations project. The main aim of this thesis is to extend and propose a modification of the current methodology of modeling the ontological model of the public administration client corresponding to the UFO-A ontology. By analyzing the current methodology and ontological model, it proposes the incorporation of OntoUML, which is based on UFO-A ontology. Its key benefit is the methodology of modeling the ontological model of the public administration client corresponding to the UFO-A ontology. The proposed methodology is presented in a case study.
|
3 |
Automatisation du raisonnement et décision juridiques basés sur les ontologies / Automation of legal reasoning and decision based on ontologiesEl Ghosh, Mirna 24 September 2018 (has links)
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.
|
Page generated in 0.0148 seconds