amalgame/commit
DISABLED: expensive derived scheme check when looking for amalgame_alignable_schemes/1 (TODO: this should become an option later)
author | Jacco van Ossenbruggen |
---|---|
Thu Mar 5 10:07:41 2020 +0100 | |
committer | Jacco van Ossenbruggen |
Thu Mar 5 10:07:41 2020 +0100 | |
commit | db95713c7be9c7cff7b7a5da907cce7563bedc65 |
tree | 483777372a4d770c5b15936c38418ef9eca9c8a0 |
parent | 94765ab80dd7809536703862edd81fb0dd399fdd |
Diff style: patch stat
diff --git a/lib/amalgame/vocabulary.pl b/lib/amalgame/vocabulary.pl index c59ffc1..dec826e 100644 --- a/lib/amalgame/vocabulary.pl +++ b/lib/amalgame/vocabulary.pl @@ -13,6 +13,7 @@ :- use_module(library(lists)). :- use_module(library(ordsets)). :- use_module(library(option)). +:- use_module(library(pairs)). :- use_module(library(settings)). :- use_module(library(semweb/rdf_db)). :- use_module(library(semweb/rdfs)). @@ -225,7 +226,7 @@ amalgame_alignable_scheme(S) :- derived_scheme(S). amalgame_non_empty_scheme(S) :- - amalgame_alignable_scheme(S), + explicit_scheme(S), %TODO: make option to allow expensive derived scheme check skos_in_scheme_chk(S,_). %% amalgame_alignable_schemes(-Schemes) is det.