Re: [DIG-users] validate a response

[<r.f...@tu...>]

On 5. Dec 2006, at 4:54 Uhr, hui zhang wrote:

> Hi Everybody,
>
> Recently I met a problem of validating a DIG response.
>
> I first send the TellsDocument as:
> <tells xmlns="http://dl.kr.org/dig/2003/02/lang">
>   <defconcept name="http://www.owl-ontologies.com/unnamed0.owl#A"/>
>   <defconcept name="http://www.owl-ontologies.com/unnamed0.owl#B"/>
>   <defrole name="http://www.owl-ontologies.com/ 
> unnamed0.owl#hasFriend"/>
>   <domain>
>     <ratom name="http://www.owl-ontologies.com/ 
> unnamed0.owl#hasFriend"/>
>     <catom name="http://www.owl-ontologies.com/unnamed0.owl#A"/>
>   </domain>
>   <range>
>     <ratom name="http://www.owl-ontologies.com/ 
> unnamed0.owl#hasFriend"/>
>     <catom name="http://www.owl-ontologies.com/unnamed0.owl#B"/>
>   </range>
>   <defattribute name="http://www.owl-ontologies.com/ 
> unnamed0.owl#hasName"/>
>   <domain>
>     <attribute name="http://www.owl-ontologies.com/ 
> unnamed0.owl#hasName"/>
>     <catom name="http://www.owl-ontologies.com/unnamed0.owl#A"/>
>   </domain>
>   <rangestring>
>     <attribute name="http://www.owl-ontologies.com/ 
> unnamed0.owl#hasName"/>
>   </rangestring>
> </tells>
>
> Tells is OK.
>
> The second step is to ask the TOP consistency. The ask document is:
> <asks uri="http://dl.kr.org/dig/kb-54242"
> xmlns="http://dl.kr.org/dig/2003/02/lang">
>   <satisfiable id="topSat">
>     <top/>
>   </satisfiable>
> </asks>
>
> And the response is valid. It is:
> <responses xsi:schemaLocation="http://dl.kr.org/dig/2003/02/lang
> http://dl-web.man.ac.uk/dig/2003/02/dig.xsd"
> xmlns="http://dl.kr.org/dig/2003/02/lang"
> xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance">
>   <true id="topSat"/>
> </responses>
>
>
> Then I ask the consistency of all concepts, the ask document is:
> <asks uri="http://dl.kr.org/dig/kb-54230"
> xmlns="http://dl.kr.org/dig/2003/02/lang">
>   <satisfiable id="cSathttp://www.owl-ontologies.com/unnamed0.owl#A">
>     <catom name="http://www.owl-ontologies.com/unnamed0.owl#A"/>
>   </satisfiable>
>   <satisfiable id="cSathttp://www.owl-ontologies.com/unnamed0.owl#B">
>     <catom name="http://www.owl-ontologies.com/unnamed0.owl#B"/>
>   </satisfiable>
> </asks>
>
> But when I validate the response, it is invalid. The  
> responseDocument is:
> <responses xsi:schemaLocation="http://dl.kr.org/dig/2003/02/lang
> http://dl-web.man.ac.uk/dig/2003/02/dig.xsd"
> xmlns="http://dl.kr.org/dig/2003/02/lang"
> xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance">
>   <true id="cSathttp://www.owl-ontologies.com/unnamed0.owl#A"/>
>   <true id="cSathttp://www.owl-ontologies.com/unnamed0.owl#B"/>
> </responses>
>
>  From the response, I can get the concepts are consistency. But how
> could the response is invalid?

Again which schema did you validate the repsonse document? Which  
reasoner generated the response?

Regards,

Ralf

>
> All the tells and asks documents are generated by DIG-API. The  
> response
> displays that the concepts are consistency, but the validation  
> result is
> invalid. Can I ignore the validation step? And what is the validation
> supposed to do? I am so confusing now.
>
> Look forward to you guys' replies!
>
> Regards,
>
> Hui
>
>
>
>
>
>
> ---------------------------------------------------------------------- 
> ---
> Take Surveys. Earn Cash. Influence the Future of IT
> Join SourceForge.net's Techsay panel and you'll get the chance to  
> share your
> opinions on IT & business topics through brief surveys - and earn cash
> http://www.techsay.com/default.php? 
> page=join.php&p=sourceforge&CID=DEVDEV
> _______________________________________________
> DIG-users mailing list
> DIG...@li...
> https://lists.sourceforge.net/lists/listinfo/dig-users
>