SWOL Syntax Examples


Here are some syntax examples for SWOL.  I've included some comments on
which examples are the ones that might be considered to be the normal
syntax for SWOL.


** A normal way of specifying a primitive class:

<swol:Class rdf:about="Person">
  <rdfs:subClassOf rdf:resource="Animal" />
  <rdfs:subClassOf rdf:resource="SentientBeing" />
  <rdfs:subClassOf>
    <swol:toClass swol:property="SSN" swol:class="xsd:integer" />
  </rdfs:subClassOf>
</swol:Class>

** A normal way of specifying a defined class:

<swol:Class rdf:about="Student">
  <swol:sameClassAs>
    <swol:intersectionOf>
      <swol:Class rdf:about="Person" />
      <swol:toClass swol:property="studentNumber" swol:class="xsd:integer" />
      <swol:toClass swol:property="enrolled-in" swol:class="School" />
      <swol:minCardinality swol:property="enrolled-in" swol:count="1" />
    </swol:intersectionOf>
  </swol:sameClassAs>
</swol:Class>

** The simplest way of specifying information about objects.

<Student rdf:about="John" studentNumber="758686">
  <enrolled-in rdf:resource="Princeton" />
</Student>

<School rdf:about="Princeton">
</School>

** More-advanced ways of specifying information about objects.

<Student rdf:about="John" studentNumber="758686">
  <rdf:type rdf:resource="Person" />
  <rdf:type>
    <swol:maxCardinality swol:property="enrolled-in" swol:count="1" />
  </rdf:type>
  <enrolled-in rdf:resource="Princeton" />
</Student>

<School rdf:about="Princeton">
</School>


** An unusual way of specifying information about objects (because of nesting).

<Student rdf:about="John" studentNumber="758686">
  <enrolled-in>
    <School rdf:about="Princeton" />
  </enrolled-in>
</Student>


** Description Example

<swol:intersectionOf>
   <swol:Thing />
   <swol:Class rdf:about="Person" />
   <swol:Class rdf:about="Male" />
   <swol:unionOf>
      <swol:Class rdf:about="Teenager" />
      <swol:Class rdf:about="Infant" />
   </swol:unionOf>
   <swol:toClass swol:property="nationality" swol:class="WesternNation" />
   <swol:cardinality swol:property="age" swol:count="1" />
   <swol:toClass swol:property="nationality">
     <swol:class>
       <swol:oneOf>
         <Country rdf:resource="Canada" />
         <Country rdf:resource="UnitedKingdom" />
         <Country rdf:resource="UnitedStates" />
       </swol:oneOf>
     </swol:class>
   </swol:toClass>
</swol:intersectionOf>