Re: ASSERTION, QUESTION, SUGGESTION - final draft

From: David Martin (martin@ai.sri.com)
Date: 04/11/02

Next message: Ian Horrocks: "DAML Ontology Editor"
Previous message: David Martin: "Re: ASSERTION, QUESTION, SUGGESTION - final draft"
Maybe in reply to: tim finin: "Re: ASSERTION, QUESTION, SUGGESTION - final draft"
Next in thread: Pat Hayes: "Re: ASSERTION, QUESTION, SUGGESTION - final draft"
Reply: Pat Hayes: "Re: ASSERTION, QUESTION, SUGGESTION - final draft"
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ] [ attachment ]
Mail actions: [ respond to this message ] [ mail a new topic ]

"David R. Karger" wrote:

> Use standard math vocabulary---
> InjectiveProperty, SurjectiveProperty, BijectiveProperty.

Yes, I like that also - but none of the above corresponds to DAML's
UniqueProperty.  For UniqueProperty (maxcardinality = 1), you could use
"FunctionProperty", or just "Function".    For cardinality=1, you could
use TotalFunctionProperty, or just TotalFunction.

I'm going by the definitions here:

http://www.cs.umbc.edu/help/theory/group_def.shtml

- David

Next message: Ian Horrocks: "DAML Ontology Editor"
Previous message: David Martin: "Re: ASSERTION, QUESTION, SUGGESTION - final draft"
Maybe in reply to: tim finin: "Re: ASSERTION, QUESTION, SUGGESTION - final draft"
Next in thread: Pat Hayes: "Re: ASSERTION, QUESTION, SUGGESTION - final draft"
Reply: Pat Hayes: "Re: ASSERTION, QUESTION, SUGGESTION - final draft"
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ] [ attachment ]
Mail actions: [ respond to this message ] [ mail a new topic ]

This archive was generated by hypermail 2.1.4 : 03/26/03 EST