Search Mailing List Archives
steven.m.wilder at lmco.com
Thu May 29 07:51:21 PDT 2008
I like the automatic inference better. I tried classifying the taxonomy
using a reasoner, but that didn't seem to do the trick.
How can I get my protege server to do this kind of automatic inference
Thomas Russ wrote:
> On May 27, 2008, at 9:34 AM, Steve Wilder wrote:
>> I have a problem that I'm trying to diagnose.
>> I have the following definition in OWL:
> AAR <= hasAssociatedMissions has AEW_instance
>> If I create an instance of AAR in the Protege editor, the new instance
>> properly fills in the hasAssociatedMissions property with
> That is because the instance editor has a special purpose routine that
> looks for fillers specified by hasValue restrictions on the instance.
> In effect, there is some implicit inference done by the editor to
> figure out the slot value.
>> However, when using the Protege client/server in my program, I'm not
>> seeing this property filled in correctly for any instances of AAR.
>> AAR myAAR = myFactory.createAAR("myAAR");
>> System.out.println("AAR: " + myAAR + " has associated missions: " +
>> AAR: DefaultAAR(myAAR of [DefaultOWLNamedClass(aco:AAR,
>> 1))]) has associated missions: 0
> That is because this does not do any inference. It looks only at the
> assserted information.
> You can get the hasValue restrictions by using the
> "getHasValuesOnTypes" method. Note that this is a moderately
> expensive method to call.
> OWLProperty prop = model.getOWLProperty("hasAssociatedMissions");
> protege-owl mailing list
> protege-owl at lists.stanford.edu
> Instructions for unsubscribing: http://protege.stanford.edu/doc/faq.html#01a.03
-------------- next part --------------
A non-text attachment was scrubbed...
Size: 187 bytes
Desc: not available
More information about the protege-owl