|
3
1
|
I wonder if there is such a list of rules for OWL, similar to these for RDF and RDF Schema :
Note : I did not find in : http://www.w3.org/TR/2004/REC-owl-semantics-20040210/ |
||
|
|
|
2
|
As Jean-Marc says, the OWL RL profile is designed to be implementable by rules [*]. In addition there is a discussion of how to translate this specification into executable RIF rules in the OWL 2 RL Note, including a full listing of the RIF version of the rules. [*] Note there is a subtlety that the OWL RL semantics cannot be completely implemented by rules so a DL implementation will be able to find more entailments than a rule-based implementation even when operating on an ontology that falls in the OWL 2 RL profile. However, the OWL 2 RL conformance clause allows incomplete implementations and Theorem PR1 in the OWL 2 Profiles spec defines the restrictions under which a rule implementation is complete. |
||
|
|
|
1
|
This is the official document for rules that a forward chaining inference engine may use to implement OWL semantics (at least for the RL profile) : http://www.w3.org/TR/owl2-profiles/#Reasoning_in_OWL_2_RL_and_RDF_Graphs_using_Rules |
||
|
|
