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 <div class="gmail_quote"> On Mon, Mar 30, 2009 at 9:25 AM, Kaarel Kaljurand <<a href="mailto:kaljurand@gmail.com">kaljurand@gmail.com</a>> wrote: <blockquote class="gmail_quote" style="border-left: 1px solid rgb(204, 204, 204); margin: 0pt 0pt 0pt 0.8ex; padding-left: 1ex;"> 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 <div><div></div><div class="h5">_______________________________________________ attempto mailing list <a href="mailto:attempto@lists.ifi.uzh.ch">attempto@lists.ifi.uzh.ch</a> <a href="https://lists.ifi.uzh.ch/listinfo/attempto" target="_blank">https://lists.ifi.uzh.ch/listinfo/attempto</a> </div></div></blockquote></div>