[Pellet-users] getting individuals

[Alexander Becker]

Hi all.

I'm sorry that Ihave to ask nearly the same thing over and over, but it just won't work.

I have an ontology, that consists of some rdfs, that load some owls. Ther is 1 owl file, that contains all properties that were used in the whole ontology. It's called system.owl.

Now I want to fetch all individuals that satisfy some properties. To satisfy a property, an individual must have that property. It's absolutely not relevant what value it has.

So:
- there exists a property named hasTag
- there exists an individual named NN that has a property hasTag
- the hasTag property of the individual NN is a subclass of system.owl#hasTag

How do I get that individual? I don't know where the individual is located. There are about 6 different owl files thatcontains thousands of individuals. As I cannot access the list of loaded owl files through the reasoner or the ontology, I cannot simply iterate over all these owl files and ask the reasoner for instances that satisfy "owl_file#hasTag".

I thought it would be possible to ask the reasoner for all individuals, that have a property that is a subproperty of some property in system.owl.
Isn't it?

regards, Alex
-- 
Psssst! Schon vom neuen GMX MultiMessenger gehört?
Der kann`s mit allen: http://www.gmx.net/de/go/multimessenger