An epistemic operator for description logics
Artificial Intelligence
Sweetening Ontologies with DOLCE
EKAW '02 Proceedings of the 13th International Conference on Knowledge Engineering and Knowledge Management. Ontologies and the Semantic Web
Towards Ontological Foundations for UML Conceptual Models
On the Move to Meaningful Internet Systems, 2002 - DOA/CoopIS/ODBASE 2002 Confederated International Conferences DOA, CoopIS and ODBASE 2002
Ontology based object-oriented domain modelling: fundamental concepts
Requirements Engineering
A tool for automatic UML model consistency checking
Proceedings of the 20th IEEE/ACM international Conference on Automated software engineering
Model-Driven Software Development: Technology, Engineering, Management
Model-Driven Software Development: Technology, Engineering, Management
Pellet: A practical OWL-DL reasoner
Web Semantics: Science, Services and Agents on the World Wide Web
Guided development with multiple domain-specific languages
MODELS'07 Proceedings of the 10th international conference on Model Driven Engineering Languages and Systems
Systematic Usage of Embedded Modelling Languages in Automated Model Transformation Chains
Software Language Engineering
OntoDSL: An Ontology-Based Framework for Domain-Specific Languages
MODELS '09 Proceedings of the 12th International Conference on Model Driven Engineering Languages and Systems
Representation and monitoring of commitments and norms using OWL
AI Communications - European Workshop on Multi-Agent Systems (EUMAS) 2009
Ontology and time evolution of obligations and prohibitions using semantic web technology
DALT'09 Proceedings of the 7th international conference on Declarative Agent Languages and Technologies
Expert Systems with Applications: An International Journal
Modeling the linguistic architecture of software products
MODELS'12 Proceedings of the 15th international conference on Model Driven Engineering Languages and Systems
An ontology-based framework for domain-specific modeling
Software and Systems Modeling (SoSyM)
Hi-index | 0.00 |
Ontology-Driven Software Development (ODSD) advocates using ontologies for capturing knowledge about a software system at development time. So far, ODSD approaches have mainly focused on the unambiguous representation of domain models during the system analysis phase. However, the design and implementation phases can equally benefit from the logical foundations and reasoning facilities provided by the Ontology technological space. This applies in particular to Model-Driven Software Development (MDSD) which employs models as first class entities throughout the entire software development process. We are currently developing a tool suite called HybridMDSD that leverages Semantic Web technologies to integrate different domain-specific modeling languages based on their ontological foundations. To this end, we have defined a new upper ontology for software models that complements existing work in conceptual and business modeling. This paper describes the structure and axiomatization of our ontology and its underlying conceptualization. Further, we report on the experiences gained with validating the integrity and consistency of software models using a Semantic Web reasoning architecture. We illustrate practical solutions to the implementation challenges arising from the open-world assumption in OWL and lack of nonmonotonic queries in SWRL.