dig-users Mailing List for DIG Interface (Page 2)

SourceForge Headquarters 225 Broadway Suite 1600 San Diego, CA 92101 +1 (858) 422-6466

You're the One http://99.140.189.7/

PopularED's delivered fast http://124.125.147.179/ttr/

Your Love Has Opened http://24.139.129.254/

Hello everybody.

=20

We are developing a DL Reasoner and would like to make a certain =
functionality within our DL Reasoner.

This functionality is our own DL Reasoner(which in on development) can =
communicate with

the ontology editor such as Prot=C3=A9g=C3=A9 using DIG Interface.

=20

I have a question.

Are there automatic tools which can transform OWL to DIG XSL?  =20

If it exists,=20

I would like to obtain it with some test examples.

technical reports or papers would be also fine.

=20

Can you help me?

=20

With best regards.

A Dream is a Wish http://83.11.72.201/

A Rose http://69.109.25.120/

EXTO Set To Bust Out On US Market!

EXIT ONLY INC
E X T O . P K
Current Price: $ 0.43

The time table has been moved up. EXTO's overwhelming success in Canada
with its used car marketing site has stepped up its pace to expand its
coverage. Results in the US are expected to mirror the success of the
Canadian launch. No hidden costs and no posting fees, is drawing sellers
to the site. EXTO released news today that they are ahead of schedule
and ready to lunch their US expansion. This is going to take off with
the launching of that site, get on it first thing Wed.

Monday Will Be Huge!

SCORE ONE INC. (S R E A)
$0.10

We expect it to rocket again after news hits. Monday is the day to grab
SREA.

All the free games you could ever want...go here http://68.58.115.110/

Good morning.
Only today we want to offer you the best remedies at the lowest cost.
Now you’ve got great chance to save your time and money.
But number one is the costs they are extremely cheap.
If you want to save your time and money you are welcome!
With every good wish.

Misty Clarke 

Don’t like the old ugly ticking thing on your wrist?
Our prices will be a really pleasant surprise for you – see yourself!
We offer quality watches at tiny prices that everyone will find affordable!
http://Nickolas.placepharmacyarea.com
B,U,L,L MARKET R_E_PORT!!!
Insider B_u_ying A-l-e-r-t!!!

Tr Date: Friday, Aug 10, 2007
Com: P-R-I_M_E T.I.M.E GROUP INC
Symbol: (P)(R)(T)(H)
Cur Pr: $0.105
Thur Close: Gain (19.32%)
Recomm: S!trong B.u.y/H.o.l.d

DO YOU LOVE T_R-A-D-I-N_G P*ENNY S,T.O,C.K,S?
[P][R][T][H] WILL MOVE LIKE A COMET AND ITS
ONLY GOING TO GET BETTER!
Wat ch this S-U.P-E.RNOVA closely FRIDAY!

 Hi to all!

Im newbie... And I dont find any ISOLATED implementation for DIG Interface!!

Please, could you help me???

Thanks in advance.
Gonzalo.

Hello,

In the application I am currently working on I want to translate incoming
SPARQL queries to DIG queries.
I parse the queries, but I do not have a complete idea on how to translate
SPARQL to DIG queries to send over HTTP.

Could someone please help me?

Thanks in advance.

Oylum

Hello there

I would greatly appreciate a small amount of your time to assist with
my doctoral research at The University of Newcastle. The research
concerns open source licensing and we're seeking developers working on
Java projects. The research is supervised, ethics-approved, anonymous
and results will be freely available. Participation will also provide a
custom licensing report for your project. To learn more, please visit:

   http://licensing-research.newcastle.edu.au

Thanks for reading this email, and I hope you'll consider participating.

Best regards
Ben Alex

(My apologies for being off-topic; this list will not be emailed again)

SREA Coming Out Of The Shadows!
Score One Inc.
sRe a
cL: $0.11
SREA has been keeping quite for some time. 
Acquiring one company after the other and reorganizing its direction. 

We have heard they are getting ready to make a come back 
and we should expect big things. This one could be huge and it 
is the right p rice. Get ahead of it. 
Get on SR E A Wed! 

Hi!

I do a small project for my studies at my university in Hungary, for =
which I would like a little help.
I'm making a searching engine, which uses an ontology to get some extra =
data for the searching. I already made the ontology, and would like to =
access it from the web browser. The page has been made with php. I used =
Protege for building the ontology, and Pellet 1.4 for the reasoning. =
Pellet supports DIG, and DIG has an http interface. So I thought I can =
send "ask" messages for the reasoner, from php.
I did it the following way:
$fp =3D fsockopen("localhost", 8081, $errno, $errstr, 30);
$msg =3D <my xml message>;
fwrite($fp,$msg);
while(!feof($fp))
    $res .=3D fgets($fp, 1024);

So I can read out from $res the response. But the only things I get are =
error messages.
I did the following, to get properly formatted messages. Started the =
Protege and the pellet-dig, then checked the consistency of my ontology. =
This way in the pellet-dig terminal windows I saw all the messages that =
were sent and recieved. I copied one, and sent from my php page, but it =
didn't worked.
Has anyone ever accessed pellet-dig from anything but Java? I know this =
can be done from Java, but I thought that if it can by done directly =
from php, than it would be a lot easier for me.
If anyone know how to do this, please contact me. The sooner, the =
better. :)
Thanks,

Daniel

P.S.: Please excuse me for my grammar mistakes.
はじめまして美樹です。
掲示板で見て趣味合うかなって思ってメールしちゃいました。

イキナリでゴメンなさいm(__)m
こういう感じで知り合えるのに憧れてて初挑戦しちゃいました。
お返事もらえたら簡単な自己紹介しますネ(^_-)-☆
もしそんな気なかったらそう言ってもらえれば諦めますので。
もちろん仲良くなれた方が嬉しいけど。
お返事気長に待ってま〜す(^_^)/~
http://www.star-lightz.com/m-box

Hello!

Could you tell me please how to query all attribute names and the 
respective range (int or string) in DIG 1.1. Thanks!

Best regards,
Paolo Dongilli.

Hi All,

I tried to release KBs after doing some queries, but I found that the 
function of <releaseKB> is only to stop me continuing querying on this 
KB. The memory which is occupied by the KB is not released.

I did some tests on RacerPro and Pellet. They all have the same problem: 
memory is not released. In the tests, I tried 2 methods: one is to use 
DIG-API; the other is to use dig_client. All the results displayed that 
the memory is not released in both methods. Whether I release KB, the 
memory occupied by the reasoner increases by telling KB.

Now I am confused the function of <releaseKB>. Is it only designed to 
stop the connection to the KB without freeing the memory which is 
occupied by the KB in reasoner?

Hope someone can make me clear. Thanks!

Regards,

Hui

Kris and all,
=20
  I understand your explanation. However in case I suppose a EL+ DL and =
the following Knowledge Base (I update "All" by "Some"):
<impliesc>=20
<catom name=3D"Boy"/>=20
<catom name=3D"Person"/>=20
</impliesc>=20

<impliesc>=20
<catom name=3D"HappyMan"/>=20
<some>=20
<ratom name=3D"hasChild"/>=20
<catom name=3D"Boy"/>=20
</some>=20
</impliesc>=20

<impliesc>=20
<catom name=3D"Man"/>=20
<some>=20
<ratom name=3D"hasChild"/>=20
<catom name=3D"Person"/>=20
</some>=20
</impliesc>=20

the reasoner does not infer that "HappyMan" is subsumed by "Man". I =
thought it was basic, isn't i? I am not sure to really understand the =
reason why.

Best,=20

Freddy

________________________________

De : Krzysztof Goczyla [mailto:kr...@et...]=20
Envoy=E9 : vendredi 22 d=E9cembre 2006 10:54
=C0 : LECUE FREDDY RD-TECH-REN
Objet : Re: [DIG-users] Strange Inference Behaviour

Dear Freddy,
=20
The reason comes from the meaning of general quantification in FOL (and =
hence in DL):
=20
(ALL Role.Concept)  is equivalent to (NOT EXISTS Role.NOT Concept).
=20
According to your axioms on HappyMan and Man, both can have no children. =
So, you may divide concept Man (and also concept HappyMan) into two =
parts. In the first part there are individuals with children =
(ManWithChildren and HappyManWithChildren), in the second part =
individuals without children. For the first parts of course: =
HappyManWithChildren <impliesc> ManWithChildren, since any Boy is a =
Person; while for the second parts nothong tells us, that a HappyMan =
with no children is a Man with no children.
=20
Best
=20
Kris Goczyla
=20
=20
=20
=20
=20

	----- Original Message -----=20
	From: LECUE FREDDY RD-TECH-REN <mailto:fre...@or...> =
=20
	To: dig...@li...=20
	Cc: Ralf M=F6ller <mailto:r.f...@tu...>  ; Daniele Turi =
<mailto:dt...@cs...> =20
	Sent: Friday, December 22, 2006 9:19 AM
	Subject: [DIG-users] Strange Inference Behaviour

	Hi all,=20
	  Suppose the following simple Knowledge Base wherein "Boy", "Person", =
"Man" and "HappyMan" are 4 concepts.=20

	<impliesc>=20
	<catom name=3D"Boy"/>=20
	<catom name=3D"Person"/>=20
	</impliesc>=20

	<impliesc>=20
	<catom name=3D"HappyMan"/>=20
	<all>=20
	<ratom name=3D"hasChild"/>=20
	<catom name=3D"Boy"/>=20
	</all>=20
	</impliesc>=20

	<impliesc>=20
	<catom name=3D"Man"/>=20
	<all>=20
	<ratom name=3D"hasChild"/>=20
	<catom name=3D"Person"/>=20
	</all>=20
	</impliesc>=20

	  According to any reasoner (Fact++, cel) I use to interface the =
reasoning, when I ask if "Man" subsumes "HappyMan", the returned =
response is false!

	  What do You think about this behaviour? Do you have any explanation?=20

	Many thanks in advance.=20
	Best,=20
	Freddy=20

=09
________________________________

=09

	=
-------------------------------------------------------------------------=

	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=3Djoin.php&p=3Dsourceforge&CID=3D=
DEVDEV=20

=09
________________________________

=09

	_______________________________________________
	DIG-users mailing list
	DIG...@li...
	https://lists.sourceforge.net/lists/listinfo/dig-users
=09

Hi all,
  Suppose the following simple Knowledge Base wherein "Boy", "Person", =
"Man" and "HappyMan" are 4 concepts.

<impliesc>
<catom name=3D"Boy"/>
<catom name=3D"Person"/>
</impliesc>

<impliesc>
<catom name=3D"HappyMan"/>
<all>
<ratom name=3D"hasChild"/>
<catom name=3D"Boy"/>
</all>
</impliesc>

<impliesc>
<catom name=3D"Man"/>
<all>
<ratom name=3D"hasChild"/>
<catom name=3D"Person"/>
</all>
</impliesc>

  According to any reasoner (Fact++, cel) I use to interface the =
reasoning, when I ask if "Man" subsumes "HappyMan", the returned =
response is false!
  What do You think about this behaviour? Do you have any explanation?

Many thanks in advance.
Best,
Freddy

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
>

Hi all,
 =20
  according to an ontology I build a knowledge base according to the
newKB() method. So I am able to make some inference e.g., subsumption,
satisfiability... However I would like to get the concept (Concept
class) definition of a concept in case I know the name (as a String) of
this concept. Is it possible to do such a thing?

  For instance, in the Knowledge Base, I have a list of definition of
concept. According to the DIG Api, it's possible to get all concepts as
a list of String (allConceptName) but How may I get their definition?

Best.
Freddy

hui zhang wrote:

>Hi Everybody,
>
>Recently I met a problem of validating a DIG response.
>
>
>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. 
>  
>

Validation fails because the ids are not valid. Instead of
cSathttp://www.owl-ontologies.com/unnamed0.owl#A
try CSat1.

Daniele

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

2004	Jan	Feb	Mar	Apr	May (5)	Jun (11)	Jul (1)	Aug (3)	Sep (2)	Oct (7)	Nov (9)	Dec (1)
2005	Jan	Feb	Mar	Apr	May	Jun	Jul	Aug	Sep	Oct (12)	Nov (8)	Dec
2006	Jan	Feb	Mar (3)	Apr	May (6)	Jun	Jul	Aug	Sep (2)	Oct (2)	Nov	Dec (15)
2007	Jan (6)	Feb (7)	Mar (1)	Apr (3)	May	Jun (4)	Jul (2)	Aug (1)	Sep (4)	Oct (2)	Nov (1)	Dec
2008	Jan (4)	Feb (3)	Mar	Apr	May (1)	Jun (3)	Jul (5)	Aug (2)	Sep (11)	Oct (6)	Nov (20)	Dec (30)
2009	Jan (8)	Feb (15)	Mar	Apr	May	Jun	Jul	Aug	Sep	Oct (1)	Nov	Dec
2010	Jan	Feb	Mar	Apr (2)	May	Jun	Jul	Aug	Sep	Oct	Nov	Dec
2011	Jan	Feb	Mar	Apr	May	Jun	Jul	Aug	Sep (1)	Oct	Nov	Dec
2012	Jan	Feb	Mar	Apr	May	Jun	Jul (1)	Aug	Sep	Oct	Nov	Dec
2015	Jan	Feb	Mar	Apr	May	Jun	Jul	Aug (1)	Sep	Oct	Nov	Dec

dig-users Mailing List for DIG Interface (Page 2)

dig-users — DIG users mailing list