Cross Reference: 041-proving.rb
xref
: /
ontohub
/
db
/
seeds
/
041-proving.rb
Home
History
Annotate
Line#
Navigate
Download
Search
only in
./
041-proving.rb revision 9b931be64b810ef562077d173028ffbe847be914
repository
=
Repository.find
_by_path
(
'default'
)
%w
(
v__T
strict_partial_order
)
.
each
do
|
ontology_name
|
ontology
=
repository.ontologies.find
_by_name
(
ontology_name
)
Proof.new
({
ontology_id
:
ontology.id
,
proof
: {
axiom_selection_method
:
'manual_axiom_selection'
}},
prove_asynchronously
:
false
)
.
save
!
end
ontology
=
repository.ontologies.find
_by_name
(
'v__T'
)
theorem
=
ontology.theorems.find
_by_name
(
'antisymmetric'
)
Proof.new
({
ontology_id
:
ontology.id
,
theorem_id
:
theorem.id
,
proof
: {
axiom_selection_method
:
'manual_axiom_selection'
}},
prove_asynchronously
:
false
)
.
save
!