ListLiteralEquality




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
Last modified on 21 April 2010, at 08:50