Re: using owl:restrictions

On Feb 19, 2006, at 11:36 AM, Bijan Parsia wrote:
....
>>
>> This is not what I meant. Logically, it defines a class A that is (a
>> subset of) the intersection of the set {x: Ey(Rxy & Py)} and Q.  What
>> I was trying to express is instead:
>>
>> {x: Ey(Rxy & Py)} is a subset of Q
>
>
> Ah, but you seem to think that prefix is the way to do it. It's  
> not. subClassOf is always infix:
>
>  <owl:Restriction>
> 	<owl:onProperty rdf:resource="#R"/>
>          <owl:someValuesFrom rdf:resource="#P"/>
> 	<rdfs:subClassOf rdf:resource="#Q"/>
> </owl:Restriction>

Thanks, I had miss this about subClassOf.

>
>> I was trying to figure how to express in owl these 2 logical
>> constraints on an arbitrary property (binary predicate) R:
>>
>> 1. (Ex)(Rxy & Qx) => Py
>>
>> 2. (Ey)(Rxy & Py) => Qx
>
> 	<http://www.mindswap.org/dav/ontologies/bijan/2006/examples/owl- 
> dev-2006-feb>
>
> does both.
>
>> (1) is straightforward in owl (or so I thought, perhaps I am wrong  
>> there too):
>>
>> <owl:Class rdf:about="#Q>
>>    <rdfs:subClassOf>
>>       <owl:Restriction>
>>          <owl:onProperty rdf:resource="#R"/>
>>          <owl:allValuesFrom rdf:resource="#P"/>
>>       </owl:Restriction>
>>    </rdfs:subClassOf>
>> </owl:Class>
>
> That gives you Qx => (Ey)(Rxy & Py). See my file for the correct  
> encoding.

> And didn't you mean "someValuesFrom"?

No i meant allValuesFrom. The meaning is

Qx => (Rxy => Py) , which in turn is equivalent to

(Qx & Rxy) => Py  (all variables are universally quantified).

>
>> (2) is the one I have a question about.  It seems that it can be
>> expressed in the "straightforward" form of (1), provided that IR (the
>> inverse of R) is used.
>
> Hmm. I missed the swap of the variables.. Yes, you need an inverse  
> in order to bind the first argument of a property with a nested  
> quantifier.
>
>> But is the inverse necessary?
>
> Yes. And, unfortunately, in owl you don't have an inverse operator  
> (as is standard in DLs), so you have to coin a name for the  
> inverse. Curse RDF! :)
>
> Cheers,
> Bijan.
>

This was quite helpful. Thanks,

--
Pierluigi Miraglia
@home Austin, Tex.

Received on Monday, 20 February 2006 06:53:22 UTC