/dports/lang/yap/yap-6.2.2/packages/semweb/ |
H A D | test.pl | 88 rdf_has(r2, p2, r1). 92 rdf_has(r2, p2, r1), 94 \+ rdf_has(r2, p2, r1).
|
H A D | rnd_test.pl | 192 forall(rdf_has(S, _, _), true). 194 forall(rdf_has(S, P, _), true).
|
H A D | test_rdf_db.pl | 660 \+ 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 D | rdfs.pl | 126 -> rdf_has(Class, rdf:type, CType),
|
H A D | rdf_db.pl | 37 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 D | ChangeLog | 208 …* 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 D | semweb.doc | 108 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 D | rdf_db.c | 5011 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 D | test_con.pl | 101 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 D | test_load.pl | 112 rdf_has(r2, p2, r1). 116 rdf_has(r2, p2, r1), 118 \+ rdf_has(r2, p2, r1).
|
H A D | rdfs.pl | 58 [ 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 D | rdf11.pl | 40 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 D | rdf11_containers.pl | 56 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 D | rdf_portray.pl | 41 :- use_module(library(semweb/rdf_db),[rdf_global_id/2,rdf_has/3]).
|
H A D | test_rdf_db.pl | 726 \+ 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 D | rnd_test.pl | 198 forall(rdf_has(S, _, _), true). 200 forall(rdf_has(S, P, _), true).
|
H A D | test_subprop.pl | 215 -> assertion(rdf_has(Sub, Super, Sub)) 216 ; assertion(\+ rdf_has(Sub, Super, Sub))
|
H A D | rdf_db.pl | 42 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 D | rdf_library.pl | 845 % Like rdf_has/3 over a list of Triples.
|
H A D | semweb.doc | 855 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 D | subprop.pl | 31 rdf_has(test:jan, test:r1, Name),
|
/dports/lang/swi-pl/swipl-8.2.3/packages/semweb/doc/ |
H A D | rdf11.md | 7 * [[rdf_has/3]]
|
H A D | rdfdb.md | 21 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 D | subprop.pl | 66 rdf_has(test:jan, test:r1, Name),
|