OntoEdit: Guiding Ontology Development by Methodology and Inferencing
On the Move to Meaningful Internet Systems, 2002 - DOA/CoopIS/ODBASE 2002 Confederated International Conferences DOA, CoopIS and ODBASE 2002
Answering Queries Using Views over Description Logics Knowledge Bases
Proceedings of the Seventeenth National Conference on Artificial Intelligence and Twelfth Conference on Innovative Applications of Artificial Intelligence
Transformation: The Missing Link of MDA
ICGT '02 Proceedings of the First International Conference on Graph Transformation
The description logic handbook: theory, implementation, and applications
The description logic handbook: theory, implementation, and applications
Model-Driven Development: A Metamodeling Foundation
IEEE Software
Guest Editors' Introduction: Model-Driven Development
IEEE Software
Software Abstractions: Logic, Language, and Analysis
Software Abstractions: Logic, Language, and Analysis
Combining DSLs and Ontologies Using Metamodel Integration
DSL '09 Proceedings of the IFIP TC 2 Working Conference on Domain-Specific Languages
Can OWL and logic programming live together happily ever after?
ISWC'06 Proceedings of the 5th international conference on The Semantic Web
UML2Alloy: a challenging model transformation
MODELS'07 Proceedings of the 10th international conference on Model Driven Engineering Languages and Systems
Hi-index | 0.00 |
Today Model Driven Development (MDD) has a quite high importance in describing and building software systems. Although there are formal methodologies for defining software modeling languages we have analyzed some open challenges. Semantics of software modeling languages often are not defined within the language definition. In addition syntactic well-formedness constraints are often not explicitly defined in the language definition. To tackle these challenges we suggest the use of ontology technologies. Ontology technologies are used to extend the expressive of software modeling languages and to enable automated reasoning on all model artifacts in MDD. In this paper we show methodologies to bridge software modeling with ontology technologies and show applications where to adopt them.