Negation Handling in RuleML

IF isPresent(?someCar)

AND NOT isAssignedToRentalOrder(?someCar)

AND NOT requiresService(?someCar)

AND …

THEN isAvailable(?someCar)

The Closed-World Negation NOT

UML Diagram:

Vorherige Folie

Nächste Folie

Zurück zur ersten Folie

Graphik-Version anzeigen