ListConstantEquality




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
Last modified on 2 March 2010, at 01:35