dig-users — DIG users mailing list

Re: [DIG-users] Meeting during ISWC 2005

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

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 =
ISWC=20
>>> 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 on=20=

> 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

Best,

Ralf=

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

[Glen D. <g.d...@la...>]

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.

Re: [DIG-users] Meeting during ISWC 2005

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

On 25 Oct 2005, at 09:35, Sean Bechhofer wrote:

> Volker Haarslev wrote:
>
>> On 24-Oct-05, at 13:31, Ian Horrocks wrote:
>>> On 24 Oct 2005, at 18:09, Kaplunova, Alissa wrote:
>>>
>>>
>>>> Hallo!
>>>>
>>>> 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?
>>>>
>>>
>>> Good idea. We could meet one day at the end of the technical =20
>>> sessions and maybe spend a couple of hours before going to dinner =20=

>>> (but I can't make Tuesday as there is already a SWSA dinner that =20
>>> evening, and Wednesday is the conference dinner). If we can find a =20=

>>> suitable day, you could ask one of the local organisers if there is =20=

>>> any room available.
>> What about Thursday late afternoon or evening? The OWL workshop is =20=

>> Fri-Sat. I have to leave for Dublin on Sat evening.
>
> I have a project meeting scheduled for 5-8 on Thursday, but could meet=20=

> later. That might be getting a bit late for technical discussion=20
> though.

So how about Friday evening? (We are running out of options!)

Ian


>
> 	Sean
>
> --=20
> Sean Bechhofer
> se...@cs...
> http://www.cs.man.ac.uk/~seanb

Re: [DIG-users] Meeting during ISWC 2005

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

Volker Haarslev wrote:

> On 24-Oct-05, at 13:31, Ian Horrocks wrote:
> 
>> On 24 Oct 2005, at 18:09, Kaplunova, Alissa wrote:
>>
>>
>>> Hallo!
>>>
>>> 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?
>>>
>>
>> Good idea. We could meet one day at the end of the technical  sessions 
>> and maybe spend a couple of hours before going to dinner  (but I can't 
>> make Tuesday as there is already a SWSA dinner that  evening, and 
>> Wednesday is the conference dinner). If we can find a  suitable day, 
>> you could ask one of the local organisers if there is  any room 
>> available.
> 
> 
> What about Thursday late afternoon or evening? The OWL workshop is  
> Fri-Sat. I have to leave for Dublin on Sat evening.

I have a project meeting scheduled for 5-8 on Thursday, but could meet 
later. That might be getting a bit late for technical discussion though.

	Sean

-- 
Sean Bechhofer
se...@cs...
http://www.cs.man.ac.uk/~seanb

Re: [DIG-users] Meeting during ISWC 2005

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

On 24-Oct-05, at 13:31, Ian Horrocks wrote:

> On 24 Oct 2005, at 18:09, Kaplunova, Alissa wrote:
>
>
>> Hallo!
>>
>> 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?
>>
>
> Good idea. We could meet one day at the end of the technical =20
> sessions and maybe spend a couple of hours before going to dinner =20
> (but I can't make Tuesday as there is already a SWSA dinner that =20
> evening, and Wednesday is the conference dinner). If we can find a =20
> suitable day, you could ask one of the local organisers if there is =20=

> any room available.

What about Thursday late afternoon or evening? The OWL workshop is =20
Fri-Sat. I have to leave for Dublin on Sat evening.

Volker

Re: [DIG-users] Meeting during ISWC 2005

[Ian D. <ian...@hp...>]

Alissa wrote:
>> On suggestion of Ralf M=F6ller I would suggest in the time of the ISWC=
=20
>> 2005 or OWL Workshop in Galway an "unofficial" meeting to the subject=20
>> 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 on=20
fixing the problems with DIG 1.1, rather than heading off into new=20
territory with additional features. At the very least, it should be a=20
layered standard, but I would actually suggest that new features (like=20
publish-subscribe interfaces) should be standardised as independent=20
services that a given reasoner can choose to support or not.

Regards,
Ian

_______________________________________________________________________
Ian Dickinson    HP Laboratories, Bristol, UK    ph: +44 (117) 312 8796
http://www.hpl.hp.com/people/Ian_Dickinson  mailto:ian...@hp...

Re: [DIG-users] Meeting during ISWC 2005

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

On 24 Oct 2005, at 18:09, Kaplunova, Alissa wrote:

> Hallo!
>
> On suggestion of Ralf M=F6ller I would suggest in the time of the ISWC=20=

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

> DIG 2.0.
> Is there basically interest?
> How can we organize that best of all? Does somebody have an idea?

Good idea. We could meet one day at the end of the technical sessions=20
and maybe spend a couple of hours before going to dinner (but I can't=20
make Tuesday as there is already a SWSA dinner that evening, and=20
Wednesday is the conference dinner). If we can find a suitable day, you=20=

could ask one of the local organisers if there is any room available.

Ian



>
> Best regards
>
> Alissa Kaplunova
> ------------------
> TU Hamburg-Harburg
> AB Softwaresysteme
> Harburger Schlossstr. 20
> 21079 Hamburg
> email: al....@tu...
> Tel.: 040 - 42878 - 2539
>
>
>
>
> -------------------------------------------------------
> 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

[DIG-users] Meeting during ISWC 2005

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

Hallo!

On suggestion of Ralf M=F6ller 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?

Best regards

Alissa Kaplunova
------------------
TU Hamburg-Harburg
AB Softwaresysteme
Harburger Schlossstr. 20
21079 Hamburg
email: al....@tu...
Tel.: 040 - 42878 - 2539

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

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

I will attend ISWC and the OWL Experience workshop.

We can discuss this in Galway.

Volker

On 17-Oct-05, at 4:32, Olaf Noppens wrote:

> Hi all,
>
> We have studied SW reasoning especially in the context of ontology
> authoring tools (like our OntoTrack editor). Beyond traditional
> batch-oriented reasoning services we strongly believe that
> non-standard inference play an import role in the future not only
> in the context of ontology engineering and maintaining.
>
> As an example, consider the newly proposed services of computing the
> last common/good subsumer [1], explanations for subsumption [2],
> or debugging [3].
>
> We therefore propose the following for a DIG 2.0 specification:
> (1) distinguish between a core DIG and optional extensions (e.g.
> bullet (3) ): these optional extensions may cover non-standard
> inference services that not all core-DIG compliant reasoner will  
> support
> (2) support for information removal from a knowledge base
> (3) publish-subscriber mechanism for tbox (and maybe abox) changes.
>
> Some of our ongoing work will cover xml schema definitions for (2)
> and (3) and we will implement a prototypical publish-subscriber
> extension as a mediator component on top of a DIG compliant
> reasoner.
>
> For now, we would like to hear if other parties agree with these ideas
> and open the discussion towards DIG 2.0  :-)
>
>
> If any of you will attend ISWC or OWL Experience Workshop we should  
> take
> the opportunity to discuss further steps.
>
> Best regards
>
>     Olaf and Thorsten
>
>
> [1] Computing the Least Common Subsumer w.r.t. a Background  
> Terminology,
> Baader & Sertkaya & Turhan, DL2004
> [2] A Tableau-based Explainer for DL Subsumption, Liebig & Halfmann,
> TABLEAUX 05
> [3] Black box techniques for debugging unsatisfiable concepts,  
> Kalyanpur
> & Parisa & Sirin  DL2005
>
> -- 
> University of Ulm, Germany
>
>
>
> -------------------------------------------------------
> This SF.Net email is sponsored by:
> Power Architecture Resource Center: Free content, downloads,  
> discussions,
> and more. http://solutions.newsforge.com/ibmarch.tmpl
> _______________________________________________
> DIG-users mailing list
> DIG...@li...
> https://lists.sourceforge.net/lists/listinfo/dig-users
>

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

[Ronald C. <R.C...@am...>]

Well, let's jump on this train...

I'ld like to see the functionality as described below added to DIG 2.0.
I agree that these need to be in an optional extension for numerous reasons.
The most important probably being that this functionality offers highly 
implementation-dependent results.
I.e. there is not guarantee that the results are sound or complete, and one 
implementation may give different results than another.

Another addition could be approximate reasoning, e.g. providing 
classification result after a certain amount of time.

What I would really really like to see, is the possibility to retrieve 
concept (and role) definitions through DIG.
I think this is already envisioned for 2.0, but I'm not sure... Is there 
any reference where I can check this?

Oh, and some more management (e.g. retrieval of tboxes, selection of 
'active' tbox) would be welcomed as well.
RACER does a good job in this, but it can't be done via the DIG interface, 
I think.

Looking forward to other suggestions, and the appearance of DIG 2.0 of course!

Cheers, Ronald

At 10:32 17-10-05 +0200, Olaf Noppens wrote:
>Hi all,
>
>We have studied SW reasoning especially in the context of ontology
>authoring tools (like our OntoTrack editor). Beyond traditional
>batch-oriented reasoning services we strongly believe that
>non-standard inference play an import role in the future not only
>in the context of ontology engineering and maintaining.
>
>As an example, consider the newly proposed services of computing the
>last common/good subsumer [1], explanations for subsumption [2],
>or debugging [3].
>
>We therefore propose the following for a DIG 2.0 specification:
>(1) distinguish between a core DIG and optional extensions (e.g.
>bullet (3) ): these optional extensions may cover non-standard
>inference services that not all core-DIG compliant reasoner will support
>(2) support for information removal from a knowledge base
>(3) publish-subscriber mechanism for tbox (and maybe abox) changes.
>
>Some of our ongoing work will cover xml schema definitions for (2)
>and (3) and we will implement a prototypical publish-subscriber
>extension as a mediator component on top of a DIG compliant
>reasoner.
>
>For now, we would like to hear if other parties agree with these ideas
>and open the discussion towards DIG 2.0  :-)
>
>
>If any of you will attend ISWC or OWL Experience Workshop we should take
>the opportunity to discuss further steps.
>
>Best regards
>
>         Olaf and Thorsten
>
>
>[1] Computing the Least Common Subsumer w.r.t. a Background Terminology,
>Baader & Sertkaya & Turhan, DL2004
>[2] A Tableau-based Explainer for DL Subsumption, Liebig & Halfmann,
>TABLEAUX 05
>[3] Black box techniques for debugging unsatisfiable concepts, Kalyanpur
>& Parisa & Sirin  DL2005
>
>--
>University of Ulm, Germany
>
>
>
>-------------------------------------------------------
>This SF.Net email is sponsored by:
>Power Architecture Resource Center: Free content, downloads, discussions,
>and more. http://solutions.newsforge.com/ibmarch.tmpl
>_______________________________________________
>DIG-users mailing list
>DIG...@li...
>https://lists.sourceforge.net/lists/listinfo/dig-users


######################################################################
Ronald Cornet, M.Sc.                        email: R.C...@am...
dept. of Medical Informatics                phone: +31 (0)20 566 5188
Academic Medical Center, Room J1B-114        fax:   +31 (0)20 691 9840
P.O.Box 22700
1100 DE  Amsterdam
The Netherlands                             'The truth is out there'

[DIG-users] Towards DIG 2.0 - suggestions

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

Hi all,

We have studied SW reasoning especially in the context of ontology
authoring tools (like our OntoTrack editor). Beyond traditional
batch-oriented reasoning services we strongly believe that
non-standard inference play an import role in the future not only
in the context of ontology engineering and maintaining.

As an example, consider the newly proposed services of computing the
last common/good subsumer [1], explanations for subsumption [2], 
or debugging [3]. 

We therefore propose the following for a DIG 2.0 specification:
(1) distinguish between a core DIG and optional extensions (e.g.
bullet (3) ): these optional extensions may cover non-standard
inference services that not all core-DIG compliant reasoner will support
(2) support for information removal from a knowledge base
(3) publish-subscriber mechanism for tbox (and maybe abox) changes.

Some of our ongoing work will cover xml schema definitions for (2)
and (3) and we will implement a prototypical publish-subscriber 
extension as a mediator component on top of a DIG compliant
reasoner. 

For now, we would like to hear if other parties agree with these ideas
and open the discussion towards DIG 2.0  :-) 


If any of you will attend ISWC or OWL Experience Workshop we should take
the opportunity to discuss further steps.

Best regards

	Olaf and Thorsten


[1] Computing the Least Common Subsumer w.r.t. a Background Terminology,
Baader & Sertkaya & Turhan, DL2004
[2] A Tableau-based Explainer for DL Subsumption, Liebig & Halfmann,
TABLEAUX 05
[3] Black box techniques for debugging unsatisfiable concepts, Kalyanpur
& Parisa & Sirin  DL2005

-- 
University of Ulm, Germany

[DIG-users] DIG at GUT (DIGUT)

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

Hi all DIG-gers,

At Gdansk University of Technology we are developing a DIG reasoner =
(TBox and ABox) to be used as an inference engine  for a knowledge base =
developed for the PIPS project (health&nutrition domain). We found the =
followimg enhancement to DIG useful:
=20
1. The three-valued logic has been introduced in response for instance =
check query (instance). The answer "false" means that it is certain that =
an individual is not a member of a concept. The newly introduced answer =
"maybe" (meaning "don't know") means that the KB does not have enough =
information to state definitely ("does not know") whether or not the =
individual is a member of the concept.

=20

2. We introduced a new management request: loadOntology that can be used =
to load an ontology in a batch mode (e.g. an OWL ontology), either from =
an external file or from the contents of the request.

=20

3. A new Ask request about equivalence of two concepts has been added =
(evidently missing in DIG).

=20

4. The semantics of toldValues has been extended to enable a user to ask =
for many attributes values and many instances at a time. This =
facilitates retrieving "database" (i.e.attribute) data in a batch mode =
instead of doing it one at a time.


Best

Kris Goczyla=20


-----------------------------
Prof. Krzysztof Goczyla, PhD., DSc.
Gdansk University of Technology, Software Engineering Dept.,
Faculty of Electronics, Telecommunications & Informatics
ul. G. Narutowicza 11/12       tel.: +48 58 347 13 18
                               fax : +48 58 347 27 27, 341 61 32=20
80-952 GDANSK, Poland          e-mail: kr...@et...

R: R: R: [DIG-users] TellsDocument

[Luigi I. <ia...@di...>]

Hi again,

I have the following strange situation now. If I run the following code

public class TestBean {

	public static void main(String[] args) {
		try {
			TellsDocument tells =3D
TellsDocument.Factory.parse(new File("dummyTell.txt"));
=09
System.out.println(tells.getTells().getEqualcArray().length);
			Document doc =3D
DocumentBuilderFactory.newInstance().newDocumentBuilder().parse(new
File("dummyTell.txt"));
			TellsDocument newTells =3D
TellsDocument.Factory.parse(doc);
=09
System.out.println(newTells.getTells().getEqualcArray().length);
		} catch (XmlException e) {
			// TODO Auto-generated catch block
			e.printStackTrace();
		} catch (IOException e) {
			// TODO Auto-generated catch block
			e.printStackTrace();
		} catch (ParserConfigurationException e) {
			// TODO Auto-generated catch block
			e.printStackTrace();
		} catch (FactoryConfigurationError e) {
			// TODO Auto-generated catch block
			e.printStackTrace();
		} catch (SAXException e) {
			// TODO Auto-generated catch block
			e.printStackTrace();
		}
	}
}

I obtain the following output for the file attached (dummyTell.txt)

17
org.apache.xmlbeans.XmlException: error: The document is not a
tells@http://dl.kr.org/dig/2003/02/lang: document element namespace =
mismatch
expected "http://dl.kr.org/dig/2003/02/lang" got ""
	at
org.apache.xmlbeans.impl.store.Root.verifyDocumentType(Root.java:501)
	at
org.apache.xmlbeans.impl.store.Root.autoTypedDocument(Root.java:417)
	at org.apache.xmlbeans.impl.store.Root.loadXml(Root.java:1817)
	at
org.apache.xmlbeans.impl.schema.SchemaTypeLoaderBase.parse(SchemaTypeLoad=
erB
ase.java:342)
	at
org.kr.dl.dig.v1_1.TellsDocument$Factory.parse(TellsDocument.java:126)
	at TestBean.main(TestBean.java:32)



In practice when I parse from file everything goes right (or seems) as =
it
prints out the number of equalsc. When I parse from Document it raises =
an
exception.

Can you help me?

Thanks,

Luigi


-----Messaggio originale-----
Da: dig...@li...
[mailto:dig...@li...] Per conto di Daniele Turi
Inviato: venerd=EC 19 novembre 2004 13.51
A: Luigi Iannone
Cc: dig...@li...
Oggetto: Re: R: R: [DIG-users] TellsDocument

Luigi Iannone wrote:

>Hi again,
>
>do you know how to get the number of the cardinality restriction in an
>instance of NumRoleConceptPair as it is not clear either in the Javadoc =
or
>the xsd schema file
> =20
>

The interface NumRoleConceptPair has a getNum() method
which should do the job.

    Daniele

--=20
Dr Daniele Turi
Information Management Group, School of Computer Science
The University of Manchester
2.100 Kilburn Building, Oxford Road, Manchester, M13 9PL, UK.
Tel +44 (0) 161 275 6145
Fax                 6211
http://www.cs.man.ac.uk/~dturi



-------------------------------------------------------
This SF.Net email is sponsored by: InterSystems CACHE
FREE OODBMS DOWNLOAD - A multidimensional database that combines
robust object and relational technologies, making it a perfect match
for Java, C++,COM, XML, ODBC and JDBC. www.intersystems.com/match8
_______________________________________________
DIG-users mailing list
DIG...@li...
https://lists.sourceforge.net/lists/listinfo/dig-users

Re: R: R: [DIG-users] TellsDocument

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

Luigi Iannone wrote:

>Hi again,
>
>do you know how to get the number of the cardinality restriction in an
>instance of NumRoleConceptPair as it is not clear either in the Javadoc or
>the xsd schema file
>  
>

The interface NumRoleConceptPair has a getNum() method
which should do the job.

    Daniele

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

R: R: [DIG-users] TellsDocument

[Luigi I. <ia...@di...>]

Hi again,

do you know how to get the number of the cardinality restriction in an
instance of NumRoleConceptPair as it is not clear either in the Javadoc =
or
the xsd schema file

Thanks,

Luigi

-----Messaggio originale-----=20
Da: Daniele Turi [mailto:dt...@cs...]=20
Inviato: gioved=EC 18 novembre 2004 15.58
A: Luigi Iannone
Cc: dig...@li...
Oggetto: Re: R: [DIG-users] TellsDocument

Luigi Iannone wrote:

>Wow!
>Then I suppose that it is the same for impliesc ConceptPair, isn't it?
> =20
>

Yes.

>So how can I distinguish the subsumed from the subsumer?
> =20
>

I agree it is very bad. I will have a look again at the XMLBeans=20
documentation
and see if I can modify the schema to prevent this. But I tried at the =
time
to no avail. For instance, in
org.kr.dl.dig.reasoner.v1_1.impl.TReasoner#subsumes(Concept, Concept, =
URI)
I hard coded the "ask" exactly for that reason.

If you have any idea how to fix the schema please let me know.

    Daniele


>
>-----Messaggio originale-----
>Da: Daniele Turi [mailto:dt...@cs...]=20
>Inviato: gioved=EC 18 novembre 2004 15.23
>A: Luigi Iannone
>Cc: dig...@li...
>Oggetto: Re: [DIG-users] TellsDocument
>
>Luigi Iannone wrote:
>
> =20
>
>>Hi all,
>>
>>in my code I try to analyze a TellsDocument object I obtained after
parsing
>>a Jena DIGAdapter.translateKbToDig() result.
>>
>>As a first issue I obtained an exception on the namespace that I =
easily
>>worked around. The exception is=20
>>
>>org.apache.xmlbeans.XmlException: error: The document is not a
>>tells@http://dl.kr.org/dig/2003/02/lang: document element namespace
>>   =20
>>
>mismatch
> =20
>
>>expected "http://dl.kr.org/dig/2003/02/lang" got
>>   =20
>>
>"http://dl.kr.org/dig/lang"
> =20
>
>>=09
>>
>>   =20
>>
>
>The first is the namespace for DIG 1.0, the second for DIG 1.1.
>
> =20
>
>>As a second issue when analyzing the TellsDocument I split it in =
single
>>tells among which, for instance, I identify the equalc with
>>.getEqualcArray() method. This method returns an array of ConceptPair
>>objects.
>>Throughout the Javadoc I couldn't find a method for taking the first
>>   =20
>>
>concept
> =20
>
>>in the pair or the second one.
>>
>>Can you help me?
>>
>>=20
>>
>>   =20
>>
>
>
>I'm afraid there is no such method: you will have to go through
>all possibilities :-(
>
>    Daniele
>
> =20
>


--=20
Dr Daniele Turi
Information Management Group, School of Computer Science
The University of Manchester
2.100 Kilburn Building, Oxford Road, Manchester, M13 9PL, UK.
Tel +44 (0) 161 275 6145
Fax                 6211
http://www.cs.man.ac.uk/~dturi

Re: R: [DIG-users] TellsDocument

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

Luigi Iannone wrote:

>Wow!
>Then I suppose that it is the same for impliesc ConceptPair, isn't it?
>  
>

Yes.

>So how can I distinguish the subsumed from the subsumer?
>  
>

I agree it is very bad. I will have a look again at the XMLBeans 
documentation
and see if I can modify the schema to prevent this. But I tried at the time
to no avail. For instance, in
org.kr.dl.dig.reasoner.v1_1.impl.TReasoner#subsumes(Concept, Concept, URI)
I hard coded the "ask" exactly for that reason.

If you have any idea how to fix the schema please let me know.

    Daniele


>
>-----Messaggio originale-----
>Da: Daniele Turi [mailto:dt...@cs...] 
>Inviato: giovedì 18 novembre 2004 15.23
>A: Luigi Iannone
>Cc: dig...@li...
>Oggetto: Re: [DIG-users] TellsDocument
>
>Luigi Iannone wrote:
>
>  
>
>>Hi all,
>>
>>in my code I try to analyze a TellsDocument object I obtained after parsing
>>a Jena DIGAdapter.translateKbToDig() result.
>>
>>As a first issue I obtained an exception on the namespace that I easily
>>worked around. The exception is 
>>
>>org.apache.xmlbeans.XmlException: error: The document is not a
>>tells@http://dl.kr.org/dig/2003/02/lang: document element namespace
>>    
>>
>mismatch
>  
>
>>expected "http://dl.kr.org/dig/2003/02/lang" got
>>    
>>
>"http://dl.kr.org/dig/lang"
>  
>
>>	
>>
>>    
>>
>
>The first is the namespace for DIG 1.0, the second for DIG 1.1.
>
>  
>
>>As a second issue when analyzing the TellsDocument I split it in single
>>tells among which, for instance, I identify the equalc with
>>.getEqualcArray() method. This method returns an array of ConceptPair
>>objects.
>>Throughout the Javadoc I couldn't find a method for taking the first
>>    
>>
>concept
>  
>
>>in the pair or the second one.
>>
>>Can you help me?
>>
>> 
>>
>>    
>>
>
>
>I'm afraid there is no such method: you will have to go through
>all possibilities :-(
>
>    Daniele
>
>  
>


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

R: [DIG-users] TellsDocument

[Luigi I. <ia...@di...>]

Wow!
Then I suppose that it is the same for impliesc ConceptPair, isn't it?
So how can I distinguish the subsumed from the subsumer?

Thanks again,

Luigi


-----Messaggio originale-----
Da: Daniele Turi [mailto:dt...@cs...]=20
Inviato: gioved=EC 18 novembre 2004 15.23
A: Luigi Iannone
Cc: dig...@li...
Oggetto: Re: [DIG-users] TellsDocument

Luigi Iannone wrote:

>Hi all,
>
>in my code I try to analyze a TellsDocument object I obtained after =
parsing
>a Jena DIGAdapter.translateKbToDig() result.
>
>As a first issue I obtained an exception on the namespace that I easily
>worked around. The exception is=20
>
>org.apache.xmlbeans.XmlException: error: The document is not a
>tells@http://dl.kr.org/dig/2003/02/lang: document element namespace
mismatch
>expected "http://dl.kr.org/dig/2003/02/lang" got
"http://dl.kr.org/dig/lang"
>=09
>

The first is the namespace for DIG 1.0, the second for DIG 1.1.

>
>As a second issue when analyzing the TellsDocument I split it in single
>tells among which, for instance, I identify the equalc with
>.getEqualcArray() method. This method returns an array of ConceptPair
>objects.
>Throughout the Javadoc I couldn't find a method for taking the first
concept
>in the pair or the second one.
>
>Can you help me?
>
> =20
>


I'm afraid there is no such method: you will have to go through
all possibilities :-(

    Daniele

--=20
Dr Daniele Turi
Information Management Group, School of Computer Science
The University of Manchester
2.100 Kilburn Building, Oxford Road, Manchester, M13 9PL, UK.
Tel +44 (0) 161 275 6145
Fax                 6211
http://www.cs.man.ac.uk/~dturi

Re: [DIG-users] TellsDocument

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

Luigi Iannone wrote:

>Hi all,
>
>in my code I try to analyze a TellsDocument object I obtained after parsing
>a Jena DIGAdapter.translateKbToDig() result.
>
>As a first issue I obtained an exception on the namespace that I easily
>worked around. The exception is 
>
>org.apache.xmlbeans.XmlException: error: The document is not a
>tells@http://dl.kr.org/dig/2003/02/lang: document element namespace mismatch
>expected "http://dl.kr.org/dig/2003/02/lang" got "http://dl.kr.org/dig/lang"
>	
>

The first is the namespace for DIG 1.0, the second for DIG 1.1.

>
>As a second issue when analyzing the TellsDocument I split it in single
>tells among which, for instance, I identify the equalc with
>.getEqualcArray() method. This method returns an array of ConceptPair
>objects.
>Throughout the Javadoc I couldn't find a method for taking the first concept
>in the pair or the second one.
>
>Can you help me?
>
>  
>


I'm afraid there is no such method: you will have to go through
all possibilities :-(

    Daniele

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

[DIG-users] TellsDocument

[Luigi I. <ia...@di...>]

Hi all,

in my code I try to analyze a TellsDocument object I obtained after parsing
a Jena DIGAdapter.translateKbToDig() result.

As a first issue I obtained an exception on the namespace that I easily
worked around. The exception is 

org.apache.xmlbeans.XmlException: error: The document is not a
tells@http://dl.kr.org/dig/2003/02/lang: document element namespace mismatch
expected "http://dl.kr.org/dig/2003/02/lang" got "http://dl.kr.org/dig/lang"
	at
org.apache.xmlbeans.impl.store.Root.verifyDocumentType(Root.java:501)
	at
org.apache.xmlbeans.impl.store.Root.autoTypedDocument(Root.java:417)
	at org.apache.xmlbeans.impl.store.Root.loadXml(Root.java:1817)
	at
org.apache.xmlbeans.impl.schema.SchemaTypeLoaderBase.parse(SchemaTypeLoaderB
ase.java:342)
	at
org.kr.dl.dig.v1_1.TellsDocument$Factory.parse(TellsDocument.java:126)
	at ...

As a second issue when analyzing the TellsDocument I split it in single
tells among which, for instance, I identify the equalc with
.getEqualcArray() method. This method returns an array of ConceptPair
objects.
Throughout the Javadoc I couldn't find a method for taking the first concept
in the pair or the second one.

Can you help me?

Thanks in advance 

Luigi

Re: [DIG-users] org.kr.dl.dig.v1_1.Ask

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

Lukasz Dudzinski wrote:

> hello, during execution of program I get the following error message: 
> "ClassNotFoundException: org.kr.dl.dig.v1_1.Ask"
> This class is not used directly in my program, but I think some other 
> code invoke this class and cannot find it. Could You tell mi what is 
> all about? I added every jar file to the CLASSPATH.
>  
> Thanks for any tips
>   Best Regards
>      Lukasz


Could you please provide more details?

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

[DIG-users] org.kr.dl.dig.v1_1.Ask

[Lukasz D. <ra...@ma...>]

hello, during execution of program I get the following error message: =
"ClassNotFoundException: org.kr.dl.dig.v1_1.Ask"
This class is not used directly in my program, but I think some other =
code invoke this class and cannot find it. Could You tell mi what is all =
about? I added every jar file to the CLASSPATH.

Thanks for any tips
  Best Regards
     Lukasz

RE: [DIG-users] Individual types query

[Dickinson, I. J. (HP L. B. UK) <ian...@hp...>]

That's what I was hoping.=20
Thanks,
Ian

> -----Original Message-----
> From: Sean Bechhofer [mailto:se...@cs...]=20
> > Sean - What does FaCT do with <types>?  To get Racer's DIG=20
> interface=20
> > to support Jena's contract, I will need to <ask> for the=20
> ancestors of=20
> > each of the concepts returned from <types>.  If FaCT does=20
> the same, I=20
> > can just change my code.  If FaCT returns all of the concepts and=20
> > their ancestors, I'll need to have a switch in my code=20
> depending which=20
> > reasoner I'm talking to.
> >=20
>=20
> FaCT *should* return the same as RACER in this situation -- the most=20
> specific concept names that an individual is a instance of. If it=20
> doesn't, it needs fixing!
>=20
> 	Sean

Re: [DIG-users] Individual types query

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

Dickinson, Ian John (HP Labs, Bristol, UK) wrote:

> Sean - What does FaCT do with <types>?  To get Racer's DIG interface
> to support Jena's contract, I will need to <ask> for the ancestors of
> each of the concepts returned from <types>.  If FaCT does the same, I
> can just change my code.  If FaCT returns all of the concepts and
> their ancestors, I'll need to have a switch in my code depending
> which reasoner I'm talking to.
> 

FaCT *should* return the same as RACER in this situation -- the most 
specific concept names that an individual is a instance of. If it 
doesn't, it needs fixing!

	Sean

-- 
Sean Bechhofer
se...@cs...
http://www.cs.man.ac.uk/~seanb

RE: [DIG-users] Individual types query

[Dickinson, I. J. (HP L. B. UK) <ian...@hp...>]

Sean -=20
What does FaCT do with <types>?  To get Racer's DIG interface to support =
Jena's contract, I will need to <ask> for the ancestors of each of the =
concepts returned from <types>.  If FaCT does the same, I can just =
change my code.  If FaCT returns all of the concepts and their =
ancestors, I'll need to have a switch in my code depending which =
reasoner I'm talking to.

Thanks,
Ian


> > From: Ralf M=F6ller <r.f...@tu...>
> >
> >
> > I think what we had in mind was that <types> returns the set of most
> > specific concept names of which a given individuals is an instance=20
> > (i.e., the direct types).

Fwd: [DIG-users] Individual types query

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

Begin forwarded message:

> From: Ralf M=F6ller <r.f...@tu...>
> Date: Mon Oct 25, 2004  3:40:02 PM Europe/Berlin
> To: Ian Dickinson <ian...@hp...>
> Cc: Michael Wessel <mi....@su...>
> Subject: Re: [DIG-users] Individual types query
>
>
> On Friday, October 22, 2004, at 12:34 PM, Ian Dickinson wrote:
>
>> A general question on the DIG 1.1 spec, but I'm especially interested=20=

>> in Sean's and Ralf's answers! I have a user bug report on Jena at the=20=

>> moment, where the situation is as follows (using Racer 1.7.23):
>>
>> <tells [...attribs omitted for clarity...]>
>>     <defconcept name=3D"http://www.example.com/testontology#C"/>
>>     <defconcept name=3D"http://www.example.com/testontology#A"/>
>>     <defconcept name=3D"http://www.example.com/testontology#B"/>
>>     <defindividual=20
>> name=3D"http://www.example.com/testinstances#TestInstance"/>
>>     <impliesc>
>>         <catom name=3D"http://www.example.com/testontology#C"/>
>>         <catom name=3D"http://www.example.com/testontology#B"/>
>>     </impliesc>
>>     <impliesc>
>>         <catom name=3D"http://www.example.com/testontology#B"/>
>>         <catom name=3D"http://www.example.com/testontology#A"/>
>>     </impliesc>
>>     <instanceof>
>>         <individual=20
>> name=3D"http://www.example.com/testinstances#TestInstance"/>
>>         <catom name=3D"http://www.example.com/testontology#C"/>
>>     </instanceof>
>> </tells>
>>
>> <asks [...]>
>>  <types id=3D"q1">
>>   <individual=20
>> name=3D"http://www.example.com/testinstances#TestInstance"/>
>>  </types>
>> </asks>
>>
>> <responses [...]>
>>     <conceptSet id=3D"q1">
>>         <synonyms>
>>             <catom name=3D"http://www.example.com/testontology#C"/>
>>         </synonyms>
>>     </conceptSet>
>> </responses>
>>
>> The user was expecting C, B and A as the response, which seems=20
>> reasonable.  It seems to me that <types> is returning the direct=20
>> types (i.e. like <parents> rather than <ancestors>).
>>
>> Is this the correct behaviour for DIG 1.1?  In other words, to get=20
>> the full classification of TestInstance I should do <types>, followed=20=

>> by N queries of <ancestors> on the returned concept names?  I note=20
>> that the spec is silent on the exact meaning of <types>.
>
> Ian,
>
> I think what we had in mind was that <types> returns the set of most=20=

> specific concept names of which a given individuals is an instance=20
> (i.e., the direct types).
>
>
>>
>> Either way, I advocate that DIG 2.0 has an asks form for both the=20
>> direct types and the closure of the concept hierarchy.
>
> If  you would like to avoid asking for the ancestors of each type,=20
> this does make sense.
>
>> Is there a standard nomenclature for this difference in the DL=20
>> community?
>
> Sure, KRSS defined (individuals-types ...) and=20
> (individual-direct-types ...)
>
> Best,
>
> Ralf
>
>>
>> Regards,
>> Ian
>>
>>
>>
>> -------------------------------------------------------
>> This SF.net email is sponsored by: IT Product Guide on=20
>> ITManagersJournal
>> Use IT products in your business? Tell us what you think of them.=20
>> Give us
>> Your Opinions, Get Free ThinkGeek Gift Certificates! Click to find=20
>> out more
>> http://productguide.itmanagersjournal.com/guidepromo.tmpl
>> _______________________________________________
>> DIG-users mailing list
>> DIG...@li...
>> https://lists.sourceforge.net/lists/listinfo/dig-users
>>
>