[Pellet-Users] subsumption with Jena-Pellet

[Ibach, Brandon L]

Serge,
	I don't do much with Jena, so I can't answer the OntModel vs.
Model questions, but I can point out where you'll have a problem in
generating your desired inference.
	Because Ada and Honeywell are concepts, rather than individuals,
your statement that "Ada was invented by Honeywell" is really, more
accurately, "All Adas were invented by some Honeywell".  Since this does
not imply that all Honeywells invented all Adas (or any Ada, for that
matter), I think it would be difficult to construct a query that would
return the Honeywell concept, or even the one Honeywell individual you
have in your ontology, since there is nothing to support the assertion
that that particular Honeywell invented anything.
	Unfortunately, I'm not sure how you should go about modeling
this to get the inference you want, partly because I lack an
understanding of your application.  You might want to try asking about
the modeling issues on a more general OWL discussion forum, as I don't
think that this issue is Pellet-specific.

-Brandon :)


-----Original Message-----
From: pellet-users-bounces at lists.mindswap.org
[mailto:pellet-users-bounces at lists.mindswap.org] On Behalf Of Serge
Linckels
Sent: Friday, September 08, 2006 7:27 AM
To: pellet-users at lists.mindswap.org
Subject: [Pellet-Users] subsumption with Jena-Pellet

Hi,

Can someone help me with the following problem?

I have a short ontology (cf. attach) saying the following:
- concepts: Honeywell C Creator C Clip
  (Honeywell is a Creator and a creator is a Clip - video sequence -)

- concepts: Ada C Language C my:Thing C Clip
  (Ada is a programming language...)

- my:Thing allValuesFrom wasInventedBy.Creator
  (every Thing was invented by a Creator)

- Ada someValuesFrom wasInventedBy.Honeywell
  (Ada was invented by Honeywell)


I create a query saying:
  Ada *and* someValuesFrom wasInventedBy.*top*
  (Who invented Ada?)

The result of the inference (subsumption) is the concept Honeywell
(because Ada was invented by Honeywell).


My problem is how this inference can be computed by Pellet (via Jena).
Can somebody write me a piece of code?

My idea is to create restrictions with Jena in an OntModel to represent
the query description. However, a Pellet instance can only load a Model
(not
OntModel) and I don't know how to represent the query in a Jena Model...

Tx for any answer

__________________________________________________________

                .::   Serge Linckels   ::.

                  http://www.linckels.lu


              -- May the force be with you --
__________________________________________________________