[owl-s] About paramType reason

[dink]

Thanks Evren for solving so many problems. 
After I trace the code of Matchmaker.java, I have tried to test OWLType.isSubTypeOf() and found something strange.
I have changed the inputs of ZipCodeFinder.owl as follows:
The paramType of 1st input City:http://www.w3.org/2001/XMLSchema#string  --> http://mis.ccu.edu.tw/~dink/Wine.owl#Wine
The paramType of 2nd input:State http://www.w3.org/2001/XMLSchema#string --> http://mis.ccu.edu.tw/~dink/Wine.owl#Red_Wine
The ZipCodeFimder.owl: http://mis.ccu.edu.tw/~dink/ZipCodeFinder.owl
The Wine.owl: http://mis.ccu.edu.tw/~dink/Wine.owl
Wine ------------Red_Wine 
         ------------Rose_Wine--------Grape_Wine         
         ------------White_Wine
                   
I use the following code to use the OWLType.isSubTypeOf() to test if 2nd paramType is the subType of 1st paramType.
      InputList inputList=process.getInputs();
      Input input1=inputList.inputAt(0);
      Input input2=inputList.inputAt(1);
      if(input2.getParamType().isSubTypeOf(input1.getParamType()))
        System.out.println("True");
      else
        System.out.println("False");
input1.getParamType()= http://mis.ccu.edu.tw/~dink/Wine.owl#Wine
input2.getParamType()= http://mis.ccu.edu.tw/~dink/Wine.owl#Red_Wine
After doing the test, it returned "False". I don't know why it returned the result and I think it should return "True" since Red_Wine is subClass of Wine.
Finally I found the methods of OWLType include isSubTypeOf and isEquivalent. 
I don't know if Pellet provides any methods to reason the relationship like isAncestor and isdDescendant.
Can you help me? Thanks in advance.


-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://lists.mindswap.org/pipermail/owl-s/attachments/20050417/d09dca59/attachment-0001.html