Re: Rule-based approach to conclude owl:intersectionOf

[snip]
> > Here comes the problem of collection generation and attaching the
> > owl:oneOf vocabulary to the head of the list. Can rules generate a
> > collection? (Thinking...)
> 
> depends on what you mean with "generate"..
> 
> there are comprehension conditions for lists
> http://www.w3.org/TR/owl-semantics/rdfs.html#comprehension_principles
>
[snip]

It is to generate a collection, rdf:List, from a set of individuals using rules without variables... i.e.

<#A> , <#B> , <#C> ∈ <#X>
=>
<#X> owl:oneOf ( <#A> <#B> <#C> )



Jeremy