Re: A possible way of going forward with OWL-R unification (ISSUE-131)

On Jul 10, 2008, at 4:20 PM, Boris Motik wrote:

> "The rules from Section 4.3 can be applied to arbitrary RDF graphs,  
> in which case the produced consequences are sound but not
> necessarily complete."

One thing to consider with this last bit, is that there is issue-117  
and discussion at the F2F had leaned towards saying that non- 
entailments in OWL-R would not be sanctioned. Thus "complete" would  
need to be qualified - the entailments might be complete in the sense  
that no others are sanctions, but incomplete with respect to a more  
expressive language.

-Alan