Setting some error messages for conditions which ACE->OWL/SWRL cannot handle.
- - Kaarel Kaljurand
- - 2010-12-14
- 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
The following predicates are exported, but not or incorrectly documented.