Did you know ... Search Documentation:
Pack sparqlprog -- prolog/sparqlprog/owl_util.pl
PublicShow source
 owl_some(?Restr, ?Property, ?Obj) is nondet
true if Restr is an OWL expression SomeValuesFrom(Property,Obj)
 subclass_of_some(?Cls, ?Property, ?Obj) is nondet
true if Cls is a subclass of the expression SomeValuesFrom(Property,Obj)
 owl_all(?Restr, ?Property, ?Obj) is nondet
true if Restr is an OWL expression AllValuesFrom(Property,Obj)
 owl_edge(?S, ?P, ?O, ?G) is nondet
 owl_edge(?S, ?P, ?O) is nondet
An edge in an existential graph
 owl_subgraph(+Nodes:list, +Preds:list, ?Triples:list, +Opts:list) is det
traverses owl edge graph starting from a predefined set of nodes
 owl_edge(?S, ?P, ?O, ?G) is nondet
 owl_edge(?S, ?P, ?O) is nondet
An edge in an existential graph

Undocumented predicates

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

 enlabel_of(Arg1, Arg2)
 label_of(Arg1, Arg2, Arg3)
 owl_equivalent_class(Arg1, Arg2)
 owl_equivalent_class_asserted(Arg1, Arg2)
 owl_equivalent_class_asserted_symm(Arg1, Arg2)
 thing_class(Arg1)
 not_thing_class(Arg1)
 deprecated(Arg1)
 subclass_cycle(Arg1)
 owl_node_info(Arg1, Arg2, Arg3, Arg4)
 eq_intersection_member(Arg1, Arg2)
 intersection_member(Arg1, Arg2)
 rdflist_member(Arg1, Arg2)
 class_genus(Arg1, Arg2)
 class_differentia(Arg1, Arg2, Arg3)
 quads_dict(Arg1, Arg2)
 common_ancestor(Arg1, Arg2, Arg3)
 mrca(Arg1, Arg2, Arg3)
 common_descendant(Arg1, Arg2, Arg3)
 mrcd(Arg1, Arg2, Arg3)
 simj_by_subclass(Arg1, Arg2, Arg3)
 simj_by_subclass(Arg1, Arg2, Arg3, Arg4, Arg5)
 label(Arg1, Arg2)
 subClassOf(Arg1, Arg2)