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...

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...

This chapter gives an extended introduction to the lightweight profiles OWL EL, OWL QL, and OWL RL of the Web Ontology Language OWL. The three ontology language standards are sublanguages of OWL DL that are restricted in ways that significantly simplify ontological reasoning. Compared to OWL DL as a whole, reasoning algorithms for the OWL profiles show higher performance, are easier to implemen...

This paper presents a restricted variant of the OWL Lite species of the OWL ontology language, called OWL Light−. OWL Light− is a strict subset of OWL Lite, which falls within the Description Logic Programming (DLP) language L0. Thus, any ontology in OWL Light− can be translated into Datalog in order to allow for efficient query answering. It turns out that most current ontologies fall inside t...

Humane OWL (HOWL) is a syntax for RDF and OWL designed for manual editing. By allowing human-readable labels to be used in place of IRIs, and providing convenient syntax for OWL annotations and expressions, HOWL files can be used like source code with tools such as GitHub, then translated into any other RDF or OWL format for use with other tools. Keywords—RDF, OWL, syntax, source code