diff --git a/prolog/sparqlprog/ontologies/ebi.pl b/prolog/sparqlprog/ontologies/ebi.pl index cdd2380..18d74bf 100644 --- a/prolog/sparqlprog/ontologies/ebi.pl +++ b/prolog/sparqlprog/ontologies/ebi.pl @@ -71,9 +71,7 @@ sample_attribute(S,A) :- rdf(S,biosd_terms:'has-sample-attribute',A). -%! attribute_property_value(?A : ebi_attribute_node, -% ?P : ebi_biosample_property, -% ?V : ebi_biosample_value) is nondet. +%! attribute_property_value(?A : ebi_attribute_node, ?P : ebi_biosample_property, ?V : ebi_biosample_value) is nondet. % attribute_property_value(A, P, V) :- rdf(A,ebi_atlas:propertyType,P), @@ -87,9 +85,7 @@ rdf(A,ebi_atlas:propertyType,P), rdf(A,ebi_atlas:propertyValue,V). -%! sample_property_value(?S : ebi_biosample, -% ?P : ebi_biosample_property, -% ?V : ebi_biosample_value) is nondet. +%! sample_property_value(?S : ebi_biosample, ?P : ebi_biosample_property, ?V : ebi_biosample_value) is nondet. % sample_property_value(S, P, V) :- sample_attribute(S, A), diff --git a/prolog/sparqlprog/ontologies/uniprot.pl b/prolog/sparqlprog/ontologies/uniprot.pl index 0ea235b..84d831f 100644 --- a/prolog/sparqlprog/ontologies/uniprot.pl +++ b/prolog/sparqlprog/ontologies/uniprot.pl @@ -184,7 +184,7 @@ %! classified_with(P : uniprot_protein, T : uniprot_term) is nondet. -classified_with(P,T) :- rdf(P,up:classifiedWith,t). +classified_with(P,T) :- rdf(P,up:classifiedWith,T). %! substitution(?A : uniprot_annotation, ?S : uniprot_sequence_string) is nondet.