\ \\
\ \\
\label{pagsumm}
\noindent{\LARGE \sc Abstract}\\
\ \\
\ \\

\ \\

\ \\
\ \\
%% Description of the dissertation of up to 500 words.\\
% The quality of these are determined by the conceptual level, and for that reason, the ontology design is the key for the future implementation and maintenance.
% Because of this, the ontology engineering is in need of methodologies and graphical tools for the creation, edition and maintenance of models that assists o
There is a great impulse on ontology-based information\chris{22-11}{Agus: preguntar. \bf Chequear} systems, specially the Semantic Web, raising the amount of data and their relations between them in the last years. The quality of these data is widely determined by the conceptual level, making the conceptual modelling a key process for the latest implementation and maintenance of such systems.
To this end, this level requires new methodologies and tools that enable domain experts to create, edit and maintain their models that comply with measurable high level quality criteria.

% There is no scarce amount of modelling tools.
Although there exists a diversity of modelling tools oriented to the ontologic engineering, they cannot be employed without great modifications to achieve a graphical-logical integration with reasoning services support.
These services assist users in the ontological design, through automatic queries about the conceptual implicit or explicit properties of the model.
% This process introduces a graphical-logical mapping between a model and its ontology-based representation for later reasoning, allowing us to query about its conceptual implicit or explicit properties.
Particularly, and of great interest for this thesis, the ontology can be queried about its consistency, and thus, the consistency of its associated conceptual model.

Altogether, a design for a new architecture is proposed, as a collaborative Web tool that supports ontology authoring using visual conceptual modelling languages. To ensure good design qualities, the proposed tool includes reasoning services that can solve consistency queries about the user's models and their classes. To accomplish the graphical-logical mapping and feed to the reasoner with ontologies, a formalisation in Description Logic (DL) of a conceptual model language is evaluated and considered for this work. Moreover, for proving the soundness of models, the respective reasoner queries are described.

Based on the above, this thesis concludes with an implementation called \crowd{}, which complies all the established baselines described in the presented design. \crowd{} uses a subset of UML primitives as its visual language. For this purpose, JointJS has been selected as graphical library according to predefined criteria defined in this work. This tool can display inconsistencies in user's conceptual models through an UML codification in DL together with a set of queries in the OWLlink protocol for communicating with the RACER reasoning system. Afterwards, the answers are displayed in the same graphical language, with the element's style modified where the user's attention is required.

\vfill
\pagebreak

%%% Local Variables: 
%%% mode: latex
%%% TeX-master: "tesis"
%%% TeX-PDF-mode: t
%%% coding: utf-8-unix 
%%% End: 
