Sciweavers

139 search results - page 7 / 28
» On the Properties of Metamodeling in OWL
Sort
View
UML
2005
Springer
15 years 5 months ago
An Ontology-Based Approach for Evaluating the Domain Appropriateness and Comprehensibility Appropriateness of Modeling Languages
In this paper we present a framework for the evaluation and (re)design of modeling languages. We focus here on the evaluation of the suitability of a language to model a set or rea...
Giancarlo Guizzardi, Luís Ferreira Pires, M...
ICSM
2006
IEEE
15 years 5 months ago
An Extensible Meta-Model for Program Analysis
— Software maintenance tools for program analysis and refactoring rely on a meta-model capturing the relevant properties of programs. However, what is considered relevant may cha...
Dennis Strein, Rüdiger Lincke, Jonas Lundberg...
EUMAS
2006
15 years 1 months ago
A Metamodel for Verifying Institutions
To investigate the interdependencies existing among deontic positions (like powers and obligations) and the ontology defined by an institution, we have proposed to model instituti...
Francesco Viganò
OTM
2007
Springer
15 years 5 months ago
A Meta-model for Ontologies with ORM2
Development of ontology development tools and ontology-enhanced software applications requires thorough understanding of ontology languages in order to implement them according to ...
Christina Tziviskou, C. Maria Keet
ER
2006
Springer
157views Database» more  ER 2006»
15 years 3 months ago
Representing Transitive Propagation in OWL
Transitive propagation along properties can be modelled in various ways in the OWL description logic. Doing so allows existing description logic reasoners based on the tableaux alg...
Julian Seidenberg, Alan L. Rector