Re: [DIG-users] validate a response

[Daniele T. <dt...@cs...>]

Hi,

Can you please provide the Java code that creates and validates your dig?

Daniele

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?
>
>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
>  
>


-- 
Dr Daniele Turi
School of Computer Science
The University of Manchester
ESNW 1.17 Kilburn Building, Oxford Road
Manchester, M13 9PL, UK.
Tel +44 (0) 161 275 0675
Fax                 6204
http://www.cs.man.ac.uk/~dturi