ListLiteralEquality

From RIF
Revision as of 08:50, 21 April 2010 by Christian de Sainte Marie (Talk | contribs)

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




Test TypePositiveEntailmentTest
ContributorJos de Bruijn
StatusApproved
RecordTelecon 20 April 2010
DialectBLD
PurposeTest equality between lists and constants representing data values
DescriptionLists are mapped to elements in the domain that are not data values, and so assertion of equality between a data value and a list is inconsistent, and entails falsehood (written as Or() in RIF).
SeeAlso
SpecRefBLD#Logical_Entailment
Premises
Presentation SyntaxDocument( Prefix(ex <http://example.org/example#>) Group( "a"=List(ex:b) ) )
XMLview RIF/XML
Conclusion
Presentation SyntaxOr()
XMLview RIF/XML