%0 Conference Paper %1 bräuer2008ontology %A Bräuer, Matthias %A Lochmann, Henrik %B Proceedings of the 5th European Semantic Web Conference %C Berlin, Heidelberg %D 2008 %E Hauswirth, Manfred %E Koubarakis, Manolis %E Bechhofer, Sean %I Springer Verlag %K model-driven development software engineering ontologies agents-application-ontologies %T An Ontology for Software Models and its Practical Implications for Semantic Web Reasoning %U http://data.semanticweb.org/conference/eswc/2008/papers/141 %X 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 approaches that employ models as first class entities throughout the entire software development process. We are currently developing a toolsuite called HybridMDSD that employs 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 problems arising from the open-world assumption in OWL and lack of nonmonotonic queries in SWRL.

@inproceedings{bräuer2008ontology, abstract = {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 approaches that employ models as first class entities throughout the entire software development process. We are currently developing a toolsuite called HybridMDSD that employs 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 problems arising from the open-world assumption in OWL and lack of nonmonotonic queries in SWRL.}, added-at = {2008-05-28T14:49:57.000+0200}, address = {Berlin, Heidelberg}, author = {Bräuer, Matthias and Lochmann, Henrik}, biburl = {https://www.bibsonomy.org/bibtex/23bd564f76feb535645236c3a4ad1d200/eswc2008}, booktitle = {Proceedings of the 5th European Semantic Web Conference}, editor = {Hauswirth, Manfred and Koubarakis, Manolis and Bechhofer, Sean}, interhash = {c42b80addcc2e4b83fd283a6511f5224}, intrahash = {3bd564f76feb535645236c3a4ad1d200}, keywords = {model-driven development software engineering ontologies agents-application-ontologies}, month = {June}, publisher = {Springer Verlag}, series = {LNCS}, timestamp = {2008-05-28T14:49:57.000+0200}, title = {An Ontology for Software Models and its Practical Implications for Semantic Web Reasoning}, url = {http://data.semanticweb.org/conference/eswc/2008/papers/141}, year = 2008 }