CSDL Home A ASE 2006 Proceedings. 21st IEEE International Conference on Automated Software Engineering
Sept. 18, 2006 to Sept. 22, 2006
Alexander Paar , Universitat Karlsruhe (TH)
Walter F. Tichy , Universitat Karlsruhe (TH)
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/ASE.2006.56
Recently, the Web Ontology Language (OWL) and XML Schema Definition (XSD) have become ever more important when it comes to conceptualize knowledge and to define programming language independent type systems. However, writing software that operates on ontological data and on XML instance documents still suffers from a lack of compile time support for OWL and XSD. Especially, obeying lexical- and value space constraints that may be imposed on XSD simple data types and preserving the consistency of assertional ontological knowledge is still error prone and laborious. Validating XML instance documents and checking the consistency of ontological knowledge bases according to given XML Schema Definitions and ontological terminologies, respectively, requires significant amounts of code. This paper presents novel compile time- and code generation features, which were implemented as an extension of the C# programming language. Zhi# provides compile timeand runtime support for constrained XML Schema Definition simple data types and it guarantees terminological validity for modifications of assertional ontological data.
Alexander Paar, Walter F. Tichy, "Programming Language Inherent Support for Constrained XML Schema Definition Data Types and OWL DL", ASE, 2006, Proceedings. 21st IEEE International Conference on Automated Software Engineering, Proceedings. 21st IEEE International Conference on Automated Software Engineering 2006, pp. 281-284, doi:10.1109/ASE.2006.56