- From: Dave Reynolds <der@hplb.hpl.hp.com>
- Date: Wed, 04 Feb 2004 19:21:06 +0000
- To: "Miles, AJ (Alistair) " <A.J.Miles@rl.ac.uk>
- Cc: "Dave Beckett (E-mail)" <dave.beckett@bristol.ac.uk>, "Nikki Rogers (E-mail)" <Nikki.Rogers@bristol.ac.uk>, "'public-esw-thes@w3.org'" <public-esw-thes@w3.org>
Hi Alistair,
> Couple of general OWL questions:
>
> 1. If a property is declared as an owl:TransitiveProperty, will all
> sub-properties also be transitive?
>
> 2. If a property is declared as an owl:SymmetricProperty, will all
> sub-properties also be symmetric?
I don't think either are true.
If s is a supProperty of p that means that each pair (sub,obj) in s is
also in p but the subset of pairs in s can be arbitrary. For example, in
a domain with two members a and b you could have:
p = { (a, b), (b, a) }
s = { (a, b) }
Here p is symmetric and s is a subProperty of p but s is not symmetric.
Dave
Received on Wednesday, 4 February 2004 14:21:23 UTC