Программное обеспечение как медицинское изделие

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


Диаграмма концепта в Графе знаний

Концепт

Определение

Программное обеспечение является медицинским изделием при условии соответствия его всем следующим критериям:

Пример построения правила

На основе синтаксиса 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;
	] .
Концепт в Графе знаний