MinCardinality Comment 1

MinCardinality

Andrew Newman, 11 April 2005 22:58 CEST

[[Text::The idea of using context would be a way of saying "close off the world" or whatever - that everything in a particular model followed different axioms - like unique names or whatever - because I think generally they are more useful - of course I might be wrong but at least there's the opportunity to do so without having to explicitly make the AllDifferent statement for each one.

BTW, after reading Paul's postings on RDF Logic I think I got an understanding a lot quicker than I might have otherwise.]]