[Pellet-users] Retriving Existential and universal restrictions on a class

[Prakash Kadel]

Hi,
	I am sorry to post this kind of question, but since I just started
using pellet I don’t know much. So please give me some suggestions with this
problem

I have the following axioms in my knowledge base:

  sub(http://univ.owl#Department,http://univ.owl#Organization)
sub(http://univ.owl#Faculty,http://univ.owl#Employee)
sub(http://univ.owl#Professor,http://univ.owl#Faculty)
sub(http://univ.owl#Chair,http://univ.owl#Professor)
 
same(http://univ.owl#Chair,and([http://univ.owl#Person,some(http://univ.owl#
headOf,http://univ.owl#Department)]))
 
same(http://univ.owl#Employee,and([http://univ.owl#Person,some(http://univ.o
wl#worksFor,http://univ.owl#Organization)]))
  
  
As we can see there are two restrictions on http://univ.owl#Chair class 
	http://univ.owl#headOf
	http://univ.owl#worksFor     (Inferred from employee super class)

How can i get these restrictions with the class http://univ.owl#Chair 

Also, both of these restrictions are Existential ones , how about Universal
restrictions?

I read an earlier reply by Evren saying that this kind of query could be
trickier. (April 2007 Thread: Property by Oscar)
Can anyone suggest a query for this problem.

Thanks in advance.

Prakash

No virus found in this outgoing message.
Checked by AVG Free Edition. 
Version: 7.5.472 / Virus Database: 269.8.1/822 - Release Date: 5/28/2007
11:40 AM
 
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://lists.owldl.com/pipermail/pellet-users/attachments/20070529/a3bb55cc/attachment.htm