ament.OntologyBundle.1.0.2.source-code.replaceBlankAxiomAnnotation.update Maven / Gradle / Ivy

Go to download

Show more of this group Show more artifacts with this name
Show all versions of OntologyBundle Show documentation

There is a newer version: 1.0.3

prefix obo:   
prefix owl:   
prefix provo: 
prefix rdfs:  

# Works against axiom annotations found in BFO, but likely not others.

delete {
	?axiom a owl:Axiom ;
		owl:annotatedSource ?annSrc ;
		owl:annotatedProperty ?annProp ;
		owl:annotatedTarget ?annTgt ;
		obo:IAO_0010000 ?oboAxiomLabel ;
		provo:dm ?provDataModelSection ;
		provo:definition ?provDefinition ;
		rdfs:seeAlso ?seeAlso ;
		rdfs:comment ?comment .
} insert {
	?axiomIri a owl:Axiom ;
		owl:annotatedSource ?annSrc ;
		owl:annotatedProperty ?annProp ;
		owl:annotatedTarget ?annTgt ;
		obo:IAO_0010000 ?oboAxiomLabel ;
		provo:dm ?provDataModelSection ;
		provo:definition ?provDefinition ;
		rdfs:seeAlso ?seeAlso ;
		rdfs:comment ?comment .
} where {
	?axiom a owl:Axiom ;
		owl:annotatedSource ?annSrc ;
		owl:annotatedProperty ?annProp ;
		owl:annotatedTarget ?annTgt .
	optional { ?axiom obo:IAO_0010000 ?oboAxiomLabel . }
	optional { ?axiom provo:dm ?provDataModelSection . }
	optional { ?axiom provo:definition ?provDefinition . }
	optional { ?axiom rdfs:seeAlso ?seeAlso . }
	optional { ?axiom rdfs:comment ?comment . }
	filter ( isblank(?axiom)
		&& !isblank(?annSrc)
		&& !isblank(?annProp)
		&& !isblank(?annTgt)
		&& (!bound(?oboAxiomLabel) || !isblank(?oboAxiomLabel))
		&& (!bound(?provDataModelSection) || !isblank(?provDataModelSection))
		&& (!bound(?provDefinition) || !isblank(?provDefinition))
		&& (!bound(?seeAlso) || !isblank(?seeAlso))
		&& (!bound(?comment) || !isblank(?comment)) )
	bind (?_fillNS as ?fillNS)
	bind ( concat(str(?annSrc), "\n", str(?annProp), "\n", str(?annTgt), "\n",
		if(bound(?oboAxiomLabel), str(?oboAxiomLabel), ""), "\n",
		if(bound(?provDataModelSection), str(?provDataModelSection), ""), "\n",
		if(bound(?provDefinition), str(?provDefinition), ""), "\n",
		if(bound(?seeAlso), str(?seeAlso), ""), "\n",
		if(bound(?comment), str(?comment), "")) as ?toHash )
	bind ( iri(concat(str(?fillNS), "z", sha256(?toHash))) as ?axiomIri )
}