[protege-discussion] "Downsizing" from concept to data

[Samson Tu]

Hi,

It's not clear to me why you want to define 
manufacturing_operation_has_limits and list_of_real.

If the limits you are talking about apply to all instances of a kind of 
manufacturing operation, you may want to define, for example,

Class Milling
   hasCuttingSpeed hasValue int[< 100]

where hasCuttingSpeed is a data property, and the expression says that 
all instances of the Milling operation has a cutting speed that's less 
than 100 (assuming some unit).

If you need to model units explicitly, then you need to get some unit 
ontology, and can define,

Class Quantity
   value some int
   unit some Unit  (from unit ontology)

hasCuttingSpeed then should be an object property whose range is 
Quantity, and you can define

Class Milling
   hasCuttingSpeed some (Quantity and (value hasValue int[< 100]) and 
(unit ...))

The restriction on the unit property depends on how units are modeled.

I hope I am not too far off base in terms of what you need.

With best regards,
Samson


On 3/6/2013 11:41 AM, André Luiz Tietböhl Ramos wrote:
> Hello,
>
> I'm trying to establish a contextual architecture for a given
> manufacturing domain and am facing a challenge I could not solve so
> far.  The challenge is like this:  in a given manufacturing concept, say
> an operation as milling, there are manufacturing data limits such as
> cutting speed, etc.  when it becomes actual data.  How to define such
> concept?
>
> My approach to handle this aspect was to develop an objectProperty, for
> instance manufacturing_operation_has_limits with Domains and Ranges
> intersection: list_of_real and real.  In addition, I defined a new
> individual called limit with type list_of_real.  Therefore my question
> is threefold,
>
> 1. How could the actual individual be used when it refers to an interval
> instead of referring  only to one actual data value?
> 2. Do I need a data property as well?  BTW, I already defined one called
> to_define_limit with Domains (intersection) list_of_real, real and
> Ranges float, double.  It does not show the individual previously
> defined limit.  How to use it, please?
> 3. How to link the data property to either an object property  or a class?
>
> Thanks in advance!
>
> --
> André Luiz Tietböhl Ramos
> http://www.feng.pucrs.br/~andreltr
>
>
>
>
> _______________________________________________
> 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
>