swrlx.pl -- Support for the SWRL Extensions built-in library.

author

- Álvaro Páez

- Daniel Beßler

See also

- https://github.com/protegeproject/swrlapi/wiki/ExtensionsBuiltInLibrary

 swrlx_make_individual(?Individual, +Pattern) is det

This predicate provides a controlled way of creating OWL individuals in a rule. It succeeds in any case if Individual is instantiated before the call. Pattern is a signature of instantiations in a rule, and if the pattern was used before to create an individual, then Individual will be instantiated to the previously created individual.

Arguments:

Individual	- IRI atom
Pattern	- List of atoms