[protege-discussion] Importing Time Ontology

[Brian Michalk]

Matthew, thanks for your help.

I want to restrict that value to a time domain.  How would I specify 
that it is 3600 seconds?

On 6/20/2012 3:13 PM, Matthew Horridge wrote:
> 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
> _______________________________________________
> 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