SWRL is an expressive OWL-based rule language that can be used to increase the amount of knowledge encoded in OWL ontologies. While semantically a SWRL rule can be considered as an additional type of OWL axiom, the authoring and management of SWRL rule bases requires specialized tools that are not typically present in standard OWL development environments. In this paper, we describe such a tool...

In many data-centric applications, it is desirable to use OWL as an expressive schema language with which one expresses constraints that must be satisfied by instance data. However, specific aspects of OWL’s standard semantics—i.e., the Open World Assumption (OWA) and the absence of Unique Name Assumption (UNA)—make it difficult to use OWL in this way. What triggers a constraint violation in cl...

RDF(S) and OWL 2 can currently represent only static information. In practice, however, the truth of statements often changes with time. Semantic Web applications often need to represent such changes and reason about them. In this paper we present a logic-based approach for representing validity time in RDF(S) and OWL 2. Unlike the existing proposals, our approach is applicable to nondeterminis...

OWL is a standard ontology language defined by W3C that is used for knowledge representation, discovery, and integration. Having a solid OWL reasoning engine inside a relational database system like Oracle is significant because 1) many relational techniques, including query optimization, compression, partitioning, and parallel execution, can be inherited and applied; and 2) relational database...

In this paper, we propose a software environment for user-centered on-the-fly ontology construction named DODDLE-OWL (Domain Ontology rapiD DeveLopment Environment Web Ontology Language extension). The architecture of DODDLE-OWL is re-designed based on DODDLE-II [1], our former study. DODDLE-OWL has the following five modules: Input Module, Construction Module, Refinement Module, Visualization ...

We present in this paper a framework that provides support for interoperability between XML Schema based and OWL based applications. In particular, we describe how the information exchange between such applications is achieved, through the transformations of XML documents to OWL/RDF descriptions and of OWL/RDF descriptions to (parts of) valid XML documents. This functionality is built on top of...

This system description paper introduces the OWL 2 query answering system Hydrowl. Hydrowl is based on novel hybrid techniques which in order to compute the query answers combine at run-time a reasoner ans1 supporting a (tractable) fragment of OWL 2 (e.g., OWL 2 QL and OWL 2 RL) with a fully-fledged OWL 2 DL reasoner ans2. The motivation is that if most of the (query answering) work is delegate...

This paper discusses issues that surround the provision of application support using OWL ontologies. It presents the OWL API, a high-level programmatic interface for accessing and manipulating OWL ontologies. We discuss the underlying design issues and illustrate possible solutions to technical issues occurring in systems that intend to support the OWL standard. Although the context of our solu...

OWL DL corresponds to a Description Logic (DL) that is a fragment of classical first-order predicate logic (FOL). Therefore, the standard methods of automated reasoning for full FOL can potentially be used instead of dedicated DL reasoners to solve OWL DL reasoning tasks. In this paper we report on some experiments designed to explore the feasibility of using existing general-purpose FOL prover...

The Ontology for Biomedical Investigations (OBI), written in OWL DL, is being developed by a large consortium seeking to provide a crossdomain, shared framework for representing investigations in the biological and biomedical sciences. In this paper we report our experiences and describe our development process as it pertains to OWL, which includes a number of elements that might inform tool de...