Translate an Attempto DRS implication into Semantic Web Rule Language (SWRL) rule.

We use the SWRL rule syntax specified in http://www.webont.org/owled/2009/papers/owled2009_submission_16.pdf

TODO: add a constraint that the variables in the head is a subset of the variables in the body.

author

- Kaarel Kaljurand

version

- 2010-12-14

 implication_to_swrl(+Condition:term, +RefList:list, -Implies:term) is semidet

Arguments:

Condition	- is a DRS implication condition
RefList	- is a list of DRS toplevel referents
Implies	- is a SWRL 'DLSafeRule'-rule