如何在SPIN规则中添加主动/非主动概念？

1 回答

• 1

  我已经确认了一种激活/停用我的构造函数的尴尬方法 . 请注意，我使用以下子属性结构：

  spin:constructor
    sxxicc:sxxiPub7ComplianceCheckRule
      sxxicc:activeSxxiPub7ComplianceCheckRule
  

  我创建以下conststructor为 sxxicc:sxxiPub7ComplianceCheckRule ：

  # THE MAJOR FUNCTION IDENTIFIER IS INVALID. (511 02)
  CONSTRUCT {
      ?this sxxicc:pub7ProposalHasComplianceMessage "THE MAJOR FUNCTION IDENTIFIER IS INVALID. (511 02)"^^xsd:string .
  }
  WHERE {
      ?this a sxxicc:Pub7Proposal .
      ?this sxxicc:pub7ProposalHasDataItem ?dataItem511 .
      sxxicc:Pub7Proposal sxxicc:activeSxxiPub7ComplianceCheckRule ?thisRule .
      ?thisRule rdfs:comment "THE MAJOR FUNCTION IDENTIFIER IS INVALID. (511 02)"^^xsd:string .
      ?dataItem511 a sxxicc:Pub7DataItem511 .
      ?dataItem511 sxxicc:pub7DataItemHasStringValue ?majorFunctionID .
      ?this sxxicc:pub7ProposalHasDataItem ?dataItem102 .
      ?dataItem102 a sxxicc:Pub7DataItem102 .
      ?dataItem102 sxxicc:pub7DataItemHasStringValue ?serialNumString .
      BIND (SUBSTR(?serialNumString, 1, 4) AS ?orgString) .
      FILTER (((((?orgString = SUBSTR("AF  X"^^xsd:string, 1, 4)) || (?orgString = SUBSTR("AR  X"^^xsd:string, 1, 4))) || (?orgString = SUBSTR("N   X"^^xsd:string, 1, 4))) || (?orgString = SUBSTR("NS  X"^^xsd:string, 1, 4))) || (?orgString = SUBSTR("MC  X"^^xsd:string, 1, 4))) .
      FILTER (!(((((((((((?majorFunctionID = "AIR OPERATIONS") || (?majorFunctionID = "GROUND OPERATIONS")) || (?majorFunctionID = "SEA OPERATIONS")) || (?majorFunctionID = "SPACE OPERATIONS")) || (?majorFunctionID = "RANGE OPERATIONS")) || (?majorFunctionID = "SURVEILLANCE/RECONNAISSANCE")) || (?majorFunctionID = "SPECIAL OPERATIONS")) || (?majorFunctionID = "C3")) || (?majorFunctionID = "SUSTAINING OPERATIONS")) || (?majorFunctionID = "DOMESTIC SUPPORT OPERATIONS")) || (?majorFunctionID = "OTHER OPERATIONS"))) .
  }
  

  此查询激活的最相关行是：

  sxxicc:Pub7Proposal sxxicc:activeSxxiPub7ComplianceCheckRule ?thisRule .
  ?thisRule rdfs:comment "THE MAJOR FUNCTION IDENTIFIER IS INVALID. (511 02)"^^xsd:string .
  

  默认情况下，此规则不能生成其错误消息，因为它具有超级属性但不具有活动子属性 . 我通过声明 sxxicc:Pub7Proposal 并将 dataItem511 设置为"Sight Seeing"（不是有效的主要功能标识符）来确认这一点 . 此构造函数未生成其错误消息 .

  然后，我从OpenRDF Workbench“Modify / SPARQL Update”运行以下SPARQL Update查询，将此构造函数更改为“active”：

  PREFIX rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>
  PREFIX sxxicc: <http://www.disa.mil/dso/a2i/ontologies/PBSM/Interface/SXXIComplianceCheck#>
  PREFIX owl: <http://www.w3.org/2002/07/owl#>
  PREFIX sp: <http://spinrdf.org/sp#>
  PREFIX rdfs: <http://www.w3.org/2000/01/rdf-schema#>
  PREFIX smf: <http://topbraid.org/sparqlmotionfunctions#>
  PREFIX fn: <http://www.w3.org/2005/xpath-functions#>
  PREFIX spl: <http://spinrdf.org/spl#>
  PREFIX spin: <http://spinrdf.org/spin#>
  PREFIX arg: <http://spinrdf.org/arg#>
  PREFIX SXXIComplianceCheckIndividuals: <http://www.disa.mil/dso/a2i/ontologies/PBSM/Interface/SXXIComplianceCheckIndividuals#>
  PREFIX sxxicci: <http://www.disa.mil/dso/a2i/ontologies/PBSM/Interface/SXXIComplianceCheckIndividuals#>
  PREFIX xsd: <http://www.w3.org/2001/XMLSchema#>
  PREFIX bugs: <http://www.disa.mil/dso/a2i/ontologies/PBSM/Interface/BugReproduction#>
  PREFIX BugReproduction: <http://www.disa.mil/dso/a2i/ontologies/PBSM/Interface/BugReproduction#>
  PREFIX bugsi: <http://www.disa.mil/dso/a2i/ontologies/PBSM/Interface/BugReproductionInstantiations#>
  PREFIX BugReproductionInstantiations: <http://www.disa.mil/dso/a2i/ontologies/PBSM/Interface/BugReproductionInstantiations#>
  
  INSERT {
      sxxicc:Pub7Proposal sxxicc:activeSxxiPub7ComplianceCheckRule ?thisRule .
  }
  WHERE {
      sxxicc:Pub7Proposal sxxicc:sxxiPub7ComplianceCheckRule ?thisRule .
      ?thisRule rdfs:comment "THE MAJOR FUNCTION IDENTIFIER IS INVALID. (511 02)"^^xsd:string .
  }
  

  我断言另一个相同的 sxxicc:Pub7Proposal （不同的IRI），这个规则确实抱怨"Sight Seeing"不是有效的主要功能标识符，正如预期的那样 .

  请注意，相同形式的查询但使用 DELETE 子句替换上述 INSERT 子句（相同的三元组）可能会使构造函数动态失效 . 更确切地说，它将防止再次生成错误消息 .

  这是完成动态激活和停用构造函数的低效方法 . 我正在做很多工作去解决锚定构造函数的空白节点 . 我正在使用规则的注释来确保唯一性，并且我使用自己的子属性来约束规则搜索自身的范围 . 我希望有一种更好的方法来动态激活/停用构造函数规则，而无需完全加载/卸载它们 . 如果规则引擎本身理解“活动”的概念将是非常好的，这样“非活动”规则不会不必要地运行才发现它们是不活动的 .

  回复于 2024-05-08T09:35:27+08:00