3.2 library(semweb/rdf11_containers): RDF 1.1 Containers
AllApplicationManualNameSummaryHelp

  • Documentation
    • Reference manual
    • Packages
      • SWI-Prolog Semantic Web Library 3.0
        • Two RDF APIs
          • library(semweb/rdf11_containers): RDF 1.1 Containers
            • rdf_alt/3
            • rdf_assert_alt/3
            • rdf_assert_alt/4
            • rdf_bag/2
            • rdf_assert_bag/2
            • rdf_assert_bag/3
            • rdf_seq/2
            • rdf_assert_seq/2
            • rdf_assert_seq/3
            • rdfs_container/2
            • rdfs_container_membership_property/1
            • rdfs_container_membership_property/2
            • rdfs_member/2
            • rdfs_nth0/3
Availability::- use_module(library(semweb/rdf11_containers)).
[nondet]rdf_alt(+Alt, ?Default, ?Others)
True when Alt is an instance of rdf:Alt with first member Default and remaining members Others.

Notice that this construct adds no machine-processable semantics but is conventionally used to indicate to a human reader that the numerical ordering of the container membership properties of Container is intended to only be relevant in distinguishing between the first and all non-first members.

Default denotes the default option to take when choosing one of the alternatives container in Container. Others denotes the non-default options that can be chosen from.