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

The presentation concerns a draft implementation with Protégé OWL Plugin for SWRL, based on the RDF concrete syntax of the SWRL proposal. A first prototype of a SWRL Tab Widget has been achieved. It is a bridge between Protégé OWL, Racer, and Jess, intended to help reasoning with SWRL rules combined with OWL ontologies. A small example is given including an OWL ontology representing the family ...

RuleML and SWRL are closely related rule markup languages that are growing in popularity particularly within the Semantic Web community. Both are based on XML and as such are more amenable to computer processing than human generation and interpretation. Even so it is possible to read and write RuleML and SWRL rules manually using a text editor. Due to certain constraints imposed within SWRL, ho...

(SWR x New Zealand Black (NZB))F(1) (or SNF(1)) mice succumb to lupus nephritis. Although several NZB lupus susceptibility loci have been identified in other crosses, the potential genetic contributions of SWR to lupus remain unknown. To ascertain this, a panel of 86 NZB x F(1) backcross mice was immunophenotyped and genome scanned. Linkage analysis revealed four dominant SWR susceptibility loc...

This work focuses on the integration of the spatial analyses for semantic reasoning in order to compute new axioms of an existing OWL ontology. To make it concrete, we have defined Spatial Built-ins, an extension of existing Built-ins of the SWRL rule language. It permits to run deductive rules with the help of a translation rule engine. Thus, the Spatial SWRL rules are translated to standard S...

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

We present SWRL-IQ (SWRL Inference and Query Tool), a Protégé plug-in that allows users to create, edit, save, and submit queries to an underlying inference engine based on XSB Prolog. The tool distinguishes itself from other reasoning tools by a number of features, including goal-oriented backward-chaining reasoning, flexible constraint handling that allows for very declarative rules and queri...

When developing situation awareness applications we begin by constructing an OWL ontology to capture a language of discourse for the domain of interest. Such an ontology, however, is never sufficient for fully representing the complex knowledge needed to identify what is happening in an evolving situation – this usually requires general implication afforded by a rule language such as SWRL. This...

In this paper we describe how XML documents are mapped into an OWL ontology and how SWRL rules are used to validate the semantic content of XML documents. XML completion and data constraints are specified with SWRL. The semantic completion of the XML document can be mapped into a semantic completion of the corresponding ontology. Besides, SWRL serves for specifying and reasoning with data const...

In an attempt to extend existing knowledge representation systems to deal with the imperfect nature of real world information involved in several applications, the AI community has devoted considerable attention to the representation and management of uncertainty, imprecision and vague knowledge. Moreover, a lot of work has been carried out on the development of reasoning engines that can inter...