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, ?Quads:list, +Opts:list) is det
traverses owl edge graph starting from a predefined set of nodes
 ensure_uri(+Uri, ?CurieOrUriTerm) is det
translates URI to a CurieOrUriTerm
 ensure_uri(+CurieOrUriTerm, ?Uri) is det
translates CurieOrUriTerm to a URI. CurieOrUriTerm is either:
  • a Uri atom
  • a Pre:Post CURIE term
  • an atom of the form 'Pre:Post'

Undocumented predicates

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

 enlabel_of(Arg1, Arg2)
 label_of(Arg1, Arg2)
 label_of(Arg1, Arg2, Arg3)
 triple_axiom(Arg1, Arg2)
 triple_axiom(Arg1, Arg2, Arg3, Arg4)
 triple_axiom_annotation(Arg1, Arg2, Arg3)
 triple_axiom_annotation(Arg1, Arg2, Arg3, Arg4, Arg5)
 triple_axiom_annotations(Arg1, Arg2, Arg3, Arg4)
 triple_property_axiom_annotations(Arg1, Arg2, Arg3, Arg4, Arg5)
 axiom_annotation(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)
 owl_edge(Arg1, Arg2, Arg3)
 quads_objects(Arg1, Arg2)
 quads_dict(Arg1, Arg2)
 assert_named_individuals
 assert_named_individuals_forall
 ensure_curie(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)