We describe the architecture of a novel ontology and rule editor ACE View. The goal of ACE View is to simplify viewing and editing expressive and syntactically complex OWL/SWRL knowledge bases by making most of the interaction with the knowledge base happen via Attempto Controlled English (ACE). This makes ACE View radically different from current OWL/SWRL editors which are based on formal logi...

In this paper we introduce the AKTive Workgroup Builder (AWB) web application and describe how it uses distributed RDF data, defined against an OWL Lite ontology, to build and solve a user defined Constraint Satisfaction Problem (CSP). We describe our approach to mixed mode reasoning using both ontological and rule based methods and discuss how some of the factors relating to this affect the de...

Rule languages and rule systems are widely used in business applications including computer-aided training, diagnostic fact finding, compliance monitoring, and process control. However, there is little interoperability between current rule-based systems. Interoperation is one of the main goals of the Semantic Web, and developing a language for sharing rules is often seen as a key step in reachi...

The Semantic Web brings powerful languages for creating models, based on Description Logics and Rules. These languages are used within ontology engineering tools and applied in strong and efficient reasoners. Working within the context of a Summer School, we explored these technologies by creating a small and easy to understand example, working firstly with OWL alone, and introducing SWRL rules...

In this paper we present a proposal for representing soft CSPs within the Semantic Web architecture. The proposal is motivated by the need for a service-providing agent to reason about its commitments as soft constraints. The two essential requirements addressed are: the need to associate utility values with constraints, to reflect the relative importance of satisfying them, and the need to mak...

Our interest lies in exploring the interplay between ontological and rule based reasoning with instance data when applied to Constraint Satisfaction Problem (CSP) solving. The AKTive Workgroup Builder (AWB) is a Semantic Web application developed to help us achieve this aim. We share our experiences of developing the AWB – how the current technologies can influence the usability and design of s...

The Semantic Web Rule Language (SWRL) allows the combination of rules and ontology terms, defined using the Web Ontology Language (OWL), to increase the expressiveness of both. However, as rule sets grow, they become difficult to understand and error prone, especially when used and maintained by more than one person. If SWRL is to become a true web standard, it has to be able to handle big rule...

In this paper we propose the Fire system, a prototype rule engine for reasoning with SWRL (Semantic Web Rules Language) [5] rules and OWL (Ontology Web Language) ontologies. This system is intended as an extension to the reasoning services of the RACER system [3]. For ease of implementation, support is currently provided for SWRL rules that are restricted as follows: (i) Rules must be atomic (s...