<?xml version="1.0" encoding="UTF-8"?>
<rdf:RDF xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#" xmlns:ns0="http://inference-web.org/2.0/ds.owl#" xmlns:owl="http://www.w3.org/2002/07/owl#" xmlns:rdfs="http://www.w3.org/2000/01/rdf-schema#" xmlns:metadata="http://data.bioontology.org/metadata/">
  <owl:Class rdf:about="http://inference-web.org/2.0/ds.owl#List">
    <rdfs:subClassOf rdf:resource="http://www.w3.org/2002/07/owl#Thing"/>
    <rdfs:comment xml:lang="en">A template for defining typed-list. It functions like rdf:List with object members.</rdfs:comment>
    <rdfs:label xml:lang="en">List</rdfs:label>
    <metadata:prefixIRI>ds:List</metadata:prefixIRI>
    <metadata:def/prefLabel xml:lang="en">List</metadata:def/prefLabel>
    <metadata:def/mappingLoom>list</metadata:def/mappingLoom>
    <metadata:def/mappingSameURI rdf:resource="http://inference-web.org/2.0/ds.owl#List"/>
  </owl:Class>
  <rdf:Description rdf:about="http://inference-web.org/2.0/ds.owl#first">
    <rdfs:domain>
      <rdf:Description rdf:about="http://inference-web.org/2.0/ds.owl#List">
        <metadata:def/mappingSameURI rdf:resource="http://inference-web.org/2.0/ds.owl#List"/>
      </rdf:Description>
    </rdfs:domain>
  </rdf:Description>
  <ns0:List rdf:about="http://inference-web.org/2.0/ds.owl#nil">
  </ns0:List>
  <rdf:Description rdf:about="http://inference-web.org/2.0/ds.owl#rest">
    <rdfs:range rdf:resource="http://inference-web.org/2.0/ds.owl#List"/>
    <rdfs:domain rdf:resource="http://inference-web.org/2.0/ds.owl#List"/>
  </rdf:Description>
</rdf:RDF>
 
 
<?xml version="1.0" encoding="UTF-8"?>
<rdf:RDF xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#" xmlns:ns0="http://inference-web.org/2.0/ds.owl#" xmlns:owl="http://www.w3.org/2002/07/owl#" xmlns:rdfs="http://www.w3.org/2000/01/rdf-schema#" xmlns:metadata="http://data.bioontology.org/metadata/">
  <owl:Class rdf:about="http://inference-web.org/2.0/ds.owl#List">
    <rdfs:subClassOf rdf:resource="http://www.w3.org/2002/07/owl#Thing"/>
    <rdfs:comment xml:lang="en">A template for defining typed-list. It functions like rdf:List with object members.</rdfs:comment>
    <rdfs:label xml:lang="en">List</rdfs:label>
    <metadata:prefixIRI>ds:List</metadata:prefixIRI>
    <metadata:def/prefLabel xml:lang="en">List</metadata:def/prefLabel>
    <metadata:def/mappingLoom>list</metadata:def/mappingLoom>
    <metadata:def/mappingSameURI rdf:resource="http://inference-web.org/2.0/ds.owl#List"/>
  </owl:Class>
  <rdf:Description rdf:about="http://inference-web.org/2.0/ds.owl#first">
    <rdfs:domain>
      <rdf:Description rdf:about="http://inference-web.org/2.0/ds.owl#List">
        <metadata:def/mappingSameURI rdf:resource="http://inference-web.org/2.0/ds.owl#List"/>
      </rdf:Description>
    </rdfs:domain>
  </rdf:Description>
  <ns0:List rdf:about="http://inference-web.org/2.0/ds.owl#nil">
  </ns0:List>
  <rdf:Description rdf:about="http://inference-web.org/2.0/ds.owl#rest">
    <rdfs:range rdf:resource="http://inference-web.org/2.0/ds.owl#List"/>
    <rdfs:domain rdf:resource="http://inference-web.org/2.0/ds.owl#List"/>
  </rdf:Description>
</rdf:RDF>