Граф знаний

From Стандартопедия
Jump to navigation Jump to search

Граф знаний Стандартопедии вы можете начать изучать:

Пример:

200

  • Правило на основе синтаксиса LKIF/Carneades
(rule rzn-02i-297/20-1a
		(?x is_a stpdi:Q25)
	given(
		(?x is_a stpdi:Q34)
		(?x stpdp:P33 any
			(cardinality 1..n))
		(?x stpdp:P32 any
			(cardinality 1..n))
		(not (?x stpdp:P35 ?y))
		(?y is_a stpdi:Q25)
		((?x stpdp:P35 ?z)
			(stpdp:P55 stpdi:Q59))
		(?z stpdp:P26 stpdi:Q52)
		((?x stpdp:P35 ?v)
			(stpdp:P42 stpdi:Q41))
		(?v stpdp:P26 stpdi:Q20)
	)
)
  • Правило на основе синтаксиса SHACL
stps:rzn-02i-297/20-1a-shape
	a sh:NodeShape ;
	sh:targetClass stpdi:Q25 ;   
	sh:property [                 
		sh:path rdf:type ;
		sh:class stpdi:Q34 ;
		sh:nodeKind sh:IRI ;
	] ;
	sh:property [                 
		sh:path stpdp:P33 ;
		sh:nodeKind sh:IRI ;
		sh:minCount 1 ;
	] ;
	sh:property [                 
		sh:path stpdp:P32 ;
		sh:nodeKind sh:IRI ;
		sh:minCount 1 ;
	] ;
	sh:not [
		a sh:PropertyShape ;                 
		sh:path stpdp:P35 ;
		sh:class stpdi:Q25;
	] ;
	sh:property [                 
		sh:path stpdp:P26 ;
		sh:nodeKind sh:IRI ;
		sh:class stpdi:Q52;
	] ;
	sh:property [                 
		sh:path stpdp:P26 ;
		sh:nodeKind sh:IRI ;
		sh:class stpdi:Q20;
	] .