dig-users — DIG users mailing list

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

[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

[DIG-users] movie Kicking

[Allen S. <oso...@on...>]

3264

Re: [DIG-users] DIG and RACER

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

On 18. Oct 2006, at 12:44 Uhr, Alejandro wrote:

> Hello.
>
>
> I'm using a "com.hp.hpl.jena.reasoner.dig.DigReasoner" in Java.
> How can I do an answer to the reasoner, one like this:
>         (implies a b)
>
>
> I did it only using RACER, sending it throught sockets, but I don't  
> know how to do thought a Dig Api (DigReasoner)

Alejandro,

please consider the following example DIG client: http://www.sts.tu- 
harburg.de/~r.f.moeller/racer/RacerPro-DIG-client.zip

Best regards,

Ralf

>
> Thanks for your help
> ---------------------------------------------------------------------- 
> ---
> Using Tomcat but need to do more? Need to support web services,  
> security?
> Get stuff done quickly with pre-integrated technology to make your  
> job easier
> Download IBM WebSphere Application Server v.1.0.1 based on Apache  
> Geronimo
> http://sel.as-us.falkag.net/sel? 
> cmd=lnk&kid=120709&bid=263057&dat=121642______________________________ 
> _________________
> DIG-users mailing list
> DIG...@li...
> https://lists.sourceforge.net/lists/listinfo/dig-users

[DIG-users] DIG and RACER

[Alejandro <had...@gm...>]

Hello.


I'm using a "com.hp.hpl.jena.reasoner.dig.DigReasoner" in Java.
How can I do an answer to the reasoner, one like this:
        (implies a b)


I did it only using RACER, sending it throught sockets, but I don't know how
to do thought a Dig Api (DigReasoner)

Thanks for your help

Re: [DIG-users] How to ask for individuals

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

On 22. Sep 2006, at 9:45 Uhr, Tilmann Kuhn wrote:

> Dear community,
>
> I'm new to the DIG Interface an I'm facing a problem with a query I'd
> like to use to find out individuals from a KB.
>
> Suppose I've got four konzepts X, A, B, C
>
> B is subclass of A
> and
> C is subclass of B
>
> further a role "rel" connects individuals of X with individuals of A.
>
> (I don't know the correct DIG sytax for this tells. I'm creating an
> importing (in Racer) these classes with owl so that doesn't matter for
> the rest of the question.)
>

Dear Tilmann,

you probably have to generate queries in order to iterate over  
classes because this cannot be done in DIG.

Let us discuss an example:

(in-knowledge-base test)

(implies b a)
(implies c b)

(define-primitive-role rel :domain x :range a)

(instance i x)
(instance j x)
(instance k x)

(instance a1 a)
(instance b1 b)
(instance c1 c)

(related i a1 rel)
(related j b1 rel)
(related k c1 rel)

>
> Now I wonder how I can use DIG to ask for
>
> ... all individuals of X that are associated with at least one
> individual of class exactly B
>
> ... all individuals of X that are associated with at least one
> individual of class B or any subclass of B
>
> ... all individuals of X that are associated with at least one
> individual of class B or any superclass of B

Here is a solution for your queries, respectively.

(racer-answer-query
  '(?x)
  `(and (?x x) (?x ?y rel) (?y b)
        .,(loop for (concept . nil) in (concept-children b) collect
               `(neg (?y ,concept)))))
---> (((?X J)))


(retrieve (?x) (and (?x x) (?x ?y rel) (?y b)))
---> (((?X J)) ((?X K)))


(racer-answer-query
  '(?x)
  `(and (?x x) (?x ?y rel) (?y top)
        .,(loop for (concept . nil) in (concept-children b) collect
               `(neg (?y ,concept)))))
---> (((?X I)) ((?X J)))

Best regards,

Ralf

[DIG-users] How to ask for individuals

[Tilmann K. <dig...@tk...>]

Dear community,

I'm new to the DIG Interface an I'm facing a problem with a query I'd
like to use to find out individuals from a KB.

Suppose I've got four konzepts X, A, B, C

B is subclass of A
and
C is subclass of B

further a role "rel" connects individuals of X with individuals of A.

(I don't know the correct DIG sytax for this tells. I'm creating an
importing (in Racer) these classes with owl so that doesn't matter for
the rest of the question.)


Now I wonder how I can use DIG to ask for

... all individuals of X that are associated with at least one
individual of class exactly B

... all individuals of X that are associated with at least one
individual of class B or any subclass of B

... all individuals of X that are associated with at least one
individual of class B or any superclass of B

Thank you for your patience with a beginner,

Tilmann Kuhn

RE: [DIG-users] Dig 1.1 problem (TELLS)

[LECUE F. RD-TECH-R. <fre...@fr...>]

Hi all,

  the following code:

/*****/
AsksDocument asks =3D AsksDocument.Factory.newInstance();
Ask t =3D asks.addNewAsks();
		=09
asks.getAsks().setUri(kb);
		=09
ConceptPairId b =3D asks.addNewAsks().addNewDisjoint();
		=09
b.addNewCatom().setName("http://www.example.org/ontologies/example#TrainT=
icket");
b.addNewCatom().setName("http://www.example.org/ontologies/example#Flight=
Ticket");
		=09
ResponsesDocument responsesAsks =3Dreasoner.asks(asks);=20
/*****/

Return that=20
/****/
<responses xsi:schemaLocation=3D"http://dl.kr.org/dig/2003/02/lang   =
http://dl-web.man.ac.uk/dig/2003/02/dig.xsd" =
xmlns=3D"http://dl.kr.org/dig/2003/02/lang" =
xmlns:xsi=3D"http://www.w3.org/2001/XMLSchema-instance">
  <error code=3D"102" message=3D"XML error: Non-DIG element =
found">xml-fragment</error>
</responses>
/*****/

Why "xml-fragment" is added to the AsksDocument. Is it possible to ask a =
KB with "asks.addNewAsks().addNewDisjoint()". Actually "xml-fragment" is =
added and it should be not included.

Freddy.

-----Message d'origine-----
De : LECUE FREDDY RD-TECH-REN=20
Envoy=E9 : mardi 16 mai 2006 08:16
=C0 : 'dt...@cs...'
Cc : 'dig...@li...'
Objet : RE: [DIG-users] Dig 1.1 problem (TELLS)

Ok,
  but how do you define:

  <disjoint id=3D"q3a">
  <catom name=3D"Ticket"/>
  <catom name=3D"Flight"/>
  </disjoint>=20

Thank you
Freddy

-----Message d'origine-----
De : Daniele Turi [mailto:dt...@cs...]
Envoy=E9 : lundi 15 mai 2006 18:14
=C0 : LECUE FREDDY RD-TECH-REN
Cc : dig...@li...
Objet : Re: [DIG-users] Dig 1.1 problem (TELLS)

LECUE FREDDY RD-TECH-REN wrote:

>Hi all,
>
>  according to the Api of DIG 1.1, there is not the asks form of =
"Disjoint".=20
>
No, this is not true, you can add disjoint to asks:

asks.addNewAsks().addNewDisjoint()

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

RE: [DIG-users] Dig 1.1 problem (TELLS)

[LECUE F. RD-TECH-R. <fre...@fr...>]

Ok,=20
  but how do you define:

  <disjoint id=3D"q3a">
  <catom name=3D"Ticket"/>
  <catom name=3D"Flight"/>
  </disjoint>=20

Thank you
Freddy

-----Message d'origine-----
De : Daniele Turi [mailto:dt...@cs...]=20
Envoy=E9 : lundi 15 mai 2006 18:14
=C0 : LECUE FREDDY RD-TECH-REN
Cc : dig...@li...
Objet : Re: [DIG-users] Dig 1.1 problem (TELLS)

LECUE FREDDY RD-TECH-REN wrote:

>Hi all,
>
>  according to the Api of DIG 1.1, there is not the asks form of =
"Disjoint".=20
>
No, this is not true, you can add disjoint to asks:

asks.addNewAsks().addNewDisjoint()

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

Re: [DIG-users] Dig 1.1 problem (TELLS)

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

LECUE FREDDY RD-TECH-REN wrote:

>Hi all,
>
>  according to the Api of DIG 1.1, there is not the asks form of "Disjoint". 
>
No, this is not true, you can add disjoint to asks:

asks.addNewAsks().addNewDisjoint()

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

RE: [DIG-users] Dig 1.1 problem (TELLS)

[LECUE F. RD-TECH-R. <fre...@fr...>]

Hi all,

  according to the Api of DIG 1.1, there is not the asks form of =
"Disjoint". How can I simulate the disjoint asks like:
        <disjoint id=3D"q3a">
        <catom name=3D"Ticket"/>
        <catom name=3D"Flight"/>
        </disjoint>=20
With the previous consideration.

Thank you
Waiting to hear from you.
Freddy

-----Message d'origine-----
De : Daniele Turi [mailto:dt...@cs...]=20
Envoy=E9 : lundi 15 mai 2006 11:42
=C0 : LECUE FREDDY RD-TECH-REN
Cc : dig...@li...
Objet : Re: [DIG-users] Dig 1.1 problem (TELLS)

LECUE FREDDY RD-TECH-REN wrote:

> Dear all,
>
>    I have a problem to implement a Knowledge base for a reasoner.=20
> Actually I would like to load a Knowledge base with an empty=20
> "tells.xml" document.
>
> So how load the following concept:
>
> <impliesc>
>         <catom name=3D"Ticket"/>
>         <and>
>             <all>
>                 <ratom name=3D"from"/>
>                 <catom name=3D"Location"/>
>             </all>
>             <all>
>                 <ratom name=3D"when"/>
>                 <catom name=3D"Date"/>
>             </all>
>             <all>
>                 <ratom name=3D"with"/>
>                 <catom name=3D"TransportationMean"/>
>             </all>
>             <all>
>                 <ratom name=3D"cost"/>
>                 <catom name=3D"Price"/>
>             </all>
>         </and>
>  </impliesc>
>
> According to the TellsDocument class. I tried :
>
>        /****/
>         Concepts a =3D Concepts.Factory.newInstance();
>         Named a1 =3D c.addNewCatom();
>         a1.setName("Ticket");
>
>         Concepts b =3D Concepts.Factory.newInstance();
>         Named b1 =3D c.addNewCatom();
>         b1.setName("Ticket");
>         b.addNewAll().addNewRatom().setName("from");
>         b.addNewAll().addNewCatom().setName("Location");
>       =20
>         Concepts d =3D Concepts.Factory.newInstance();
>         Named d2 =3D d.addNewCatom();
>         d2.setName("B");
>         d.addNewSome().addNewRatom().setName("R");
>         d.addNewSome().addNewCatom().setName("F");
>       =20
>          Concepts[] cx =3D {e,c,d};
>       =20
>        tells.getTells().addNewImpliesc().setAndArray(cx);
>        /*****/
>
> But it doesn't work.
> Do you have an idea how to implement the example I propose with=20
> "tells.getTells()"
>
> Thank you
> Waiting to hear from you.
> Freddy
>

You need to use addNewTells() instead of getTells():

        TellsDocument tells =3D TellsDocument.Factory.newInstance();
        Concepts a =3D Concepts.Factory.newInstance();
        Named a1 =3D a.addNewCatom();
        a1.setName("Ticket");

        Concepts b =3D Concepts.Factory.newInstance();
        Named b1 =3D b.addNewCatom();
        b1.setName("Ticket");
        b.addNewAll().addNewRatom().setName("from");
        b.addNewAll().addNewCatom().setName("Location");

        Concepts d =3D Concepts.Factory.newInstance();
        Named d2 =3D d.addNewCatom();
        d2.setName("B");
        d.addNewSome().addNewRatom().setName("R");
        d.addNewSome().addNewCatom().setName("F");

        Concepts[] cx =3D { a, b, d };
        tells.addNewTells().addNewImpliesc().setAndArray(cx);
        System.out.println(tells);

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

Re: [DIG-users] Dig 1.1 problem (TELLS)

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

LECUE FREDDY RD-TECH-REN wrote:

> Dear all,
>
>    I have a problem to implement a Knowledge base for a reasoner. 
> Actually I would like to load a Knowledge base with an empty 
> "tells.xml" document.
>
> So how load the following concept:
>
> <impliesc>
>         <catom name="Ticket"/>
>         <and>
>             <all>
>                 <ratom name="from"/>
>                 <catom name="Location"/>
>             </all>
>             <all>
>                 <ratom name="when"/>
>                 <catom name="Date"/>
>             </all>
>             <all>
>                 <ratom name="with"/>
>                 <catom name="TransportationMean"/>
>             </all>
>             <all>
>                 <ratom name="cost"/>
>                 <catom name="Price"/>
>             </all>
>         </and>
>  </impliesc>
>
> According to the TellsDocument class. I tried :
>
>        /****/
>         Concepts a = Concepts.Factory.newInstance();
>         Named a1 = c.addNewCatom();
>         a1.setName("Ticket");
>
>         Concepts b = Concepts.Factory.newInstance();
>         Named b1 = c.addNewCatom();
>         b1.setName("Ticket");
>         b.addNewAll().addNewRatom().setName("from");
>         b.addNewAll().addNewCatom().setName("Location");
>        
>         Concepts d = Concepts.Factory.newInstance();
>         Named d2 = d.addNewCatom();
>         d2.setName("B");
>         d.addNewSome().addNewRatom().setName("R");
>         d.addNewSome().addNewCatom().setName("F");
>        
>          Concepts[] cx = {e,c,d};
>        
>        tells.getTells().addNewImpliesc().setAndArray(cx);
>        /*****/
>
> But it doesn't work.
> Do you have an idea how to implement the example I propose with  
> "tells.getTells()"
>
> Thank you
> Waiting to hear from you.
> Freddy
>

You need to use addNewTells() instead of getTells():

        TellsDocument tells = TellsDocument.Factory.newInstance();
        Concepts a = Concepts.Factory.newInstance();
        Named a1 = a.addNewCatom();
        a1.setName("Ticket");

        Concepts b = Concepts.Factory.newInstance();
        Named b1 = b.addNewCatom();
        b1.setName("Ticket");
        b.addNewAll().addNewRatom().setName("from");
        b.addNewAll().addNewCatom().setName("Location");

        Concepts d = Concepts.Factory.newInstance();
        Named d2 = d.addNewCatom();
        d2.setName("B");
        d.addNewSome().addNewRatom().setName("R");
        d.addNewSome().addNewCatom().setName("F");

        Concepts[] cx = { a, b, d };
        tells.addNewTells().addNewImpliesc().setAndArray(cx);
        System.out.println(tells);

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

[DIG-users] Dig 1.1 problem (TELLS)

[LECUE F. RD-TECH-R. <fre...@fr...>]

Dear all,

   I have a problem to implement a Knowledge base for a reasoner.
Actually I would like to load a Knowledge base with an empty "tells.xml"
document.
So how load the following concept:

<impliesc>
        <catom name=3D"Ticket"/>
        <and>
	    <all>=20
		<ratom name=3D"from"/>=20
                <catom name=3D"Location"/>
            </all>
	    <all>=20
		<ratom name=3D"when"/>=20
                <catom name=3D"Date"/>
            </all>
	    <all>=20
		<ratom name=3D"with"/>=20
                <catom name=3D"TransportationMean"/>
            </all>
	    <all>=20
		<ratom name=3D"cost"/>=20
                <catom name=3D"Price"/>
            </all>
        </and>
 </impliesc>

According to the TellsDocument class. I tried :

       /****/
        Concepts a =3D Concepts.Factory.newInstance();
        Named a1 =3D c.addNewCatom();
        a1.setName("Ticket");

        Concepts b =3D Concepts.Factory.newInstance();
        Named b1 =3D c.addNewCatom();
        b1.setName("Ticket");
        b.addNewAll().addNewRatom().setName("from");
        b.addNewAll().addNewCatom().setName("Location");
       =20
        Concepts d =3D Concepts.Factory.newInstance();
        Named d2 =3D d.addNewCatom();=20
        d2.setName("B");
        d.addNewSome().addNewRatom().setName("R");
        d.addNewSome().addNewCatom().setName("F");
       =20
         Concepts[] cx =3D {e,c,d};
       =20
       tells.getTells().addNewImpliesc().setAndArray(cx);
       /*****/

But it doesn't work.
Do you have an idea how to implement the example I propose with
"tells.getTells()"

Thank you
Waiting to hear from you.
Freddy

Re: [DIG-users] examples

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

I am afraid the DIG specification does not allow you to do much more at
the moment.
The examples on sourceforge, together with the DIG 1.1 specification

	http://dl-web.man.ac.uk/dig/2003/02/interface.pdf

cover all it can be done at the moment.
When you ask for the equivalents of a concept DIG willl return only
the known concept names (ie atoms), not arbitrary complex ones.
You can ask for the equivalents of man who drives a car and
you will obtain driver, but if you ask for the equivalents of driver
you will only get driver itself back, unless you have other atomic
concepts equivalent to it.

Daniele

Marcin Barnak wrote:

>Hello
>
>Could you tell me where I can find some examples of usuage DIG interface in java applications? The only thing I found (http://dig.sourceforge.net/#examples) is very short and it has explained me how to do only a few things on my knowledge base. 
>For example if i have defined:
>
><defconcept name="man" />
><defconcept name="driver" />
><defconcept name="car" />
><defrole name="drives" />
><equalc>
>	<catom name="driver" />
>	<and>
>		<catom name="man" />
>		<some>
>			<ratom name="drives" />
>			<catom name="car" />
>		</some>
>	</and>
></equalc>
>
>Then if I will write in my java program:
>
>ConceptId driver = ConceptId.Factory.newInstance();
>Named d = driver.addNewCatom();
>driver.setId("qDri");
>d.setName("driver");
>Set equivalents = reasoner.parentsNames(driver, kbURI);
>
>then i will get the answer that shows me that driver is a man, but I have no idea how to ask to get the information that he drives a car. Of course, the problem with driver is a simple one, but I would like to ask about more complex structures as well. 
>Tell me if I can find somewhere examples, that explain me how to do it?
>
>Regards
>Marcin Barnak
>
>
>----------------------------------------------------
>Syriana: cel uświęca środki. 
>W kinach od 3 marca. 
>http://klik.wp.pl/?adr=http%3A%2F%2Fadv.reklama.wp.pl%2Fas%2Fsyriana.html&sid=686
>
>
>
>
>-------------------------------------------------------
>This SF.Net email is sponsored by xPML, a groundbreaking scripting language
>that extends applications into web and mobile media. Attend the live webcast
>and join the prime developer group breaking into this new coding territory!
>http://sel.as-us.falkag.net/sel?cmd=lnk&kid=110944&bid=241720&dat=121642
>_______________________________________________
>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

[DIG-users] Error Message HTTP DIG

[Mohammed A. <abu...@ya...>]

Hi All,
 
Please I have problem when i send DIG code from explorer browser by POST , localhost:8080.
This is DIG code i try
------------------------------------------
<?xml version="1.0" encoding="ISO-8859-1"?>
<tells 
xmlns="http://dl.kr.org/dig/lang"
xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" 
xsi:schemaLocation="http://wasp.cs.vu.nl/sekt/digtest/dig-1.1.xsd">
    <clearKB/>
    <defconcept name="a"/>
    <defconcept name="b"/>
    <impliesc>
        <catom name="a"/>
        <and>
                    <catom name="b"/>
                    <catom name="c"/>
        </and>
    </impliesc>
</tells>

-----------------------------------------------
 
 
but i have error message 
--------------
  <?xml version="1.0" encoding="UTF-8" ?> 
  <error message="XML -- syntax error (why: eof)" /> 
i  -----------------
 
  I'm using RacerPro 1.9 
 
  and i receved from RacerPro this code when send previous TELL code 
---------------------------
  HTTP service enabled for: http://localhost:8080/
TCP service enabled for: http//localhost:8088/
aserve-accept-6: 03/06/06 - 01:58:38 - Maximum socket file descriptor number is now 6
127.0.0.1 - - [Mon, 06 Mar 2006 00:58:38 GMT] "POST / HTTP/1.1" 200 89
 
  02:00:47 - While reading http request from 127.0.0.1:
 "Connection reset by peer" (errno 10054) occured while
 reading buffer for
 #<MULTIVALENT hiper socket connected from localhost/8080 to
   localhost/3337 @ #x20e10482>.
---------------------------
  
 Best Wishes
 Abuhussain
 
I
 
 
 

[DIG-users] examples

[Marcin B. <mar...@wp...>]

Hello

Could you tell me where I can find some examples of usuage DIG interface in java applications? The only thing I found (http://dig.sourceforge.net/#examples) is very short and it has explained me how to do only a few things on my knowledge base. 
For example if i have defined:

<defconcept name="man" />
<defconcept name="driver" />
<defconcept name="car" />
<defrole name="drives" />
<equalc>
	<catom name="driver" />
	<and>
		<catom name="man" />
		<some>
			<ratom name="drives" />
			<catom name="car" />
		</some>
	</and>
</equalc>

Then if I will write in my java program:

ConceptId driver = ConceptId.Factory.newInstance();
Named d = driver.addNewCatom();
driver.setId("qDri");
d.setName("driver");
Set equivalents = reasoner.parentsNames(driver, kbURI);

then i will get the answer that shows me that driver is a man, but I have no idea how to ask to get the information that he drives a car. Of course, the problem with driver is a simple one, but I would like to ask about more complex structures as well. 
Tell me if I can find somewhere examples, that explain me how to do it?

Regards
Marcin Barnak


----------------------------------------------------
Syriana: cel uświęca środki. 
W kinach od 3 marca. 
http://klik.wp.pl/?adr=http%3A%2F%2Fadv.reklama.wp.pl%2Fas%2Fsyriana.html&sid=686

[DIG-users] recent developments?

[A.-Y. T. <tu...@tc...>]

Hello,

one of the participants of the DIG 2.0 meeting in Galway should post the 
outcome or topics of the ongoing discussions please. Would be 
interesting to know what the current state of affairs of the new version 
of the DIG interface is.

Cheers, Anni

-- 
*   Anni-Yasmin Turhan, Theoretical Computer Science, TU Dresden   *
*  Phone:++49 351 463 39 167  mailto:tu...@tc...  *

[DIG-users] Fw: Towards DIG 2.0 - suggestions and work done at GUT

[<kr...@et...>]

(Sorry, if you receive two copies of this - or similar - email)



Dear DIG users,

From your lively discussion we hae learned that during ISWC'2005 there =
is a meeting organized concerning presence and future of DIG. We at the =
Gdansk Univresity of Technology (GUT) are DIG users who are developing =
an extended version (or rather: versions) of DIG called DIGUT. It is =
work done in the course of PIPS - a 6th FP project (www.pips.eu.org). =
Because we are not at ISWC'2005, let us make a "remote contribution" to =
this meeting:

1. Below you will find a brief description of changes made to DIG 1.1 in =
the current version of DIGUT (1.3), applied in system KaSeA (presented =
on the last DL Workshop as two posters).=20

2. At http://km.pg.gda.pl/kmg in Section "DIGUT" you will find =
description and reference for DIGUT v.2.0 that is now under =
implementation in KaSeA. DIGUT 2.0 covers also terminological Tells =
(DIGUT 1.3 does not, as in current stable version of KaSeA a terminology =
is loaded in OWL).

We hope that this material will be helpful for you and for further DIG =
developments.

Yours

Kris Goczyla


*****************************************
Main changes made to DIG 1.1  (implemented in DIGUT 1.3)

Introducing equivalent, subsumes role, equivalent role and role instance =
queries. The equivalent query asks whether concepts are equivalent. All =
queries concerning roles have analogical semantics as corresponding =
queries for concepts. For example, the query role instance asks about =
the set of pairs of individuals, which are related with a specified =
role.

=20

Introducing maybe answer for instance query With addition to yes and no =
answers in DIG, DIGUT can also answer that the Knowledge Base cannot =
unambiguously say if a specified individual belongs to a specified =
concept. In the current version of DIGUT such an answer can be given =
only for instance query. In the next versions it will be also applied to =
role instance query.

=20

Introducing to the concept language valuerange, valuemin, valuemax and =
valueequals expressions. The semantics of these expressions is =
analogical as for corresponding expressions for attributes of an integer =
and string types. However, these expressions are independent of the type =
of an attribute. The terminology itself knows the type of a specified =
attribute.

=20

Enhanced expressiveness of toldValue query. In DIG toldValue query asks =
about values of one attribute for one individual only. In DIGUT a set of =
attributes and individuals, whose values of attributes are required, may =
be listed and in addition, individuals may be given as instances of a =
concept.

***************************



-------------------------------------------------------------
Prof. Krzysztof Goczy=B3a, PhD, DSc,
Gda=F1sk University of Technology, Department of Software Engineering
Faculty of Electronics, Telecommunications and Informatics
80-288 Gda=F1sk, ul. Narutowicza 11/12
tel.: +48 58 347 13 18, fax: +48 58 347 27 27


 

Re: [DIG-users] Re: Towards DIG 2.0 - suggestions

[Boontawee S. <me...@tc...>]

SGksCgpJIGhhdmUgYSBmZXcgc3VnZ2VzdGlvbnMgZm9yIHRoZSBuZXcgdmVyc2lvbiBvZiBESUcg
aW50ZXJmYWNlCnN0YW5kYXJkLiBTb21lIGZlYXR1cmVzLCBsaWtlIHJvbGUgY29tcG9zaXRpb24g
YW5kIGdlbmVyYWwgcm9sZQppbmNsdXNpb24sIGFyZSBub3QgYXZhaWxhYmxlIGluIHRoZSBjdXJy
ZW50IHZlcnNpb24gZHVlIHRvCnVuZGVjaWRhYmlsaXR5IGluIHN0YW5kYXJkIERMcy4gSXQncyBo
b3dldmVyIHByYWN0aWNhbCBpbiBzdWItQm9vbGVhbgpsb2dpY3Mgc3VjaCBhcyBFTCB0byBoYXZl
IHN1Y2ggZXhwcmVzc2l2aXR5LiBPdXIgQ0VMIHJlYXNvbmVyIHN1cHBvcnRzCmZvciByb2xlIGlu
Y2x1c2lvbiBvZiB0aGUgZm9ybToKClIxIG8gLi4uIG8gUm4gIDw9ICBSCgp3aGVyZSAibyIgZGVu
b3RlcyByb2xlIGNvbXBvc2l0aW9uIGFuZCA8PSBkZW5vdGVzIGluY2x1c2lvbiAob3IKaW1wbGll
cykgYXhpb20gd2l0aCBhbiBvYnZpb3VzIHNlbWFudGljcy4gRElHIDEuMSBjdXJyZW50bHkgb25s
eQphbGxvd3MgdG8gZXhwcmVzcyBhIHJlc3RyaWN0ZWQgZm9ybSBvZiByb2xlIGNvbXBvc2l0aW9u
LCBuYW1lbHkKKmNoYWluKiwgd2hlcmUgUjEgdG8gUm4tMSBhcmUgZnVuY3Rpb25hbCByb2xlcyBh
bmQgUm4gaXMgYW4gYXR0cmlidXRlLgpNeSBwcm9wb3NhbCBpcyB0byBhZGQgdG8gRElHIDIuMCBh
IG5ldyByb2xlIGNvbnN0cnVjdCwgcHJlZmVyYWJseSB3aXRoCnRoZSBrZXl3b3JkICpjb21wb3Nl
KiwgZm9yIHJvbGUgY29tcG9zaXRpb24uIFRoYXQgaXMsIHRoZSBhYm92ZQppbmNsdXNpb24gc2hh
bGwgYmUgdHJhbnNsYXRlZCB0bzoKCjxpbXBsaWVzcj4KPGNvbXBvc2U+IFIxIC4uLiBSbiA8L2Nv
bXBvc2U+ClIKPC9pbXBsaWVzcj4KClNlY29uZGx5LCBzaW1pbGFybHkgdGhlIHVzZSBvZiByb2xl
IHRyYW5zaXRpdml0eSwgcmlnaHQtIGFzIHdlbGwgYXMKbGVmdC1pZGVudGl0eSBydWxlcyBhcmUg
aW1wb3J0YW50IGluIGJpby1tZWRpY2FsIGFwcGxpY2F0aW9ucy4gVGhvdWdoCnRoZXkgY2FuIGJl
IGV4cHJlc3NlZCBlYXNpbHkgYnkgcm9sZSBpbmNsdXNpb25zIGJ5IHdyaXRpbmc6CgpyIG8gcyAg
PD0gIHIgIHRvIHNheSB0aGF0IHMgaXMgYSByaWdodC1pZGVudGl0eSBmb3IgciwgYW5kIGFuYWxv
Z291c2x5CnMgbyByICA8PSAgciAgZm9yIGxlZnQtaWRlbnRpdHkKCmhhdmluZyBhbiBheGlvbSBz
dWNoIGFzIDxyaWdodC1pZGVudGl0eT5yIHM8L3JpZ2h0LWlkZW50aXR5PiBtYXkgYmUKcXVpdGUg
aGFuZHkgdG8gdXNlLgoKUmVnYXJkcywKTWVuZwo=

Re: [DIG-users] Meeting during ISWC 2005

[Olaf N. <ola...@un...>]

Sean Bechhofer wrote:

>
> Can we take silence here as agreement?
>
>     Sean
>

Friday evening is also fine for us.

Best regards,

Olaf

Re: [DIG-users] Re: Towards DIG 2.0 - suggestions

[A.-Y. T. <tu...@tc...>]

Hello,

I won't attend the workshop in Galway, thus I would like to comment and 
contribute to the current discussion regarding the next version of the 
DIG interface. The idea of dividing the standard into a core and an 
optional part seems to be the most reasonable approach to me for the 
upcoming extensions. Besides the extension to new kind of inferences it 
should also be considered to offer support for standard reasoners for 
"non-standard DLs", such as CEL. It offers classical DL TBox inferences 
for EL with some operators for roles, some of which are not captured in 
the tell statements in the DIG interface.

Regarding the issues mentioned in the paper by Ian Dickinson (that Ralf 
had pointed to in an earlier mail), I would like to stress some of these 
points that we also found problematic when we develop(ed) our 
non-standard inference system SONIC:

a) querying property axioms
The DIG interface should offer functions that determine whether a role 
is transitive or an attribute for given a property name.

b) Concept sets
The concept sets in the response are indeed often clumsy to handle. 
Nevertheless, the information about all synonyms are sometimes important 
for our applications and the concepts sets are a very compact way of 
obtaining this information. I would like to propose to introduce a 
parameter in each query that returns concept names for turning on /off 
the use of concept sets.


To extend the implementation of our non-standard inference reasoner 
SONIC to DIG, it would be necessary to add two new functions to the DIG 
interface.

1) Our application needs to retrieve a concept definition from the DIG 
reasoner. Currently only Racer(Pro) supports this type of queries where 
for a given concept name the concept definition is returned. Of course 
most DL reasoners store the concept definitions in a preprocessed way. 
We need to retrieve these (preprocessed) definitions in our application 
and would like to add such a function to the DIG interface.

2) For performance reasons we need a function to determine whether the 
ontology has changed between two requests. This could be easily realized 
by either a time stamp associated with each classification or a counter 
for classifications since loading the ontology. The DIG interface should 
offer a function for retrieving this time stamp /counter.

Of course, we would like to offer SONIC's inferences (LCS, 
approximation, ...) also via the DIG interface.


Regards, Anni

-- 
*   Anni-Yasmin Turhan, Theoretical Computer Science, TU Dresden   *
*  Phone:++49 351 463 39 167  mailto:tu...@tc...  *


Glen Dobson wrote:
> Hi,
> 
> I have a simple suggestion which I personally would like to see in DIG 
> 2.0 - how about been able to combine boolean queries (satisfiable, 
> subsumes, disjoint) using AND, OR (maybe NOT)? In actual fact my 
> personal requirement is to combine subsumes queries using AND, OR. It 
> would be nice if I could wrap these up in a single Asks document rather 
> than persisting these using yet another format on top of DIG.
> 
> Glen.
> 
> 
> 
> -------------------------------------------------------
> This SF.Net email is sponsored by the JBoss Inc.
> Get Certified Today * Register for a JBoss Training Course
> Free Certification Exam for All Training Attendees Through End of 2005
> Visit http://www.jboss.com/services/certification for more information
> _______________________________________________
> DIG-users mailing list
> DIG...@li...
> https://lists.sourceforge.net/lists/listinfo/dig-users
> 

Re: [DIG-users] Meeting during ISWC 2005

[Kaplunova, A. <al....@tu...>]

Hi,

Friday evening is ok also for me.

Best regards

Alissa Kaplunova

-----Urspr=FCngliche Nachricht-----
Von: dig...@li... im Auftrag von Sean Bechhofer
Gesendet: Di 01.11.2005 19:15
An: Ian Horrocks
Cc: M=F6ller, Ralf; dig...@li...; Ian Dickinson; =
Jeremy Carroll
Betreff: Re: [DIG-users] Meeting during ISWC 2005
=20
Ian Horrocks wrote:

> On 31 Oct 2005, at 12:37, Ralf M=F6ller wrote:
>=20
>>
>> On 24. Oct 2005, at 20:44 Uhr, Ian Dickinson wrote:
>>
>>> Alissa wrote:
>>>
>>>>> On suggestion of Ralf M=F6ller I would suggest in the time of the=20
>>>>> ISWC 2005 or OWL Workshop in Galway an "unofficial" meeting to the =

>>>>> subject DIG 2.0.
>>>>> Is there basically interest?
>>>>> How can we organize that best of all? Does somebody have an idea?
>>>
>>> I won't be attending ISWC this year, but Jeremy Carroll from the =
Jena=20
>>> team will be there. Perhaps you could include him in any informal=20
>>> discussion that goes on?
>>>
>>> My input to the discussion would be that DIG 2.0 should be focussed=20
>>> on fixing the problems with DIG 1.1, rather than heading off into =
new=20
>>> territory with additional features.
>>
>>
>> I second this. Would be great to solve the problems analyzed in
>> http://www.hpl.hp.com/techreports/2004/HPL-2004-85.html
>=20
>=20
> Sounds fine, but as far as I know we still didn't agree on when to =
meet=20
> did we? We seemed to have eliminated most possibilities and were left=20
> with Friday evening. Is this OK for most/everyone?
>=20

Can we take silence here as agreement?

	Sean

--=20
Sean Bechhofer
sea...@ma...
http://homepages.cs.manchester.ac.uk/~seanb


-------------------------------------------------------
SF.Net email is sponsored by:
Tame your development challenges with Apache's Geronimo App Server. =
Download
it for free - -and be entered to win a 42" plasma tv or your very own
Sony(tm)PSP.  Click here to play: http://sourceforge.net/geronimo.php
_______________________________________________
DIG-users mailing list
DIG...@li...
https://lists.sourceforge.net/lists/listinfo/dig-users

Re: [DIG-users] Meeting during ISWC 2005

[Volker H. <haa...@cs...>]

On 1-Nov-05, at 13:15, Sean Bechhofer wrote:

> Ian Horrocks wrote:
>
>
>>>
>> Sounds fine, but as far as I know we still didn't agree on when to  
>> meet did we? We seemed to have eliminated most possibilities and  
>> were left with Friday evening. Is this OK for most/everyone?
>>
>
> Can we take silence here as agreement?

Yes, at least for me. Friday evening is fine.

Volker

Re: [DIG-users] Meeting during ISWC 2005

[Sean B. <se...@cs...>]

Ian Horrocks wrote:

> On 31 Oct 2005, at 12:37, Ralf Möller wrote:
> 
>>
>> On 24. Oct 2005, at 20:44 Uhr, Ian Dickinson wrote:
>>
>>> Alissa wrote:
>>>
>>>>> On suggestion of Ralf Möller I would suggest in the time of the 
>>>>> ISWC 2005 or OWL Workshop in Galway an "unofficial" meeting to the 
>>>>> subject DIG 2.0.
>>>>> Is there basically interest?
>>>>> How can we organize that best of all? Does somebody have an idea?
>>>
>>> I won't be attending ISWC this year, but Jeremy Carroll from the Jena 
>>> team will be there. Perhaps you could include him in any informal 
>>> discussion that goes on?
>>>
>>> My input to the discussion would be that DIG 2.0 should be focussed 
>>> on fixing the problems with DIG 1.1, rather than heading off into new 
>>> territory with additional features.
>>
>>
>> I second this. Would be great to solve the problems analyzed in
>> http://www.hpl.hp.com/techreports/2004/HPL-2004-85.html
> 
> 
> Sounds fine, but as far as I know we still didn't agree on when to meet 
> did we? We seemed to have eliminated most possibilities and were left 
> with Friday evening. Is this OK for most/everyone?
> 

Can we take silence here as agreement?

	Sean

-- 
Sean Bechhofer
sea...@ma...
http://homepages.cs.manchester.ac.uk/~seanb

Re: [DIG-users] Meeting during ISWC 2005

[Ian H. <hor...@cs...>]

On 31 Oct 2005, at 12:37, Ralf M=F6ller wrote:

>
> On 24. Oct 2005, at 20:44 Uhr, Ian Dickinson wrote:
>
>> Alissa wrote:
>>>> On suggestion of Ralf M=F6ller I would suggest in the time of the=20=

>>>> ISWC 2005 or OWL Workshop in Galway an "unofficial" meeting to the=20=

>>>> subject DIG 2.0.
>>>> Is there basically interest?
>>>> How can we organize that best of all? Does somebody have an idea?
>> I won't be attending ISWC this year, but Jeremy Carroll from the Jena=20=

>> team will be there. Perhaps you could include him in any informal=20
>> discussion that goes on?
>>
>> My input to the discussion would be that DIG 2.0 should be focussed=20=

>> on fixing the problems with DIG 1.1, rather than heading off into new=20=

>> territory with additional features.
>
> I second this. Would be great to solve the problems analyzed in
> http://www.hpl.hp.com/techreports/2004/HPL-2004-85.html

Sounds fine, but as far as I know we still didn't agree on when to meet=20=

did we? We seemed to have eliminated most possibilities and were left=20
with Friday evening. Is this OK for most/everyone?

Ian



>
> Best,
>
> Ralf
>
>
> -------------------------------------------------------
> This SF.Net email is sponsored by the JBoss Inc.
> Get Certified Today * Register for a JBoss Training Course
> Free Certification Exam for All Training Attendees Through End of 2005
> Visit http://www.jboss.com/services/certification for more information
> _______________________________________________
> DIG-users mailing list
> DIG...@li...
> https://lists.sourceforge.net/lists/listinfo/dig-users