You cannot accomplish what you are trying to do with inference rules.
Similar to negation aggregate functions like max would make a rule
non-monotonic and are not supported. With non-monotonic rules, even
adding a new triple can invalidate a previous inference and the
semantics get complicated.
You mention ICV which is only for validating contents and not making
new inferences. In ICV, you can use negation, aggregation and all the
other SPARQL functions in your validation queries.
Best,
Evren
> --
> -- --
> You received this message because you are subscribed to the C&P "Stardog"
> group.
> To post to this group, send email to
sta...@clarkparsia.com
> To unsubscribe from this group, send email to
>
stardog+u...@clarkparsia.com
> For more options, visit this group at
>
http://groups.google.com/a/clarkparsia.com/group/stardog?hl=en