W3C home > Mailing lists > Public > semantic-web@w3.org > April 2005

Re: Rule-based approach to conclude owl:intersectionOf

From: Jeremy Wong 黃泓量 <50263336@student.cityu.edu.hk>
Date: Thu, 07 Apr 2005 19:34:04 +0800
To: jos.deroo@agfa.com
Cc: Chris Purcell <cjp39@cam.ac.uk>, semantic-web@w3.org
Message-id: <000901c53b65$b422c380$0401a8c0@wongkjo9u38gzb>
[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
Received on Thursday, 7 April 2005 12:47:17 UTC

This archive was generated by hypermail 2.4.0 : Tuesday, 5 July 2022 08:44:52 UTC