Did you know ... Search Documentation:
Pack sparqlprog -- prolog/sparqlprog/ontologies/faldo.pl
PublicShow source

FALDO is a vocabulary for specifying locations of sequence features along sequence intervals (DNA, RNA, or protein sequences). This module provides convenient wrappers for this vocabulary.

 location(?F:faldo_feature, ?L:faldo_location) is nondet
L is the location of feature F
 location(?F, ?L, ?B, ?E, ?R) is nondet
 location(?F, ?B, ?E, ?R) is nondet
feature F has location L, which has starts at B, ends at E, on reference R

assumes feature is not split across references

 begin(?L, ?P) is nondet
location L starts at position P
 end(?L, ?P) is nondet
location L ends at position P
 begin_coord(?L, ?C, ?R) is nondet
location L has start coordinate value C on reference R
 end_coord(?L, ?C, ?R) is nondet
location L has end coordinate value C on reference R
 position(?L, ?P) is nondet
location L has position P
 reference(?L, ?R) is nondet
location L has reference R

Undocumented predicates

The following predicates are exported, but not or incorrectly documented.

 location(Arg1, Arg2, Arg3, Arg4)
 stranded_location(Arg1, Arg2, Arg3, Arg4, Arg5, Arg6)
 feature_contains(Arg1, Arg2)