Translate rule of dating
Both the antecedent (body) and consequent (head) consist of zero or more atoms.An empty antecedent is treated as trivially true (i.e.Please consult the requirements associated with Member Submissions of section 3.3 of the W3C Patent Policy.
An extension of the OWL model-theoretic semantics is also given to provide a formal meaning for OWL ontologies including rules written in this abstract syntax.
By publishing this document, W3C acknowledges that the National Research Council of Canada, Network Inference and Stanford University have made a formal submission to W3C for discussion.
Publication of this document by W3C indicates no endorsement of its content by W3C, nor that W3C has, is, or will be allocating any resources to the issues addressed by it.
The abstract syntax is specified here by means of a version of Extended BNF, very similar to the EBNF notation used for XML .
Terminals are quoted; non-terminals are bold and not quoted.satisfied by every interpretation), so the consequent must also be satisfied by every interpretation; an empty consequent is treated as trivially false (i.e., not satisfied by any interpretation), so the antecedent must also not be satisfied by any interpretation. Note that rules with conjunctive consequents could easily be transformed (via the Lloyd-Topor transformations ) into multiple rules each with an atomic consequent.