+Property)Define a property of the predicate. This predicate currently supports
the following properties:
- Set/unset the predicate as being symmetric. Using
symmetric(true) is the same as
i.e., creating a predicate that is the inverse of itself.
- Sets the transitive property.
- Define Predicate as the inverse of Predicate2. An
inverse relation is deleted using
transitive property is currently not used. The
inverse_of properties are considered by rdf_has/3,4
- To be done
- Maintain these properties based on OWL triples.