constraints include
typeside t
schema s : rdf
----------------------------------
constraints (include s old new) : literal : rdf {
imports
prefix s new prefix s old}
Creates CQL constraints that copy a schema X into schema X + Y.
Appears in:
All_Syntax
Options:
allow_empty_sorts_unsafe
always_reload
completion_compose
completion_filter_subsumed
completion_precedence
completion_sort
completion_syntactic_ac
completion_unfailing
dont_verify_is_appropriate_for_prover_unsafe
e_path
e_use_auto
maedmax_path
num_threads
program_allow_nonconfluence_unsafe
program_allow_nontermination_unsafe
prover
prover_simplify_max
second_prover
talg_reduction
timeout
triviality_check_best_effort
vampire_path