What if we could only infer the car was red?
{ ?car a auto:SuperSportyModel. } => { ?car auto:color auto:red. }
our defaults rule wont use that fact unless we ask cwm to do another level of rules processing.
this log:forAll :car. { :car.auto:specification.log:conclusion log:notIncludes {:car auto:color []}} => {:car auto:color auto:black}.
6 of 17 |