ListConstantEquality

From RIF
Revision as of 01:35, 2 March 2010 by StellaMitchell (Talk | contribs)

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to: navigation, search




Test TypePositiveEntailmentTest
ContributorJos de Bruijn
StatusApproved
RecordFebruary 16, 2010 telecon
DialectBLD
PurposeTest equality between lists and constants
DescriptionIRIs may be mapped to arbitrary elements in the domain, and so also to elements representing lists.
SeeAlso
SpecRefBLD#Logical_Entailment
Premises
Presentation SyntaxDocument( Prefix(ex <http://example.org/example#>) Group( ex:a=List(ex:b ex:c) ex:p(ex:a) ) )
XMLview RIF/XML
Conclusion
Presentation Syntaxex:p(List(ex:b ex:c))
XMLview RIF/XML