Re: technical detail feedback on OWL Rules: truth value for empty consequent

From: Sandro Hawke (sandro@w3.org)
Date: 11/04/03

  • Next message: Benjamin Grosof: "Re: technical detail feedback on OWL Rules: truth value for empty consequent"
    > Remove the condition that a consequent is a conjunction. Its never a 
    > conjunction, except as syntactic sugar for a conjunction of rules 
    > each with a singleton-disjunction consequent.
    
    It needs to be a conjunction to get Horn expressivity using
    existentials scoped inside the consequent, right?
    
          -- sandro
    


    This archive was generated by hypermail 2.1.4 : 11/04/03 EST