Warning:
This wiki has been archived and is now read-only.

Core Safeness 2

From RIF
Jump to: navigation, search




Test TypePositiveSyntaxTest
ContributorJos de Bruijn
StatusApproved
RecordF2F13
DialectCore
PurposeTest that safe formulas are accepted.
DescriptionThe variables ?z and ?y are safe, because they are equated to ?x, which is safe.
SeeAlsoCore_NonSafeness Core_Safeness
SpecRefhttp://www.w3.org/2005/rules/wiki/Core#Safeness
Input
Presentation SyntaxDocument( Prefix(ex <http://example.org/example#>) Group( Forall ?x ?y ?z (ex:p(?z) :- And(ex:q(?x) ?x=?y ?y=?z)) ) )
XMLview RIF/XML
Retrieved from "https://www.w3.org/2005/rules/wiki/index.php?title=Core_Safeness_2&oldid=12011"