Setting some error messages for conditions which ACE->OWL/SWRL cannot handle.

author

- Kaarel Kaljurand

version

- 2010-12-14

TODO

• add more detailed messages in case of property/[4,5,7]
• paraphrase the DRS to deliver a nicer error message. DRS->ACE needs to support this though (i.e. the situation when the the DRS contains referents which are defined on the upper level).
• Should error messages be given on the ACE level or on the DRS level? For the end user the ACE level is better, but on the other hand the input to ACE->OWL is the DRS (i.e. the module is actually doing DRS->OWL).

 illegal_conditions(+Conditions:list) is det

Undocumented predicates

The following predicates are exported, but not or incorrectly documented.

 illegal_condition(Arg1)