Negation Handling in RuleML (Cont’d)

• NOT = non-truth (or failure)

• NEG = falsity

• Default rules:

 IF NOT hasApproval(?URL) THEN NEG isOfficialDocument(?URL)

Open-World Reasoning with NOT and NEG

Vorherige Folie

Nächste Folie

Zurück zur ersten Folie

Graphik-Version anzeigen