Sciweavers

1071 search results - page 19 / 215
» Modelling Ontology Evaluation and Validation
Sort
View
PADS
2009
ACM
14 years 2 months ago
An Approach for Validation of Semantic Composability in Simulation Models
Semantic composability aims to ensure that the composition of simulation components is meaningful in terms of their expressed behavior, and achieves the desired objective of the n...
Claudia Szabo, Yong Meng Teo
ENTCS
2008
87views more  ENTCS 2008»
13 years 7 months ago
A Lightweight Approach for the Semantic Validation of Model Refinements
Model Driven Engineering proposes the use of models at different levels of ion. Step by step validation of model refinements is necessary to guarantee the correctness of the final ...
Claudia Pons, Diego García
WAIM
2005
Springer
14 years 29 days ago
An Ontology Based Approach to Construct Behaviors in Web Information Systems
System behaviors specify the major functions of domain specific Web Information Systems (WIS). Traditional techniques can not satisfy various requirements or manage innumerous data...
Lv-an Tang, Hongyan Li, Zhiyong Pan, Dongqing Yang...
FUIN
2008
116views more  FUIN 2008»
13 years 7 months ago
On the Relationship between Description Logic-based and F-Logic-based Ontologies
Many popular ontology languages are based on (subsets of) first-order predicate logic, with classes represented by unary predicates and properties by binary predicates. Specificall...
Jos de Bruijn, Stijn Heymans
CAISE
2008
Springer
13 years 9 months ago
Assigning Ontology-Based Semantics to Process Models: The Case of Petri Nets
Syntactically correct process models are not necessarily meaningful or represent processes that are feasible to execute. Specifically, when executed, the modeled processes might no...
Pnina Soffer, Maya Kaner, Yair Wand