An ontology for software models and its practical implications for semantic web reasoning

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 5021 LNCS, Issue , 2008, Pages 34-48

  Bräuer, Matthias ^a   Lochmann, Henrik ^a  

^a SAP RESEARCH   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

ARCHITECTURAL DESIGN; COMPUTER NETWORKS; COMPUTER SOFTWARE; FOUNDATIONS; INFORMATION THEORY; MULTI AGENT SYSTEMS; ONTOLOGY; QUALITY ASSURANCE; QUERY LANGUAGES; RELIABILITY; SEMANTICS; SOFTWARE ARCHITECTURE; STRUCTURAL DESIGN; SYSTEMS ANALYSIS; TECHNOLOGY; WORLD WIDE WEB;

AXIOMATIZATION; BUSINESS MODEL (BM); DEVELOPMENT TIME; DOMAIN MODELING; DOMAIN SPECIFIC MODELING LANGUAGES (DSMLS); EUROPEAN; HEIDELBERG (CO); IMPLEMENTATION PHASES; LOGICAL FOUNDATIONS; MODEL DRIVEN SOFTWARE DEVELOPMENT; NON-MONOTONIC; PRACTICAL IMPLICATIONS; PRACTICAL SOLUTIONS; SEMANTIC WEB TECHNOLOGIES; SOFTWARE DEVELOPMENT; SOFTWARE DEVELOPMENT PROCESSES; SOFTWARE MODELLING; SOFTWARE SYSTEMS; SPRINGER (CO); SYSTEM ANALYSIS PHASE; TOOL SUITE; UPPER ONTOLOGY;

SEMANTIC WEB;

EID: 45449105964     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-68234-9_6     Document Type: Conference Paper

References (27)

1. Amann, U., Zschaler, S., Wagner, G.: Ontologies, Meta-models, and the Model-Driven Paradigm. In: Ontologies, Meta-models, and the Model-Driven Paradigm, pp. 249-273 (2006)
2. Bauer, B., Roser, S.: Semantic-enabled Software Engineering and Development. In: INFORMATIK 2006 - Informatik für Menschen, Lecture Notes in Informatics (LNI), vol. P-94, pp. 293-296 (2006)
3. Brachman, R.J., McGuiness, D.L., Patel-Schneider, P.F., Resnick, L.A.: Living with CLASSIC: When and How to Use a KL-ONE-Like Language. In: Sowa, J.F. (ed.) Principles of Semantic Networks: Explorations in the representation of knowledge, pp. 401-456. Morgan Kaufmann, San Mateo (1991)
4. Bräuer, M., Lochmann, H.: Towards Semantic Integration of Multiple Domain-Specific Languages Using Ontological Foundations. In: Proceedings of 4th International Workshop on (Software) Language Engineering (ATEM 2007) co-located with MoDELS 2007, Nashville, Tennessee (October 2007)
5. Bruer, M.: Design of a Semantic Connector Model for Composition of Metamodels in the Context of Software Variability. Diplomarbeit, Technische Universität Dresden, Department of Computer Science (November 2007)
6. Clark, L., Parsia: Pellet: The Open Source OWL DL Reasoner (2007), http://pellet.owldl.com
7. Donini, F.M., Lenzerini, M., Nardi, D., Nutt, W., Schaerf, A.: An epistemic operator for description logics. Artificial Intelligence 100(1-2), 225-274 (1998)
8. Evermann, J., Wand, Y.: Ontology based object-oriented domain modelling: fundamental concepts. Requirements Engineering 10(2), 146-160 (2005)
9. Gangemi, A., Guarino, N., Masolo, C., Oltramari, A., Schneider, L.: Sweetening Ontologies with DOLCE. In: Gómez-Pérez, A., Benjamins, V.R. (eds.) EKAW 2002. LNCS (LNAI), vol. 2473, Springer, Heidelberg (2002)
10. Grimm, S., Motik, B.: Closed World Reasoning in the Semantic Web through Epistemic Operators. In: OWL: Experiences and Directions (OWLED 2005), Calway, Ireland (November 2005)
11. Guizzardi, G., Herre, H., Wagner, G.: Towards Ontological Foundations for UML Conceptual Models. In: Meersman, R., Tari, Z., et al. (eds.) CoopIS 2002, DOA 2002, and ODBASE 2002. LNCS, vol. 2519, pp. 1100-1117. Springer, Heidelberg (2002)
12. Guizzardi, G., Wagner, G.: Applications of a Unified Foundational Ontology, ch. XIII. In: Some Applications of a Unified Foundational Ontology in Business Modeling, pp. 345-367. IDEA Publisher (2005)
13. Happel, H.-J., Seedorf, S.: Applications of Ontologies in Software Engineering. In: 2nd International Workshop on Semantic Web Enabled Software Engineering (SWESE 2006), held at the 5th International Semantic Web Conference (ISWC 2006), Athens, GA, USA (November 2006)
14. Hessellund, A., Czarnecki, K., Wasowski, A.: Guided Development with Multiple Domain-Specific Languages. In: Engels, G., Opdyke, B., Schmidt, D.C., Weil, F. (eds.) MODELS 2007. LNCS, vol. 4735, Springer, Heidelberg (2007)
15. Horridge, M., Knublauch, H., Rector, A., Stevens, R., Wroe, C.: A Practical Guide To Building OWL Ontologies Using The Protégé-OWL Plugin and CO-ODE Tools Edition 1.0. The University Of Manchester (August 2004)
16. Jena - A Semantic Web Framework for Java. Version 2.5 (January 2007), http://jena.sourceforge.net
17. Kappel, G., Kramler, G., Kapsammer, E., Reiter, T., Retschitzegger, W., Schwinger, W.: ModelCVS - A Semantic Infrastructure for Model-based Tool Integration. Technical Report, Business Informatics Group, Wien Technical University (July 2005)
18. Katz, Y., Parsia, B.: Towards a Nonmonotonic Extension to OWL. In: OWL: Experiences and Directions (OWLED 2005), Calway, Ireland (November 2005)
19. Kühne, T.: Matters of (Meta-) Modeling. Software and Systems Modeling 5(4), 369-385 (2006)
20. Lochmann, H.: Towards Connecting Application Parts for Reduced Effort in Feature Implementations. In: Proceedings of 2nd IFIP Central and East European Conference on Software Engineering Techniques CEE-SET 2007 (WIP Track), Posen, Poland (October 2007)
21. Motik, B., Sattler, U., Studer, R.: Query Answering for OWL-DL with Rules. In: McIlraith, S.A., Plexousakis, D., van Harmelen, F. (eds.) ISWC 2004. LNCS, vol. 3298, Springer, Heidelberg (2004)
22. Ng, G.: Open vs Closed world, Rules vs Queries: Use cases from Industry. In: OWL: Experiences and Directions (OWLED 2005), Calway, Ireland (November 2005)
23. Patel-Schneider, P.F., Horrocks, I.: OWL 1.1 Web Ontology Language Overview. World Wide Web Consortium (W3C), W3C Member Submission (December 2006), http://www.w3.org/Submission/owl11-overview/
24. Racer Systems GmbH & Co. KG. RacerPro User's Guide Version 1.9 (December 2005)
25. Simmonds, J., Bastarrica, M.C.: A tool for automatic UML model consistency checking. In: Proceedings of the 20th IEEE/ACM international Conference on Automated Software Engineering (ASE 2005), Long Beach, CA, USA, Demonstration Session: Formal tool demo presentations, pp. 431-432. ACM Press, New York (2005)
26. Sirin, E., Parsia, B., Grau, B.C., Kalyanpur, A., Katz, Y.: Pellet: A Practical OWL-DL Reasoner. Journal of Web Semantics (submitted for publication, 2007)
27. Stahl, T., Völter, M.: Model-Driven Software Development: Technology, Engineering, Management, 1st edn. Wiley & Sons, Chichester (2006)