@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> . @prefix ns0: <http://inference-web.org/2.0/ds.owl#> . @prefix owl: <http://www.w3.org/2002/07/owl#> . @prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> . @prefix metadata: <http://data.bioontology.org/metadata/> . @prefix metadata_def: <http://data.bioontology.org/metadata/def/> . ns0:List metadata_def:mappingLoom "list" ; metadata_def:mappingSameURI ns0:List ; metadata_def:prefLabel "List"@en ; metadata:prefixIRI "ds:List" ; a owl:Class ; rdfs:comment "A template for defining typed-list. It functions like rdf:List with object members."@en ; rdfs:label "List"@en ; rdfs:subClassOf owl:Thing . ns0:first rdfs:domain ns0:List . ns0:nil a ns0:List . ns0:rest rdfs:domain ns0:List ; rdfs:range ns0:List .
@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> .
@prefix ns0: <http://inference-web.org/2.0/ds.owl#> .
@prefix owl: <http://www.w3.org/2002/07/owl#> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
@prefix metadata: <http://data.bioontology.org/metadata/> .
@prefix metadata_def: <http://data.bioontology.org/metadata/def/> .

ns0:List
    metadata_def:mappingLoom "list" ;
    metadata_def:mappingSameURI ns0:List ;
    metadata_def:prefLabel "List"@en ;
    metadata:prefixIRI "ds:List" ;
    a owl:Class ;
    rdfs:comment "A template for defining typed-list. It functions like rdf:List with object members."@en ;
    rdfs:label "List"@en ;
    rdfs:subClassOf owl:Thing .

ns0:first
    rdfs:domain ns0:List .

ns0:nil
    a ns0:List .

ns0:rest
    rdfs:domain ns0:List ;
    rdfs:range ns0:List .