Overloaded signatures
Can we support signatures with the same name, but with different parameter lists wrt no of arguments and types. Example:
SubClassOf[ottr:IRI ?subclass, ottr:IRI ?superclass] and
SubClassOf[List<ottr:IRI> ?subclass, List<ottr:IRI> ?superclass]
Discussion: Must be able to determine template based on syntactic form of arguments, which makes this feature less interesting, e.g., cannot distinguish between objectProperties and datatypeProperties. Need more compelling use cases.
Edited by Martin G. Skjæveland