[Attempto] Object Ops, eq vs exactly?

[David Whitten]

Has there been any discussion about handling "just" in Attempto:
i.e.:

Every American has just one President.

It seems to be a way to differentiate between

Every American has one mother.
and
Every American has one President.

I guess other examples would be

The team has just one leader
Each organization has just one headquarters.


Best Regards,
Dave

On Mon, Mar 30, 2009 at 9:25 AM, Kaarel Kaljurand <kaljurand at gmail.com>wrote:

> Hi,
>
> just to add to this that the ACE->OWL mapping treats "eq" and "geq"
> as equivalent, and "exactly" is different from both of them, see the
> source of drs_to_owlswrl.pl:
>
> make_restr(eq, 1, Property, Class, 'ObjectSomeValuesFrom'(Property,
> Class)).
> make_restr(geq, 1, Property, Class, 'ObjectSomeValuesFrom'(Property,
> Class)).
> make_restr(eq, QNum, Property, Class, 'ObjectMinCardinality'(QNum,
> Property, Class)) :-
>    integer(QNum),
>    QNum > 1.
> make_restr(geq, QNum, Property, Class, 'ObjectMinCardinality'(QNum,
> Property, Class)) :-
>    integer(QNum),
>    QNum > 1.
> make_restr(exactly, QNum, Property, Class,
> 'ObjectExactCardinality'(QNum, Property, Class)) :-
>    integer(QNum).
>
> So, the following sentences are equivalent as far as the ACE->OWL
> mapping is concerned:
>
> (1) Every man owns a car.
> (2) Every man owns at least one car.
>
> --
> kaarel
> _______________________________________________
> attempto mailing list
> attempto at lists.ifi.uzh.ch
> https://lists.ifi.uzh.ch/listinfo/attempto
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.ifi.uzh.ch/pipermail/attempto/attachments/20090330/ae3c1bec/attachment.htm>