@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
@prefix dc: <http://purl.org/dc/elements/1.1/>.

<>
  dc:title "Finite Sets -- Semantic Web Logic Language";
  dc:description """This collects my experience
with finite sets from several places:
-- rdf:Bag issues: no set! (@@pointer);
 hmm... rdf:type vs. \elt vs. <lists#member>
-- larch Set[E] trait

$Id: finiteSets.n3,v 1.1 2001/05/10 21:28:42 connolly Exp $
""";
  dc:date "$Date: 2001/05/10 21:28:42 $"; #@@ RCS date
  dc:creator "Dan Connolly"; #@@ [ dca:agentName ]. also: my home page
  rdfs:seeAlso <finiteSetAx>, <finiteSetAx.n3>;
  .

@prefix dpo:  <http://www.daml.org/2001/03/daml+oil#> .
@prefix : <http://www.w3.org/2001/03swell/finiteSet#>.

:setOf rdfs:label "set of";
  rdfs:comment "for setOf(C, E) read: C is the class of finite sets of E.";
  rdfs:range rdfs:Class;
  rdfs:domain :Set;
  a dpo:UniqueProperty, dpo:UnambiguousProperty.

:Set rdfs:subClassOf rdfs:Bag; #@@hmm...
  rdfs:label "Set";
  rdfs:comment "finite set";
  a dpo:UnambiguousProperty, dpo:UniqueProperty.