Question

我使用TopBraid Composer免费版来编写本体和SPIN规则。我使用从TopBraid Composer免费版保存的RDF文件将我的本体加载到Sesame OpenRDF Workbench中。

我有一个SPIN规则的应用程序（更确切地说，SPIN构造函数），它应该适用于数百个规则中的哪一个是动态的。我想找到一种方法来添加＆＃34; active＆＃34;或者＆＃34;不活跃＆＃34;到SPIN规则。我愿意在WHERE子句中为每条规则添加一个检查，以便只有＆＃34;活跃＆＃34;规则。为了说明，假设我创建了两个SPIN的子属性：构造函数，将它们称为myPrefix:activeConstructor和myPrefix:inactiveConstuctor。

现在我想在构造函数的WHERE子句中添加三个形式：

?thisConstructorURI a myPrefix:activeConstructor .

这种方法取决于定义?thisConstuctorURI。 SPIN将?this设置为与规则关联的类的当前实例。是否有类似于规则URI的内容。

我也相信目前，规则存在于空白节点。例如，我的sxxicc：Pub7Proposal类的构造函数具有以下三个构造函数的三元组，如Sesame / OpenRDF Workbench中所示：

SUBJECT              PREDICATE           OBJECT
sxxicc:Pub7Proposal  spin:constructor    _:node1anlqmpiox14591
sxxicc:Pub7Proposal  spin:constructor    _:node1anlqmpiox14638
sxxicc:Pub7Proposal  spin:constructor    _:node1anlqmpiox14710
sxxicc:Pub7Proposal  spin:constructor    _:node1anlqmpiox14787
sxxicc:Pub7Proposal  spin:constructor    _:node1anlqmpiox14841
sxxicc:Pub7Proposal  spin:constructor    _:node1anlqmpiox14927
sxxicc:Pub7Proposal  spin:constructor    _:node1anlqmpiox15002
sxxicc:Pub7Proposal  spin:constructor    _:node1anlqmpiox15088
sxxicc:Pub7Proposal  spin:constructor    _:node1anlqmpiox15114
sxxicc:Pub7Proposal  spin:constructor    _:node1anlqmpiox15195
sxxicc:Pub7Proposal  spin:constructor    _:node1anlqmpiox15257
sxxicc:Pub7Proposal  spin:constructor    _:node1anlqmpiox15336
sxxicc:Pub7Proposal  spin:constructor    _:node1anlqmpiox15377

我真正需要的（我认为）是

能够引用自己的规则（我的?thisConstructorURI 想法）
能够在我写这些规则时命名规则（例如 sxxicci:Pub7ProposalSecurityClassificationConsistencyCheck）

这一切都是为了让我可以逐个激活/停用规则（或者通过任意命名组中的简单扩展）。关于如何做到这一点的任何想法？

满足以上1.类似于spin:violationSource已经支持的约束，可以包含在spin:ConstraintViolation中。但是，我非常故意使用构造函数而不是约束，主要是因为我不想阻止类的实例化，即使它有违规。

我担心答案是当前的SPIN标准和实现不支持这一点，并且需要更改支持实现以扩展标准来执行此操作。

Answer 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“修改/ SPARQL更新”运行以下SPARQL更新查询，将此构造函数更改为“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），这条规则确实抱怨“视线看见”不是有效的主要功能标识符，如预期的那样。

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

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

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

1 个答案: