JPL-IMCE/gov.nasa.jpl.imce.ontologies.public#37
For example either of the SWRL rules below should be acceptable:
fault-management:PerformanceConstraint(?P) ^
fault-management:ViolationExplanation(?V) ^
behavior:ElementBehavior(?B) ^
analysis:analyzes(?V, ?P) ^
analysis:explains(?V, ?B) ->
fault-management:violates(?B, ?P)
behavior:ElementBehavior(?B) ^
analysis:isExplainedBy(?B, ?V) ^
fault-management:ViolationExplanation(?V) ^
analysis:analyzes(?V, ?P) ^
fault-management:PerformanceConstraint(?P)->
fault-management:violates(?B, ?P)
Either one should result in OML in the following rule:
behavior:ElementBehavior ^
analysis:isExplainedBy ^
fault-management:ViolationExplanation ^
analysis:analyzes ^
fault-management:PerformanceConstraint->
fault-management:violates
JPL-IMCE/gov.nasa.jpl.imce.ontologies.public#37
For example either of the SWRL rules below should be acceptable:
Either one should result in OML in the following rule: