Sciweavers

1792 search results - page 47 / 359
» Ontology Modeling Using UML
Sort
View
ACIIDS
2009
IEEE
122views Database» more  ACIIDS 2009»
14 years 1 months ago
Student Modelling Based on Ontologies
— In this paper I show how ontologies support the student modelling through the semantic definition of concepts that depict a student. The aim is to outline the framework for bui...
Alejandro Peña Ayala
IFM
2004
Springer
104views Formal Methods» more  IFM 2004»
14 years 2 months ago
Linking CSP-OZ with UML and Java: A Case Study
Abstract. We describe how CSP-OZ, an integrated formal method combining the process algebra CSP with the specification language Object-Z, can be linked to standard software engine...
Michael Möller, Ernst-Rüdiger Olderog, H...
APSEC
2005
IEEE
14 years 2 months ago
A Formal Semantics of Timed Activity Diagrams and its PROMELA Translation
The lack of a precise semantics for UML activity diagrams makes the reasoning on models constructed using such diagrams infeasible. However, such diagrams are widely used in domai...
Nicolas Guelfi, Amel Mammar
MIE
2008
136views Healthcare» more  MIE 2008»
13 years 10 months ago
Enhancing Knowledge Representations by Ontological Relations
Several medical natural language processing (NLP) systems currently base on ontologies that provide the domain knowledge. But, relationships between concepts defined in ontologies ...
Kerstin Denecke
ADBIS
2007
Springer
137views Database» more  ADBIS 2007»
14 years 2 months ago
An Object-Oriented Based Algebra for Ontologies and Their Instances
Nowadays, ontologies are used in a lot of diverse research fields. They provide with the capability to describe a huge set of information contents. Therefore, several approaches f...
Stéphane Jean, Yamine Aït Ameur, Guy P...