Home
last modified time | relevance | path

Searched refs:rdf_has (Results 1 – 24 of 24) sorted by relevance

/dports/lang/yap/yap-6.2.2/packages/semweb/
H A Dtest.pl88 rdf_has(r2, p2, r1).
92 rdf_has(r2, p2, r1),
94 \+ rdf_has(r2, p2, r1).
H A Drnd_test.pl192 forall(rdf_has(S, _, _), true).
194 forall(rdf_has(S, P, _), true).
H A Dtest_rdf_db.pl660 \+ rdf_has(_, p2, b, _).
669 % Property hierarchy handling for rdf_has/3. The routines maintain
699 rdf_has(x, d, y),
712 rdf_has(x, dc, y),
718 \+ rdf_has(x, b, y).
H A Drdfs.pl126 -> rdf_has(Class, rdf:type, CType),
H A Drdf_db.pl37 rdf_has/3, % ?Subject, +Pred, ?Obj
38 rdf_has/4, % ?Subject, +Pred, ?Obj, -RealPred
455 rdf_has(r,r,o,r),
456 rdf_has(r,r,o),
480 %% rdf_has(?Subject, +Predicate, ?Object)
485 rdf_has(Subject, Predicate, Object) :-
486 rdf_has(Subject, Predicate, Object, _).
2047 rdf_has(List, rdf:first, First),
2057 ( rdf_has(List, rdf:rest, List2),
H A DChangeLog208 …* FIXED: Possible missing match on subproperties in rdf_has. Jacco van Ossenbruggen and Michiel Hi…
325 * FIXED: rdf_has/3 can return triples that should not match. Jochem
334 * FIXED: rdf_has/3 to use empty reachability matrix after a property
935 * FIXED: rdf_has(-, +, -). Didn't use proper hash-key, missing
H A Dsemweb.doc108 abstract predicate. This makes calls to rdf_has/4 very
220 findall(S, rdf_has(S, rdfs:subClassOf, Class), SubClasses).
223 Note that rdf_has/4 and rdf_has/3 can return duplicate answers if
226 \predicate{rdf_has}{3}{?Subject, ?Predicate, ?Object}
227 Same as \term{rdf_has}{Subject, Predicate, Object, _}.
394 triples of `subPropertyOf' this relation. See also rdf_has/3.
398 triples of `subPropertyOf' this relation. See also rdf_has/3.
968 ( setof(O, rdf_has(S, P, O), Os)
1192 of alternatives we can expect for an rdf_has/3 call using the
1858 by rdf_has/[3,4].
[all …]
H A Drdf_db.c5011 rdf_has(term_t subject, term_t predicate, term_t object, in rdf_has() function
6663 PL_register_foreign("rdf_has", 4, rdf_has, NDET); in install_rdf_db()
/dports/lang/swi-pl/swipl-8.2.3/packages/semweb/
H A Dtest_con.pl101 v(rdf_has(S,P,O)).
112 v(rdf_has(S,P,O)) :-
114 true((rdf_has(S,P,O))),
115 true((rdf_has(S,P,O2), O == O2)),
116 true((rdf_has(S2,P,O), S2 == S)),
117 true((rdf_has(S2,P,O2), S2 == S, O == O2)).
132 false((rdf_has(S,P,O))).
483 findall(x, ( rdf_has(_,Root,_),
486 findall(S, rdf_has(S, Root, _), [S1,S2]).
H A Dtest_load.pl112 rdf_has(r2, p2, r1).
116 rdf_has(r2, p2, r1),
118 \+ rdf_has(r2, p2, r1).
H A Drdfs.pl58 [ rdf_reachable/3, rdf_equal/2, rdf_has/3, rdf_subject/1,
59 rdf_global_id/2, rdf/3, rdf_has/4, rdf_member_property/2,
134 -> rdf_has(Class, rdf:type, CType),
H A Drdf11.pl40 rdf_has/3, % ?S, ?P, ?O
145 rdf_has/3,
146 rdf_has/4,
214 rdf_has(r,r,o),
215 rdf_has(r,r,o,-),
345 %! rdf_has(?S, +P, ?O) is nondet.
346 %! rdf_has(?S, +P, ?O, -RealP) is nondet.
353 rdf_has(S,P,O) :-
355 rdf_db:rdf_has(S,P,O0),
358 rdf_has(S,P,O,RealP) :-
[all …]
H A Drdf11_containers.pl56 rdf_assert/4, rdf_equal/2, rdf_is_subject/1, rdf_has/3
295 rdf_has(Container, P, Elem),
299 rdf_has(Container, P, Elem).
H A Drdf_portray.pl41 :- use_module(library(semweb/rdf_db),[rdf_global_id/2,rdf_has/3]).
H A Dtest_rdf_db.pl726 \+ rdf_has(_, p2, b, _).
729 rdf_has(s,P,o),
734 rdf_has(s,sp,o).
738 rdf_has(s,sp,o,P),
744 rdf_has(o,ip,s,P),
755 findall(O-S, rdf_has(O, ip, S), List),
H A Drnd_test.pl198 forall(rdf_has(S, _, _), true).
200 forall(rdf_has(S, P, _), true).
H A Dtest_subprop.pl215 -> assertion(rdf_has(Sub, Super, Sub))
216 ; assertion(\+ rdf_has(Sub, Super, Sub))
H A Drdf_db.pl42 rdf_has/3, % ?Subject, +Pred, ?Obj
43 rdf_has/4, % ?Subject, +Pred, ?Obj, -RealPred
463 %! rdf_has(?Subject, +Predicate, ?Object) is nondet.
470 %! rdf_has(?Subject, +Predicate, ?Object, -RealPredicate) is nondet.
472 % Same as rdf_has/3, but RealPredicate is unified to the actual
1037 % triples of `subPropertyOf' this relation. See also rdf_has/3.
1066 % and `inverse_of` properties are considered by rdf_has/3,4 and
3086 rdf_has(List, rdf:first, First),
3096 ( rdf_has(List, rdf:rest, List2),
3376 % of alternatives we can expect for an rdf_has/3 call using the
H A Drdf_library.pl845 % Like rdf_has/3 over a list of Triples.
H A Dsemweb.doc855 by rdf_has/[3,4].
863 semantics of this predicate is wired into rdf_has/[3,4].%
/dports/lang/yap/yap-6.2.2/packages/semweb/Tests/
H A Dsubprop.pl31 rdf_has(test:jan, test:r1, Name),
/dports/lang/swi-pl/swipl-8.2.3/packages/semweb/doc/
H A Drdf11.md7 * [[rdf_has/3]]
H A Drdfdb.md21 index supports rdf_has/3 to query a property and all its
39 * [[rdf_has/3]]
40 * [[rdf_has/4]]
237 ( setof(O, rdf_has(S, P, O), Os)
/dports/lang/swi-pl/swipl-8.2.3/packages/semweb/Tests/
H A Dsubprop.pl66 rdf_has(test:jan, test:r1, Name),