Search Mailing List Archives


Limit search to: Subject & Body Subject Author
Sort by: Reverse Sort
Limit to: All This Week Last Week This Month Last Month
Select Date Range     through    

[protege-owl] asking for help

maali ben khedija maaliing at yahoo.fr
Fri Apr 20 04:18:46 PDT 2007


hi
   
  I'm using the protege-owl api
  My questions are:
      -how can i get  the list of property in which a given class is in the range of this property
      -how can i get the list of properties which are in the restrictions of a given class
      -how can i get the list of classes which are in the range  of given properties and range
        (eg:    the domain of the property has_rights  is: employers, students, women , man...
                 the range of the property has_rights is : article1, article2, article3
                 the class employers has like restriction: has_rights allVAluesfrom article1
                 the class employers has like restriction: has_rights allVAluesFrom article2
                  ...
              my question is how to get article1 as result when i give employers as the domain of the propertie has_rights)
   
  can you give me some exemple.
   
  best regards
   

protege-owl-request at lists.stanford.edu a écrit :
  Send protege-owl mailing list submissions to
protege-owl at lists.stanford.edu

To subscribe or unsubscribe via the World Wide Web, visit
https://mailman.stanford.edu/mailman/listinfo/protege-owl
or, via email, send a message with subject or body 'help' to
protege-owl-request at lists.stanford.edu

You can reach the person managing the list at
protege-owl-owner at lists.stanford.edu

When replying, please edit your Subject line so it is more specific
than "Re: Contents of protege-owl digest..."


Today's Topics:

1. Re: protege 3.2 java version (Timothy Redmond)
2. Re: Protege OWL inteface details (Timothy Redmond)
3. The difference of Protege versions in Gate and Protege
(Thang Duong)
4. OWL question about asserting individuals (Skeptic 2000)
5. OWL individuals (Eugenio Tacchini)
6. Question in restriction of individuals (Lisa)
7. Re: OWL question about asserting individuals (Thomas Russ)
8. Re: OWL individuals (Timothy Redmond)
9. Re: OWL individuals (Timothy Redmond)


----------------------------------------------------------------------

Message: 1
Date: Wed, 18 Apr 2007 10:21:43 -0700
From: Timothy Redmond 
Subject: Re: [protege-owl] protege 3.2 java version
To: User support for the Protege-OWL editor


Message-ID: <51BDF652-FF23-4FAE-8EFF-612F1D6B8F19 at stanford.edu>
Content-Type: text/plain; charset=US-ASCII; delsp=yes; format=flowed


Sun Java 1.5.

On Apr 17, 2007, at 7:40 PM, Andres Betancourt wrote:

> hi all
>
> i got a question, if im developing a plug-in for protege 3.2, wich 
> java version should i use to compile my code if i want that anybody 
> who install protege 3.2 with the included java VM
> can load my plug-in
>
> tahnk you in advance
>
> Andres
> _______________________________________________
> protege-owl mailing list
> protege-owl at lists.stanford.edu
> https://mailman.stanford.edu/mailman/listinfo/protege-owl
>
> Instructions for unsubscribing: http://protege.stanford.edu/doc/ 
> faq.html#01a.03



------------------------------

Message: 2
Date: Wed, 18 Apr 2007 10:23:22 -0700
From: Timothy Redmond 
Subject: Re: [protege-owl] Protege OWL inteface details
To: teresa at ibib.waw.pl, User support for the Protege-OWL editor


Message-ID: <7187B12C-E537-44BC-88E8-2C0809E7201A at stanford.edu>
Content-Type: text/plain; charset=UTF-8; delsp=yes; format=flowed


Try

http://protege.stanford.edu/doc/users.html

-Timothy


On Apr 18, 2007, at 7:01 AM, Teresa Podsiad?y wrote:

> Dear Protege users
>
> I'm new to Protege Owl, where can I find more details about such 
> main menu items as: Owl, Code, Tools and Ontology tests
>
> Thanks in advance, teresa
>
>
>
>
> ________________________________________________________________
> Sent via the WebMail system at ibib.waw.pl
>
>
>
>
> _______________________________________________
> protege-owl mailing list
> protege-owl at lists.stanford.edu
> https://mailman.stanford.edu/mailman/listinfo/protege-owl
>
> Instructions for unsubscribing: http://protege.stanford.edu/doc/ 
> faq.html#01a.03



------------------------------

Message: 3
Date: Thu, 19 Apr 2007 08:17:17 +0700
From: "Thang Duong" 

Subject: [protege-owl] The difference of Protege versions in Gate and
Protege
To: protege-owl at lists.stanford.edu
Message-ID:
<69aa0f5b0704181817n4dc9e128w263fb1afc15fee1 at mail.gmail.com>
Content-Type: text/plain; charset="iso-8859-1"

I'm using Gate and Protege to extract information based on ontology.

The difference of Protege versions in Gate and Protege is the main reason
made more errors and warnings in my program.
I will collect these errors and warnings. Afterwards, I'll send to you soon.

One of errors is :
WARNING: java.lang.NoClassDefFoundError:
edu/stanford/smi/protege/widget/_AbstractWidget --
PluginUtilities.isLoadableClass()



Duong Quoc Thang.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://mailman.stanford.edu/pipermail/protege-owl/attachments/20070419/2b3cebdd/attachment-0001.html 

------------------------------

Message: 4
Date: Thu, 19 Apr 2007 00:11:34 -0400
From: Skeptic 2000 
Subject: [protege-owl] OWL question about asserting individuals
To: 

Message-ID: 
Content-Type: text/plain; charset="iso-8859-1"


Hi, I'm new to this mailing-list, so I'm not sure if it's the kind of questions that can be asked here.

Let's say I have created a class named A, one named B, and X an object property (range and domain is irrelevant).

A is then defined with a necessary and sufficient condition: X someValueOf B.
Now I can create an individual from Thing and assert it of being member of A without caring of this restriction. I'm not sure to understand, why fundamentally, individuals asserted types can circumvent class sets of restrictions.

Thanks for help.JFL
_________________________________________________________________
Soyez parmi les premiers ? essayer Windows Live Mail.
http://ideas.live.com/programpage.aspx?versionId=5d21c51a-b161-4314-9b0e-4911fb2b2e6d
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://mailman.stanford.edu/pipermail/protege-owl/attachments/20070419/b6974e2e/attachment.htm 

------------------------------

Message: 5
Date: Thu, 19 Apr 2007 15:04:47 +0200
From: Eugenio Tacchini 
Subject: [protege-owl] OWL individuals
To: protege-owl at lists.stanford.edu
Message-ID: <20070419130434.7BC631BA0D5 at smtp.eutelia.it>
Content-Type: text/plain; charset="us-ascii"; format=flowed

Hello,

I have a "car" class and I want to "link" each car individual to an URL.
I have used this code:


rdf:resource="http://www.mysite.org/cars/index.php?parameter1=value1&parameter2=value2"/>

The file is validated by 
http://phoebus.cs.man.ac.uk:9999/OWL/Validator but protege 3.2.1 
shows to me this errore message: "resource not allowed as attribute here."

I saw that protege uses "ID" and not "resource" for individuals, but 
"resource" should be valid too, isn't it?

Thanks.

Regards,

Eugenio.



------------------------------

Message: 6
Date: Thu, 19 Apr 2007 14:20:40 +0000 (UTC)
From: Lisa 

Subject: [protege-owl] Question in restriction of individuals
To: protege-owl at lists.stanford.edu
Message-ID: 
Content-Type: text/plain; charset=us-ascii

Dear All

I have the below classes :

Consequent (under this I have individual con1)

Antecedent (under this I have individuals ant1 and ant2)

ConsequentType (under this I have contype1)

AntecedentType (under this I have anttype1, anttype2)

Rule (under this I have R1)

-----------------------------------------

Properties : 

con1 isOFCType contype1
ant1 isOFAType anttype1
ant2 isOFAType anttype2

------------------------------------------
I have defined 3 classes with the following properties :
defined class C1 : isOFCType has contype1 (with hasValue)
defined class A1 : isOFCType has anttype1 (with hasValue)
defined class A2 : isOFCType has anttype2 (with hasValue)

------------------------------------------

My Question :

I would like to create another defined class that will gather them all; to say 
if something is a union of the above classes, it means it belongs to a certain 
rule type. But as soon as I want to create a class that lists union of A1 and 
A2 as its field (without even adding the C1) I get errors when running Fact++.

I would EXTREMELY appreciate if someone could explain to me how I can write a 
class that identifies a rule with above properties to belong to a certain 
class.


Thank you
Lisa








------------------------------

Message: 7
Date: Thu, 19 Apr 2007 08:49:20 -0700
From: Thomas Russ 
Subject: Re: [protege-owl] OWL question about asserting individuals
To: User support for the Protege-OWL editor


Message-ID: <50041CDC-3DC8-4DD5-98DB-C9B85BE54A65 at isi.edu>
Content-Type: text/plain; charset=US-ASCII; delsp=yes; format=flowed


On Apr 18, 2007, at 9:11 PM, Skeptic 2000 wrote:

>
> Hi, I'm new to this mailing-list, so I'm not sure if it's the kind 
> of questions that can be asked here.
>
> Let's say I have created a class named A, one named B, and X an 
> object property (range and domain is irrelevant).
>
> A is then defined with a necessary and sufficient condition: X 
> someValueOf B.
> Now I can create an individual from Thing and assert it of being 
> member of A without caring of this restriction. I'm not sure to 
> understand, why fundamentally, individuals asserted types can 
> circumvent class sets of restrictions.

Because the restrictions sanction inference, and OWL has open world 
semantics.

When you assert that your individual is of type A, then the system 
knows that there must be at least one filler of the X property of 
type B on your new individual. But the system doesn't know exactly 
what individual this filler is. But with open world semantics, the 
system isn't bothered by not knowing everything.

Consider what would happen if I told you "Jane is the parent of a 
son." Are you bothered by the fact that I haven't identified Jane's 
son? No. But you can still answer the question "Does Jane have a 
son?". It's the same way with OWL.

It is important to realize that restrictions in OWL are not like 
types in programming language. The restrictions are not just 
constraints that are checked, but rather they are logical assertions 
that allow inference to take place. You will only get a restriction 
violation if you make assertions that result in a logical 
inconsistency. For example, if you were to assert that the 
individual was both a member of A and a member of a (possibly 
anonymous) class with X max 0. In that case, there is no way to 
satisfy both restrictions, so a conflict has arisen.

In your case, I think the main item is the open world semantics.



------------------------------

Message: 8
Date: Thu, 19 Apr 2007 11:19:39 -0700
From: Timothy Redmond 
Subject: Re: [protege-owl] OWL individuals
To: User support for the Protege-OWL editor


Message-ID: <4627B2BB.3020105 at stanford.edu>
Content-Type: text/plain; charset=ISO-8859-1; format=flowed


Herein is the big advantage of writing OWL with an editor rather than 
mucking with the rdf syntax directly. 

When you went to the validator, there was one anomaly that you did not 
notice. Yes, it did validate the ontology as owl lite but notice the 
name of the individual in the abstract syntax representation that it 
displayed:

Class(a:cars partial)

Individual(_
type(a:cars))

The name that you wanted for the individual has been lost. Replace the 
rdf:resource with rdf:ID and you get something much better:

Class(a:cars partial)

Individual(
type(a:cars))

Going back to the definitions of rdf 
(http://www.w3.org/TR/rdf-syntax-grammar/) we see that you are not using 
rdf:resource correctly. So their first example shows





In this fragment the ex:homePage is the property and the resource is 
indicating the id of a value for this property. So the triple 
represented by this fragment has the form

< Subject = Description resource whose full name is "Dave Beckett"
Predicate = "ex:homePage"
Object = Resource with id "http://purl.org/net/dajobe/" >

So the validator ignored the rdf:resource statement as meaningless but 
Protege (probably because it used Jena) warned you about this.

-Timothy


Eugenio Tacchini wrote:
> Hello,
>
> I have a "car" class and I want to "link" each car individual to an URL.
> I have used this code:
>
> 
> > rdf:resource="http://www.mysite.org/cars/index.php?parameter1=value1&parameter2=value2"/>
>
> The file is validated by 
> http://phoebus.cs.man.ac.uk:9999/OWL/Validator but protege 3.2.1 
> shows to me this errore message: "resource not allowed as attribute here."
>
> I saw that protege uses "ID" and not "resource" for individuals, but 
> "resource" should be valid too, isn't it?
>
> Thanks.
>
> Regards,
>
> Eugenio.
>
> _______________________________________________
> protege-owl mailing list
> protege-owl at lists.stanford.edu
> https://mailman.stanford.edu/mailman/listinfo/protege-owl
>
> Instructions for unsubscribing: http://protege.stanford.edu/doc/faq.html#01a.03 
> 



------------------------------

Message: 9
Date: Thu, 19 Apr 2007 11:25:50 -0700
From: Timothy Redmond 
Subject: Re: [protege-owl] OWL individuals
To: User support for the Protege-OWL editor


Message-ID: <4627B42E.7010203 at stanford.edu>
Content-Type: text/plain; charset=ISO-8859-1; format=flowed


Oops - there is of course another anomaly. Use rdf:about and you will 
get the name you really wanted.

-Timothy


Timothy Redmond wrote:
> Herein is the big advantage of writing OWL with an editor rather than 
> mucking with the rdf syntax directly. 
>
> When you went to the validator, there was one anomaly that you did not 
> notice. Yes, it did validate the ontology as owl lite but notice the 
> name of the individual in the abstract syntax representation that it 
> displayed:
>
> Class(a:cars partial)
>
> Individual(_
> type(a:cars))
>
> The name that you wanted for the individual has been lost. Replace the 
> rdf:resource with rdf:ID and you get something much better:
>
> Class(a:cars partial)
>
> Individual(
> type(a:cars))
>
> Going back to the definitions of rdf 
> (http://www.w3.org/TR/rdf-syntax-grammar/) we see that you are not using 
> rdf:resource correctly. So their first example shows
>
> 
> 
> 
>
> In this fragment the ex:homePage is the property and the resource is 
> indicating the id of a value for this property. So the triple 
> represented by this fragment has the form
>
> < Subject = Description resource whose full name is "Dave Beckett"
> Predicate = "ex:homePage"
> Object = Resource with id "http://purl.org/net/dajobe/" >
>
> So the validator ignored the rdf:resource statement as meaningless but 
> Protege (probably because it used Jena) warned you about this.
>
> -Timothy
>
>
> Eugenio Tacchini wrote:
> 
>> Hello,
>>
>> I have a "car" class and I want to "link" each car individual to an URL.
>> I have used this code:
>>
>> 
>> >> rdf:resource="http://www.mysite.org/cars/index.php?parameter1=value1&parameter2=value2"/>
>>
>> The file is validated by 
>> http://phoebus.cs.man.ac.uk:9999/OWL/Validator but protege 3.2.1 
>> shows to me this errore message: "resource not allowed as attribute here."
>>
>> I saw that protege uses "ID" and not "resource" for individuals, but 
>> "resource" should be valid too, isn't it?
>>
>> Thanks.
>>
>> Regards,
>>
>> Eugenio.
>>
>> _______________________________________________
>> protege-owl mailing list
>> protege-owl at lists.stanford.edu
>> https://mailman.stanford.edu/mailman/listinfo/protege-owl
>>
>> Instructions for unsubscribing: http://protege.stanford.edu/doc/faq.html#01a.03 
>> 
>> 
>
> _______________________________________________
> protege-owl mailing list
> protege-owl at lists.stanford.edu
> https://mailman.stanford.edu/mailman/listinfo/protege-owl
>
> Instructions for unsubscribing: http://protege.stanford.edu/doc/faq.html#01a.03 
> 



------------------------------

_______________________________________________
protege-owl mailing list
protege-owl at lists.stanford.edu
https://mailman.stanford.edu/mailman/listinfo/protege-owl


End of protege-owl Digest, Vol 9, Issue 39
******************************************


             
---------------------------------
 Découvrez une nouvelle façon d'obtenir des réponses à toutes vos questions ! Profitez des connaissances, des opinions et des expériences des internautes sur Yahoo! Questions/Réponses.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mailman.stanford.edu/pipermail/protege-owl/attachments/20070420/1b17d1de/attachment.html>


More information about the protege-owl mailing list