- basic_annot(?Object, ?AnnotProp, ?Val, ?RdfTripleTerm) is nondet
- tr_annot(?Object, ?AnnotProp, ?MutVal, ?RdfTripleTerm, ?MutFunc, ?OrigVal) is nondet
- AnnotProp = id | ...
- pair_match(?Class1, ?Class2, ?SharedVal, Info) is nondet
- Info = ?AP1, ?AP2, ?Triple1, ?Triple2, ?MutFunc
- transitive_unique_match_set_member(?X, ?M) is nondet
- X is the reference member of a clique, and M is a member
- eq_from_match(?ClsA, ?ClsB, ?SynPredA, ?SynPredB, ?MutateOp, ?OntA, ?OntB) is nondet
- true if pair ClsA and ClsB match using the given predicate pair (e.g. exact,exact)
after MutateOp performed, and belong to OntA and OntB (prefixes)
- eq_from_shared_xref(?ClsA, ?ClsB, ?SharedXrefOnt, ?OntA, ?OntB) is nondet
- unmatched(?Cls) is nondet
- true if Cls has no equivalent class
- unmatched_in(?Cls, ?ExtPrefix) is nondet
- true if Cls has no equivalent class with prefix ExtPrefix
Undocumented predicates
The following predicates are exported, but not or incorrectly documented.
- index_pairs
- index_pairs(Arg1)
- obj_has_prefix(Arg1, Arg2)
- equivalent(Arg1, Arg2)
- set_ontology(Arg1)
- filter_mapped_classes
- mutate(Arg1, Arg2, Arg3, Arg4)
- has_prefix(Arg1, Arg2)
- used_prefix(Arg1)
- inject_prefixes
- match_is_inexact(Arg1)
- create_bitmap_index
- atom_bm(Arg1, Arg2, Arg3)
- atom_semsim_match(Arg1, Arg2, Arg3, Arg4)
- pair_semsim_match(Arg1, Arg2, Arg3, Arg4, Arg5)
- class_prop_bm(Arg1, Arg2, Arg3, Arg4)
- bm_tokens(Arg1, Arg2)
- bm_resnik(Arg1, Arg2, Arg3, Arg4)
- pair_cmatch(Arg1, Arg2, Arg3, Arg4)
- inter_pair_match(Arg1, Arg2, Arg3, Arg4)
- inter_pair_cmatch(Arg1, Arg2, Arg3, Arg4)
- exact_inter_pair_match(Arg1, Arg2, Arg3, Arg4, Arg5, Arg6, Arg7, Arg8, Arg9, Arg10, Arg11)
- new_pair_match(Arg1, Arg2, Arg3, Arg4)
- new_pair_cmatch(Arg1, Arg2, Arg3, Arg4)
- rightnew_pair_match(Arg1, Arg2, Arg3, Arg4)
- rightnew_pair_cmatch(Arg1, Arg2, Arg3, Arg4)
- new_unique_pair_match(Arg1, Arg2, Arg3, Arg4)
- new_unique_pair_cmatch(Arg1, Arg2, Arg3, Arg4)
- new_ambiguous_pair_match(Arg1, Arg2, Arg3, Arg4, Arg5, Arg6)
- new_ambiguous_pair_cmatch(Arg1, Arg2, Arg3, Arg4, Arg5, Arg6)
- tri_match(Arg1, Arg2, Arg3, Arg4)
- new_unique_match_triad_nc(Arg1, Arg2, Arg3)
- transitive_unique_match(Arg1, Arg2)
- transitive_unique_match_set(Arg1)
- transitive_new_match(Arg1, Arg2)
- transitive_new_match_set_pair(Arg1, Arg2, Arg3)
- remove_inexact_synonyms