Did you know ... Search Documentation:
Pack pl_owl -- prolog/pl_owl.pl
PublicShow source
 owl_assert_individual(+Subject:iri, +Class:iri, +Label:rdf_literal, +Graph) is det
asserts the named individual of Class with the SubjectIri IRI and assigns it label Label. The individual is asserted into the graph Graph
 owl_date_time(+TimeStamp:float, -DateTime:compound, +TimeZone:atom) is det
 owl_format_date_time(+DateTime:compound, -Text:atom) is det
Unifies Text with the xsd representation of the date_time/7 compound.
 owl_object_atom(+Object:atom, -Atom:atom) is det
Unifies Atom with the atomic representation of the Object, which is either atomic representation of literal or label of the resource represented by the Object.
 owl_reachable(+Subject, +Property, -Object) is nondet
owl_reachable(-Subject, +Property, +Object) is nondet Succeeds if Subject is reachable to Object with respect to OWL semantics. It uses the semantics of rdf_reachable/3 but Resource is not considered to be reachable to itself unless:
  • the Property makes Subject or `Object˙ reacheble to itself by a non- transistive closure, using rdf_has/3 and the Property is not irreflexive; or
  • the Property us reflexive

As such the predicate handles subpropertyOf, inverseOf, transient, reflexive, and irreflexive properties of the Property

 owl_remove_individual(+Individual:iri, +Graph) is det
Removes all rdf entries from the Graph where Individual is either in the subject or object role.

Undocumented predicates

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

 owl_individual_of(Arg1, Arg2)
 owl_has(Arg1, Arg2, Arg3)