Name: TIAGO PRINCE SALES
Publication date: 10/10/2014
Advisor:
Name | Role |
---|---|
GIANCARLO GUIZZARDI | Advisor * |
Examining board:
Name | Role |
---|---|
JOÃO PAULO ANDRADE ALMEIDA | Internal Examiner * |
GIANCARLO GUIZZARDI | Advisor * |
Summary: Ontology-driven conceptual modeling is the activity of capturing and formalizing how a community perceives a domain of interest, using modeling primitives inherited from a foundational ontology. OntoUML is an example of a language that supports such activity, whose design derives from the Unified Foundational Ontology (UFO).
Ontologies, in the sense of reference conceptual models, are useful in many fields.
They include model-driven development of software systems, development of
knowledge-based application (in the context of Semantic Web), semantic
interoperability between information systems, and evaluation of modeling languages, to cite some. Regardless of the application, the quality of an ontology is directly related the quality of the results.
Ontology and conceptual model quality encompasses a vast range of criteria. The validation activity aims to improve the domain appropriateness of a model. This means to help improve modelers confidence in saying: I built the right model for my domain.
This thesis presents a validation framework usable by managers of the ontology world, i.e. modelers that are not experts in validation, logics and formal methods. The framework contains techniques and tools to help modelers systematically improve the quality of their models without demanding costly learning requirements. We build our framework on two conceptual pillars: model simulation and anti-patterns.