Availability:
:- use_module(library(semweb/rdf_db)).
[det]rdf_set_predicate(+Predicate,
+Property)- symmetric(+Boolean)
- Set/unset the predicate as being symmetric. Using
symmetric(true)is the same asinverse_of(Predicate), i.e., creating a predicate that is the inverse of itself. - transitive(+Boolean)
- Sets the transitive property.
- inverse_of(+Predicate2)
- Define Predicate as the inverse of Predicate2. An
inverse relation is deleted using
inverse_of([]).
The transitive property is currently not used. The symmetric
and inverse_of properties are considered by rdf_has/3,4
and
rdf_reachable/3.