1:- module(jcm,
    2          [
    3           microbial_strain/1,
    4           microbial_strain_id/2,
    5           species_name/2,
    6           qualified_species_name/2,
    7           microbial_strain_sample/2,
    8           sample_environment/3,
    9           sample_environment/4,
   10           microbial_strain_sample_environment/2,
   11           microbial_strain_sample_environment/3,
   12           microbial_strain_sample_environment/4
   13          ]).   14
   15:- use_module(library(semweb/rdf11)).   16
   17%:- use_module(library(sparqlprog/ontologies/faldo)).
   18
   19:- sparql_endpoint(rdfportal, 'https://integbio.jp/rdf/sparql').   20%:- sparql_endpoint(local, 'http://localhost').
   21
   22:- rdf_register_prefix(rdfs, 'http://www.w3.org/2000/01/rdf-schema#').   23:- rdf_register_prefix(dcterms, 'http://purl.org/dc/terms/').   24:- rdf_register_prefix(mccv, 'http://purl.jp/bio/10/mccv#').   25:- rdf_register_prefix(obo, 'http://purl.obolibrary.org/obo/').   26:- rdf_register_prefix(jcms, 'http://metadb.riken.jp/db/rikenbrc_jcm_microbe/').
 microbial_strain(?S) is nondet
S is a microbial strain stocked in a biological resource center
   31microbial_strain(S) :- rdf(S,rdf:type,mccv:'MCCV_000001').
 microbial_strain_id(?S) is nondet
microbial strain S has entry identifier I
   36microbial_strain_id(S,I) :- microbial_strain(S),rdf(S,dcterms:identifier,I).
 species_name(?S, ?N) is nondet
microbial strain S has species name N
   41species_name(S,N) :- microbial_strain(S),rdf(S,mccv:'MCCV_000011',N).
 qualified_species_name(?S) is nondet
microbial strain S has qualified species name N
   46qualified_species_name(S,N) :- microbial_strain(S),rdf(S,mccv:'MCCV_000010',N).
 microbial_strain_sample(?S, ?SM) is nondet
microbial strain S was isolated from sampled SM
   51microbial_strain_sample(S,SM) :- microbial_strain(S),rdf(S,mccv:'MCCV_000028',SM).
 sample_environment(?S, ?SM, ?E) is nondet
sample S from which microbial strain S was isolated was sapmled from palce with environmental feature E
   57sample_environment(S,SM,E) :- microbial_strain(S),microbial_strain_sample(S,SM),rdf(SM,mccv:'MCCV_000072',P),rdf(P,mccv:'MCCV_000071',E).
   58sample_environment(S,SM,E,L) :- microbial_strain(S),microbial_strain_sample(S,SM),rdf(SM,mccv:'MCCV_000072',P),rdf(P,mccv:'MCCV_000071',E),rdf(E,rdfs:label,L).
 microbial_strain_sample_environment(?S, ?E) is nondet
microbial strain S inhabits place with environmetal feature E
   63microbial_strain_sample_environment(S,E) :- microbial_strain(S),microbial_strain_sample(S,SM),sample_environment(S,SM,E).
   64
   65microbial_strain_sample_environment(S,N,E) :- microbial_strain(S),species_name(S,N),microbial_strain_sample(S,SM),sample_environment(S,SM,E).
   66
   67microbial_strain_sample_environment(S,N,E,L) :- microbial_strain(S),species_name(S,N),microbial_strain_sample(S,SM),sample_environment(S,SM,E),rdf(E,rdfs:label,L)