5:-module(skos,[collection/1,concept/1,concept_Scheme/1,ordered_Collection/1,alternative_label/2,has_broader_match/2,has_broader/2,has_broader_transitive/2,change_note/2,has_close_match/2,definition/2,editorial_note/2,has_exact_match/2,example/2,has_top_concept/2,hidden_label/2,history_note/2,is_in_scheme/2,is_in_mapping_relation_with/2,has_member/2,has_member_list/2,has_narrower_match/2,has_narrower/2,has_narrower_transitive/2,notation/2,note/2,preferred_label/2,has_related/2,has_related_match/2,scope_note/2,is_in_semantic_relation_with/2,is_top_concept_in_scheme/2,op(300,xfy,alternative_label),op(300,xfy,has_broader_match),op(300,xfy,has_broader),op(300,xfy,has_broader_transitive),op(300,xfy,change_note),op(300,xfy,has_close_match),op(300,xfy,definition),op(300,xfy,editorial_note),op(300,xfy,has_exact_match),op(300,xfy,example),op(300,xfy,has_top_concept),op(300,xfy,hidden_label),op(300,xfy,history_note),op(300,xfy,is_in_scheme),op(300,xfy,is_in_mapping_relation_with),op(300,xfy,has_member),op(300,xfy,has_member_list),op(300,xfy,has_narrower_match),op(300,xfy,has_narrower),op(300,xfy,has_narrower_transitive),op(300,xfy,notation),op(300,xfy,note),op(300,xfy,preferred_label),op(300,xfy,has_related),op(300,xfy,has_related_match),op(300,xfy,scope_note),op(300,xfy,is_in_semantic_relation_with),op(300,xfy,is_top_concept_in_scheme)]). 6:-use_module(library(semweb/rdf_db)). 7:-use_module(library(semweb/rdfs)). 8
9:-op(300,xfy,alternative_label). 10:-op(300,xfy,has_broader_match). 11:-op(300,xfy,has_broader). 12:-op(300,xfy,has_broader_transitive). 13:-op(300,xfy,change_note). 14:-op(300,xfy,has_close_match). 15:-op(300,xfy,definition). 16:-op(300,xfy,editorial_note). 17:-op(300,xfy,has_exact_match). 18:-op(300,xfy,example). 19:-op(300,xfy,has_top_concept). 20:-op(300,xfy,hidden_label). 21:-op(300,xfy,history_note). 22:-op(300,xfy,is_in_scheme). 23:-op(300,xfy,is_in_mapping_relation_with). 24:-op(300,xfy,has_member). 25:-op(300,xfy,has_member_list). 26:-op(300,xfy,has_narrower_match). 27:-op(300,xfy,has_narrower). 28:-op(300,xfy,has_narrower_transitive). 29:-op(300,xfy,notation). 30:-op(300,xfy,note). 31:-op(300,xfy,preferred_label). 32:-op(300,xfy,has_related). 33:-op(300,xfy,has_related_match). 34:-op(300,xfy,scope_note). 35:-op(300,xfy,is_in_semantic_relation_with). 36:-op(300,xfy,is_top_concept_in_scheme). 37
38:-rdf_meta skos:collection(r).
39:-rdf_meta skos:concept(r).
40:-rdf_meta skos:concept_Scheme(r).
41:-rdf_meta skos:ordered_Collection(r).
42:-rdf_meta skos:alternative_label(r,r).
43:-rdf_meta skos:change_note(r,r).
44:-rdf_meta skos:definition(r,r).
45:-rdf_meta skos:editorial_note(r,r).
46:-rdf_meta skos:example(r,r).
47:-rdf_meta skos:has_broader(r,r).
48:-rdf_meta skos:has_broader_match(r,r).
49:-rdf_meta skos:has_broader_transitive(r,r).
50:-rdf_meta skos:has_close_match(r,r).
51:-rdf_meta skos:has_exact_match(r,r).
52:-rdf_meta skos:has_member(r,r).
53:-rdf_meta skos:has_member_list(r,r).
54:-rdf_meta skos:has_narrower(r,r).
55:-rdf_meta skos:has_narrower_match(r,r).
56:-rdf_meta skos:has_narrower_transitive(r,r).
57:-rdf_meta skos:has_related(r,r).
58:-rdf_meta skos:has_related_match(r,r).
59:-rdf_meta skos:has_top_concept(r,r).
60:-rdf_meta skos:hidden_label(r,r).
61:-rdf_meta skos:history_note(r,r).
62:-rdf_meta skos:is_in_mapping_relation_with(r,r).
63:-rdf_meta skos:is_in_scheme(r,r).
64:-rdf_meta skos:is_in_semantic_relation_with(r,r).
65:-rdf_meta skos:is_top_concept_in_scheme(r,r).
66:-rdf_meta skos:notation(r,-).
67:-rdf_meta skos:notation(r,r).
68:-rdf_meta skos:note(r,r).
69:-rdf_meta skos:preferred_label(r,r).
70:-rdf_meta skos:scope_note(r,r).
71skos:collection(A):-rdfs_individual_of(A,'http://www.w3.org/2004/02/skos/core#Collection').
72skos:concept(A):-rdfs_individual_of(A,'http://www.w3.org/2004/02/skos/core#Concept').
73skos:concept_Scheme(A):-rdfs_individual_of(A,'http://www.w3.org/2004/02/skos/core#ConceptScheme').
74skos:ordered_Collection(A):-rdfs_individual_of(A,'http://www.w3.org/2004/02/skos/core#OrderedCollection').
75skos:alternative_label(A,B):-rdf_has(A,'http://www.w3.org/2004/02/skos/core#altLabel',B).
76skos:change_note(A,B):-rdf_has(A,'http://www.w3.org/2004/02/skos/core#changeNote',B).
77skos:definition(A,B):-rdf_has(A,'http://www.w3.org/2004/02/skos/core#definition',B).
78skos:editorial_note(A,B):-rdf_has(A,'http://www.w3.org/2004/02/skos/core#editorialNote',B).
79skos:example(A,B):-rdf_has(A,'http://www.w3.org/2004/02/skos/core#example',B).
80skos:has_broader(A,B):-rdf_has(A,'http://www.w3.org/2004/02/skos/core#broader',B).
81skos:has_broader(A,B):-rdf_has(A,'http://www.w3.org/2004/02/skos/core#broader',B).
82skos:has_broader_match(A,B):-rdf_has(A,'http://www.w3.org/2004/02/skos/core#broadMatch',B).
83skos:has_broader_match(A,B):-rdf_has(A,'http://www.w3.org/2004/02/skos/core#broadMatch',B).
84skos:has_broader_transitive(A,B):-rdf_has(A,'http://www.w3.org/2004/02/skos/core#broaderTransitive',B).
85skos:has_broader_transitive(A,B):-rdf_has(A,'http://www.w3.org/2004/02/skos/core#broaderTransitive',B).
86skos:has_close_match(A,B):-rdf_has(A,'http://www.w3.org/2004/02/skos/core#closeMatch',B).
87skos:has_close_match(A,B):-rdf_has(A,'http://www.w3.org/2004/02/skos/core#closeMatch',B).
88skos:has_exact_match(A,B):-rdf_has(A,'http://www.w3.org/2004/02/skos/core#exactMatch',B).
89skos:has_exact_match(A,B):-rdf_has(A,'http://www.w3.org/2004/02/skos/core#exactMatch',B).
90skos:has_member(A,B):-rdf_has(A,'http://www.w3.org/2004/02/skos/core#member',B).
91skos:has_member(A,B):-rdf_has(A,'http://www.w3.org/2004/02/skos/core#member',B).
92skos:has_member_list(A,B):-rdf_has(A,'http://www.w3.org/2004/02/skos/core#memberList',B).
93skos:has_member_list(A,B):-rdf_has(A,'http://www.w3.org/2004/02/skos/core#memberList',B).
94skos:has_narrower(A,B):-rdf_has(A,'http://www.w3.org/2004/02/skos/core#narrower',B).
95skos:has_narrower(A,B):-rdf_has(A,'http://www.w3.org/2004/02/skos/core#narrower',B).
96skos:has_narrower_match(A,B):-rdf_has(A,'http://www.w3.org/2004/02/skos/core#narrowMatch',B).
97skos:has_narrower_match(A,B):-rdf_has(A,'http://www.w3.org/2004/02/skos/core#narrowMatch',B).
98skos:has_narrower_transitive(A,B):-rdf_has(A,'http://www.w3.org/2004/02/skos/core#narrowerTransitive',B).
99skos:has_narrower_transitive(A,B):-rdf_has(A,'http://www.w3.org/2004/02/skos/core#narrowerTransitive',B).
100skos:has_related(A,B):-rdf_has(A,'http://www.w3.org/2004/02/skos/core#related',B).
101skos:has_related(A,B):-rdf_has(A,'http://www.w3.org/2004/02/skos/core#related',B).
102skos:has_related_match(A,B):-rdf_has(A,'http://www.w3.org/2004/02/skos/core#relatedMatch',B).
103skos:has_related_match(A,B):-rdf_has(A,'http://www.w3.org/2004/02/skos/core#relatedMatch',B).
104skos:has_top_concept(A,B):-rdf_has(A,'http://www.w3.org/2004/02/skos/core#hasTopConcept',B).
105skos:has_top_concept(A,B):-rdf_has(A,'http://www.w3.org/2004/02/skos/core#hasTopConcept',B).
106skos:hidden_label(A,B):-rdf_has(A,'http://www.w3.org/2004/02/skos/core#hiddenLabel',B).
107skos:history_note(A,B):-rdf_has(A,'http://www.w3.org/2004/02/skos/core#historyNote',B).
108skos:is_in_mapping_relation_with(A,B):-rdf_has(A,'http://www.w3.org/2004/02/skos/core#mappingRelation',B).
109skos:is_in_mapping_relation_with(A,B):-rdf_has(A,'http://www.w3.org/2004/02/skos/core#mappingRelation',B).
110skos:is_in_scheme(A,B):-rdf_has(A,'http://www.w3.org/2004/02/skos/core#inScheme',B).
111skos:is_in_scheme(A,B):-rdf_has(A,'http://www.w3.org/2004/02/skos/core#inScheme',B).
112skos:is_in_semantic_relation_with(A,B):-rdf_has(A,'http://www.w3.org/2004/02/skos/core#semanticRelation',B).
113skos:is_in_semantic_relation_with(A,B):-rdf_has(A,'http://www.w3.org/2004/02/skos/core#semanticRelation',B).
114skos:is_top_concept_in_scheme(A,B):-rdf_has(A,'http://www.w3.org/2004/02/skos/core#topConceptOf',B).
115skos:is_top_concept_in_scheme(A,B):-rdf_has(A,'http://www.w3.org/2004/02/skos/core#topConceptOf',B).
116skos:notation(A,B):-rdf_has(A,'http://www.w3.org/2004/02/skos/core#notation',B).
117skos:notation(A,B):-rdf_has(A,'http://www.w3.org/2004/02/skos/core#notation',C),rdf_literal_value(C,B).
118skos:note(A,B):-rdf_has(A,'http://www.w3.org/2004/02/skos/core#note',B).
119skos:preferred_label(A,B):-rdf_has(A,'http://www.w3.org/2004/02/skos/core#prefLabel',B).
120skos:scope_note(A,B):-rdf_has(A,'http://www.w3.org/2004/02/skos/core#scopeNote',B)