ListConstantEquality

From RIF

Jump to: navigation, search




Test TypePositiveEntailmentTest
ContributorJos de Bruijn
StatusProposed
Record
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.com/example#>) Group( ex:a=List(ex:b ex:c) ex:p(ex:a) ) )
XMLview XML
Conclusion
Presentation Syntaxex:p(List(ex:b ex:c))
XMLview XML
Retrieved from "http://www.w3.org/2005/rules/wiki/ListConstantEquality"