The semantic web is a vision of the next generation of the web, which is a recommendation by the World Wide Web Consortium (W3C). It extends the current web by assigning web content with a well-defined meaning, aimed at enabling intelligent machine processing of web resources. Description Logic (DL) based ontology languages, such as the Web Ontology Language (OWL) and Semantic Web Rule Language (SWRL), have been proposed to meet the needs of representing the deep relationships among different entities. One of the advantages of the ontology notations is that DL reasoning engines can be effectively used to perform large-scale automated reasoning on ontologies and their instances, e.g., subsumption reasoning, consistency checking, classification and knowledge inference. The scale of such verifications is usually in terms of thousands of ontological individuals (instances).
To a certain extent, the semantic web approach can be considered as an application of formal engineering methods into the web community, where web resources are formally specified using description logic notations and rigorously verified using ontological reasoning engines. The success of the semantic web can have a profound impact on the environment for formalised software development. It allows both the software engineers and machines to understand the content of design models and supports more effective software design in terms of understanding, sharing and reusing in a distributed manner. To realise the full potential of the semantic web in formal software development, effectively creating proper semantic metadata for formal software models and their related software artefacts is crucial.
In this special session, we aimed at exploring the synergy between software engineering technologies and the semantic web. Original and research articles are solicited in all aspects including theoretical studies, practical applications, and experimental prototypes.
All submitted papers will be peer-reviewed and selected on the basis of both their quality and their relevance to the theme of this special issue. Potential topics include, but are not limited to:
Papers accepted by SEKE2018 must be presented at the conference by one of the authors. This is a pre-condition for your paper to be further considered for publication in a special issue in IJSEKE on SESE. The revised version must have about 40% additional content compared to the conference paper.
Papers will be evaluated on their merits, contribution to the service/cloud computing field, suitability to the special issue, and overall quality. All papers will be rigorously referred by IJSEKE reviewers. Submission of a manuscript to this special issue implies that no similar paper is already accepted or will be submitted to any other conference or journal. Paper preparation guidelines can be found in the website of International Journal of Software Engineering and Knowledge Engineering.