Service-based systems are usually conceived and executed in highly dynamic environments. To support their automatic adaptation to this variability, execution context should be considered as a first-class concept during their design. This paper proposes a design approach that exploits semantics for modeling contexts and related systems’ behaviors. The context model extends the OWL-S ontology to ...

I. Problem •Let be Q = (IQ, OQ, RQ) a user query with: IQ a set of input attributes, OQ a set of output attributes and, RQ an execution risk indicating if the obtained results can be compensated (semantically undone) or not by the user. • In the registry, each Web service (WS) is described (using OWL-S) by its: functional property (i.e. set of input and output attributes), transactional propert...

In recent years, numerous studies have been attempted to exploit ontology in the area of ubiquitous computing. Especially, some kinds of ontologies written in OWL are proposed for major issues in ubiquitous computing such like context-awareness. OWL is recommended by W3C as a descriptive language for representing ontology with rich vocabularies. However, developers struggle to design ontology u...

Subaltern narratives are born of lived experiences and folk wisdom, with a unique flavour the soil, tempered tears sweat. Dharman’s narrative technique “The Owl” is Ms. Vasantha Surya, translator deftly captures cadence core mystic rendering aplomb. The spoken register karisal region earthy but can be easily followed by all in translation, it requires footnotes references. Cho Dharman, who has ...

Although the OWL Web Ontology Language adds considerable expressive power to the Semantic Web it does have expressive limitations, particularly with respect to what can be said about properties. We present SWRL (the Semantic Web Rules Language), a Horn clause rules extension to OWL that overcomes many of these limitations. SWRL extends OWL in a syntactically and semantically coherent manner: th...

We introduce OWL Flight, an extension of OWL− (a subset of OWL, which can be translated to Datalog) with different kinds of constraints and a form of the local closed-world assumption, as well as support for datatypes based on the OWL-E datatypes extension for OWL. The resulting language can be evaluated on a Datalog engine with support for integrity constraints, inequality (in the rule body) a...

In this paper, we apply automatic tools to the verification of interaction protocols of Web services described in OWL-S. Specifically, we propose a modeling procedure that preserves the control flow and the data flow of OWL-S Process Models. The result of our work provides complete modeling and verification of OWL-S Process Models.

—In this talk we describe the OWL reasoning landscape and its obstacles. We overview the three tractable OWL fragments and discuss dramatic speed improvements achieved by corresponding specialized reasoners. Furthermore, various combinations of OWL constructors and their impact on practical reasoning performance are analyzed. In the last part we give a brief overview of promising approaches to ...

Mapping between ontologies and relational databases is a necessity in realising the Semantic Web vision. Most of the work concerning this topic has either (1) extracted OWL schemas using a limited range of OWL modelling constructs from relational schemas, or (2) extracted relational schemas from OWL schemas, that represent the OWL schemas as much as possible. By contrast, we propose a general f...

The desire to share and reuse knowledge has led to the establishment of a new knowledge representation language: the Web Ontology Language (OWL). The design choices made in OWL are properly documented, but their implications for AI research are not yet clear. This thesis explores the expressiveness of OWL by formalising the vocabulary and models used in qualitative reasoning (QR), and the appli...