Sciweavers

1549 search results - page 228 / 310
» The ABC Ontology and Model
Sort
View
TOOLS
2010
IEEE
14 years 3 months ago
Deep Meta-modelling with MetaDepth
Meta-modelling is at the core of Model-Driven Engineering, where it is used for language engineering and domain modelling. The OMG’s Meta-Object Facility is the standard framewor...
Juan de Lara, Esther Guerra
ICCS
2007
Springer
13 years 12 months ago
Conceptual Graphs as Cooperative Formalism to Build and Validate a Domain Expertise
Abstract. This work takes place in the general context of the construction and validation of a domain expertise. It aims at the cooperation of two kinds of knowledge, heterogeneous...
Rallou Thomopoulos, Jean-François Baget, Ol...
ESAW
2008
Springer
13 years 12 months ago
A Reverse Engineering Form for Multi Agent Systems
The IODA methodology allows automated construction of models from an ontology, consisting of generic interactions that we can assign to families of agents. Thanks to the measuremen...
François Gaillard, Yoann Kubera, Philippe M...
OWLED
2008
13 years 11 months ago
Pellint - A Performance Lint Tool for Pellet
Predicting the performance of a tableau reasoner for an OWL ontology is generally hard. It is even harder for users who are not familiar with the details of tableau algorithms. In ...
Harris Lin, Evren Sirin
EUMAS
2006
13 years 11 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ò