[DIG-users] validate a response

[hui z. <zh...@cs...>]

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?

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