Bridging the gap between the model-driven architecture and ontology engineering
International Journal of Human-Computer Studies
Pellet: A practical OWL-DL reasoner
Web Semantics: Science, Services and Agents on the World Wide Web
Semantic model-driven architecting of service-based software systems
Information and Software Technology
Web Semantics: Science, Services and Agents on the World Wide Web
Reasoning on UML class diagrams
Artificial Intelligence
On the complexities of consistency checking for restricted UML class diagrams
Theoretical Computer Science
OWL rules: A proposal and prototype implementation
Web Semantics: Science, Services and Agents on the World Wide Web
Towards the Model Driven Development of context-aware pervasive systems
Pervasive and Mobile Computing
Defining a work support and training tool for automation design engineers
EPCE'07 Proceedings of the 7th international conference on Engineering psychology and cognitive ergonomics
Semantic Web computing in industry
Computers in Industry
Editorial: Using ontologies with UML class-based modeling: The TwoUse approach
Data & Knowledge Engineering
Ontology-Based Model Driven Engineering for Safety Verification
SEAA '10 Proceedings of the 2010 36th EUROMICRO Conference on Software Engineering and Advanced Applications
Bridging metamodels and ontologies in software engineering
Journal of Systems and Software
Generating operation specifications from UML class diagrams: A model transformation approach
Data & Knowledge Engineering
Towards managing software architectures with ontologies
Graph transformations and model-driven engineering
Model-driven development of industrial process control applications
Journal of Systems and Software
Local closed world reasoning with description logics under the well-founded semantics
Artificial Intelligence
Evolutionary approach for semantic-based query sampling in large-scale information sources
Information Sciences: an International Journal
Towards an ontology-based retrieval of UML Class Diagrams
Information and Software Technology
Semantics and reasoning for control application engineering models
ICAISC'12 Proceedings of the 11th international conference on Artificial Intelligence and Soft Computing - Volume Part I
Hi-index | 0.00 |
Development of advanced systems requires new methods to improve quality and efficiency of engineering processes, and to assist management of complex models encompassing different engineering disciplines. Methods such as model-driven development and domain-specific modeling facilitate development from this perspective but reduce interoperability and other prospects of rationalizing processes, on the other hand. An approach applying Web Ontology Language (OWL) semantics and reasoning to models is presented with examples to support industrial control application engineering. Using the methods, generalized classifications are inferred from instance models and combined with generic engineering knowledge maintained in ontologies. Reasoning allows identifying assemblies and structures outside the scope of traditional modeling to detect specific structures, flaws and error-prone designs. The semantic descriptions of models allow linking of other engineering related information to support engineering tasks during design. The results indicate that OWL semantics and reasoning can be used as a supplement enhancing typical development practices.