[SCL] Interesting find

[Bill Andersen]

Folks,

I don't know what the plans are for support of function- and 
relation-denoting functions, but I ran across an interesting case where 
such would be needed:

Say you want to talk about the notion of membership in an organization. 
  Call the relation 'member'.

So you would want to allow:

	member(a,b)
	member(b,c)

But not
	
	member(a,a)
	member(b,b)
	member(c,c)
	member(b,a)
	member(c,a)
	member(c,b)

It's certain that member is asymmetric, but its transitive closure is 
as well.  I'd like to be able to
say something like:

	asymmetric(transitiveClosureOf(member))

without having to explicitly introduce a relation into my ontology that 
is the transitive closure
of member.

    .bill

--
Bill Andersen (andersen at ontologyworks.com)
Chief Scientist
Ontology Works, Inc. (www.ontologyworks.com)
1132 Annapolis Road, Suite 104,
Odenton, MD 21113
Office: 410-674-7600
Cell: 443-858-6444
Fax: 410-674-6075