[Attempto] counting, maximum, sums

[Jean-Marc Vanel]

2010/12/4 Norbert E. Fuchs <fuchs at ifi.uzh.ch>:
>
> On 3 Dec 2010, at 20:42, Jean-Marc Vanel wrote:
>
>> But as far as I know, it's not possible to say something about a
cardinality not assigned to a value, like:
>> If X is a product and it has a number of parts N then N is equal to the
number of workers for X .
>
> How about
>
>  If the number of the parts of a product X is N then the number of the
workers of X is N.
>
> which probably could be simplified even more.

The problem is not that it can't be said in ACE, it is whether the semantics
is captured in the DRS. If we look at the DRS below , the "part" object is
only constrained  to have a cardinality superior to 2 .

This is coherent with what the DRS report says :

*object(Ref,Noun,Class,Unit,Op,Count)
...
Count A positive number or na. Together with Unit and Op, this defines the
cardinality or extent
of the object.*

In order to capture the semantics of the sentence, what is desirable is that
a DRS variable binds the cardinality of the "part" object to that of the
"worker" object.

[]
  [A,B,C,D,E]
  relation(C,of,D)-1/4
  object(C,number,countable,na,eq,1)-1/3
  predicate(B,be,C,A)-1/11
  relation(D,of,E)-1/7
  object(E,product,countable,na,eq,1)-1/9
  *object(D,part,countable,na,geq,2)-1/6*
  object(A,something,dom,na,na,na)-1/12
  =>
  [F,G,H]
  relation(G,of,H)-1/16
  object(G,number,countable,na,eq,1)-1/15
  predicate(F,be,G,A)-1/21
  relation(H,of,E)-1/19
  *object(H,worker,countable,na,geq,2)-1/18*


>
>   --- nef



-- 
Jean-Marc Vanel
Consulting, services, training,
Rule-based programming, Semantic Web
http://jmvanel.free.fr/
EulerGUI, a turntable GUI for Semantic Web + rules, XML, UML, eCore, Java
bytecode
+33 (0)6 89 16 29 52 -- +33 (0)1 39 55 58 16
( we rarely listen to voice messages, please send a mail instead )
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.ifi.uzh.ch/pipermail/attempto/attachments/20101204/2f9c6616/attachment.htm>