Ontology-based verification of core model conformity in conceptual modeling

Computers, Environment and Urban Systems

Volumn 30, Issue 5, 2006, Pages 543-561

  Hess, Claudia ^a   Schlieder, Christoph ^a  

^a UNIVERSITY OF BAMBERG   (Germany)

Author keywords

Conformity verification; Ontological modeling; Schema evolution

Indexed keywords

ITERATIVE METHODS; MODELS; MODIFICATION;

CONFORMITY VERIFICATION; CORE MODELS; ONTOLOGICAL MODELING; SCHEMA EVOLUTION;

GEOGRAPHIC INFORMATION SYSTEMS;

MODELING; STANDARD (REFERENCE);

THESSALONIKI;

EID: 33747864139     PISSN: 01989715     EISSN: None     Source Type: Trade Journal    
DOI: 10.1016/j.compenvurbsys.2005.08.009     Document Type: Article

References (19)

1. Arlow, J., Emmerich, W., & Quinn, J. (1999). Literate modelling-capturing business knowledge with the 'UML'. In UML'98-beyond the notation. First international workshop. J. Bézivin & P. Muller (Eds.), The Unified Modeling Language, Vol. 1618 (pp. 189-199). Springer-Verlag.
2. Baader F., Calvanese D., McGuinness D., Nardi D., and Patel-Schneider P. The description logic handbook: Theory, implementation, and applications (2003), Cambridge University Press
3. Baclawski K., Kokar M.K., Kogut P.A., Hart L., Smith J., Holmes W.S., et al. Extending UML to support ontology engineering for the semantic web. Lecture notes in computer science. Proceedings of the 4th international conference on the unified modeling language, modeling languages, concepts, and tools Vol. 2185 (2001), Springer-Verlag 342-360
4. Berardi, D. (2002). Using DLs to reason on UML class diagrams. In G. Görz, V. Haarslev, C. Lutz, & R. Möller (Eds.), Proceedings of the KI-2002 workshop on applications of description logics. CEUR electronic workshop proceedings. Available from http://ceur-ws.org/Vol-63/, Aachen, Germany.
5. Berardi, D., Calvanese, D., & De Giacomo, G. (2001). Reasoning on UML class diagrams using description logic based systems. In Proceedings of the KI'2001 workshop on applications of description logics. CEUR electronic workshop proceedings. Available from http://ceur-ws.org/Vol-44/.
6. Berardi, D., Calvanese, D., & De Giacomo, G. (2003). Reasoning on UML class diagrams is EXPTIME-hard. In Proceedings of the 2003 description logic workshop (DL 2003). CEUR electronic workshop proceedings. Available from http://ceur-ws.org/Vol-81/.
7. Calì, A., Calvanese, D., De Giacomo, G., & Lenzerini, M. (2001). Reasoning on UML class diagrams in description logics. In Proceedings of IJCAR workshop on precise modelling and deduction for object-oriented software development (PMD 2001).
8. Falkovych K., Sabou M., and Stuckenschmidt H. UML for the semantic web: Transformational approaches. In: Omelayenko B., and Klein M. (Eds). Knowledge transformation for the semantic web (2003), IOS Press
9. Franconi, E. & Ng, G. (2000). The i•com tool for intelligent conceptual modeling. In Proceedings of knowledge representation meets databases (KRDB'00). pp. 45-53.
10. Guarino N. Formal ontology and information systems. In: Guarino N. (Ed). Formal ontology in information systems. Proceedings of FOIS'98 (1998), IOS Press, Trento, Italy 3-15
11. Lemmen, C., van der Molen, P., van Oosterom, P., Ploeger, H., Quak, W., Stoter, J., et al. (2003). A modular standard for the cadastral domain. In Proceedings of digital earth 2003: Information resources for global sustainability: knowledge, networks, technology, economy, society, natural and human resources, policy and strategy. Brno, Czech Republic. pp. 108-117.
12. Object Management Group (2002). XML metadata interchange (XMI) specification, version 2.0.
13. Object Management Group (2003). OMG unified modeling language specification, version 1.5.
14. Scheer A., and Habermann F. Enterprise resource planning: making ERP a success. Communications of the ACM 43 4 (2000) 57-61
15. Tzani, A. (2003). Object-oriented modelling of the Greek Cadastre. Master's thesis, School of Rural and Surveying Engineering of Aristotle University of Thessaloniki.
16. Uschold M., and Grüninger M. Ontologies: principles, methods, and applications. Knowledge Engineering Review 11 2 (1996) 93-155
17. Wache, H. (2003). Semantische Mediation für heterogene Informationsquellen. Ph.D. Thesis, Technologie-Zentrum Informatik, Universität Bremen, Akademische Verlagsgesellschaft Aka GmbH, Dissertationen zur Künstlichen Intelligenz, Berlin.
18. World Wide Web Consortium (2001). DAML+OIL (March 2001) Reference Description.
19. World Wide Web Consortium (2004). OWL web ontology language overview, W3C Recommendation 10 February 2004.