[protege-discussion] Importing Time Ontology

[Matthew Horridge]

Hi Brian,

Just add the expression

"hasCookingTime value 3600"

as a superclass (necessary condition) of VegetarianPizza.  

"hasCookingTime value 3600"

is a class expression which describes all of the individuals that have a hasCookingTime relationship to the specific integer 3600.  Hence, making VegetarianPizza a subclass of this class expression makes all individuals that are instances of VegetarianPizza also have hasCookingTime relationships to 3600.

Cheers,

Matthew

On 20 Jun 2012, at 13:01, Brian Michalk wrote:

> Thanks, that's the help I needed.
> 
> http://www.w3.org/2006/time is the URL I needed.
> 
> Related question:
> 
> Let's say I have a class of things, like pizzas with meat, and vegetarian pizzas.  I would like to assign a value to the cooking time of a class.  I don't want to enumerate all possible cooking times, I just want to be able to set something like vegetarian pizza hasCookingTime 3600 seconds.
> 
> From what I can see, I can only assign something like this to individuals.
> 
> On 6/19/2012 1:31 PM, Fabio Aiub Sperotto wrote:
>> Hi Brian,
>> 
>> You can't find the ontologies http://www.w3.org/TR/owl-time?
>> 
>> I think there are in some sections of document, for example, look in the final of -"OWL code for the time ontology": http://www.w3.org/TR/owl-time/#calclock 
>> in the link: [RDF/XML]
>> 
>> But the file will be downloaded without a extension, then you need renamed the file including a .owl extension. So your Protégé will recognize the file.
>> 
>> 
>> 2012/6/19 Brian Michalk <michalk at awpi.com>
>> I'm looking to import an ontology, which I have not done before, specifically the one for time.  w3.org claims to have the ontology at http://www.w3.org/TR/owl-time , but I can't actually locate a .owl file anywhere there.  Trying to import that URL from Protege fails.
>> _______________________________________________
>> protege-discussion mailing list
>> protege-discussion at lists.stanford.edu
>> https://mailman.stanford.edu/mailman/listinfo/protege-discussion
>> 
>> Instructions for unsubscribing: http://protege.stanford.edu/doc/faq.html#01a.03
>> 
>> 
>> 
>> -- 
>> Fabio Aiub Sperotto
>> Mestrando em Modelagem Computacional
>> about.me/fabiosperotto
>> www.twitter.com/fabio_gk
>> 
>> 
>> 
>> _______________________________________________
>> protege-discussion mailing list
>> 
>> protege-discussion at lists.stanford.edu
>> https://mailman.stanford.edu/mailman/listinfo/protege-discussion
>> 
>> 
>> Instructions for unsubscribing: 
>> http://protege.stanford.edu/doc/faq.html#01a.03
> 
> 
> _______________________________________________
> protege-discussion mailing list
> protege-discussion at lists.stanford.edu
> https://mailman.stanford.edu/mailman/listinfo/protege-discussion
> 
> Instructions for unsubscribing: http://protege.stanford.edu/doc/faq.html#01a.03