Abstract The Semantic Web movement has led to the publication of thousands of ontologies
online. These ontologies present and mediate information and knowledge on the Semantic …

Process modeling is an expensive task that needs to encompass requirements of different
stakeholders, assure compliance with different standards, and enable the flexible adaptivity …

Ontologies constitute formal models of some aspect of the world that may be used for
drawing interesting logical conclusions even for large models. Software models capture …

This article re-investigates the idea of using the semantic-web-technologies for formally
describing subject-oriented process models. It proposes improvements to previous …

This article gives an example of improving the effectiveness of behavior modeling
languages using ontological techniques. The techniques are applied to behaviors in the …

Abstract A Software Product Line (SPL) is a set of programs that are developed as a whole
and share a set of common features. Product line's variability is typically specified using …

The semantic web and model-driven engineering are changing the enterprise computing
paradigm. By introducing technologies like ontologies, metadata and logic, the semantic …

Flexible activity refinement plays an important role in improving process flexibility and
addressing uncertainties of business processes. However, it is still a challenge to refine …

Conjunctive Query (CQ) answering is a primary reasoning task over knowledge bases.
However, when considering expressive description logics, query answering can be …

The literature contains arguments for the benefits of representing and reasoning with BPMN
processes in (OWL) ontologies, but these proposals are not able to reason about their …