What are the relationships between the OWL 2 profiles and the RIF dialects?
There are several relationships between OWL 2 and RIF dialects. Firstly, RIF defines the notion of RIF/OWL combinations, providing a semantics for them and a syntactic mechanism for defining such combinations by importing OWL documents into RIF documents. This is specified in RIF RDF and OWL Compatibility. This mechanism defines import profiles for both OWL 2 DL and OWL 2 Full semantics. Thus each OWL 2 Profile can be used in combination with any RIF dialect using this mechanism. There are no separate import profiles corresponding to the separate OWL 2 profiles. Secondly, OWL 2 defines a profile, OWL 2 RL, designed to be implementable by means of rule based systems. A partial axiomatization of the OWL 2 RL semantics is given in the OWL Profiles document as a set of first order rules. These rules can be translated into RIF Core rules either as a static rule set or on a per-ontology basis as discussed in OWLRL. This enables implementation of an OWL 2 RL entailment checker or query answer
