topbraid-composer

Using sh:maxExclusive to compare (the values of) two datatype properties

一个人想着一个人 提交于 2021-01-29 07:30:31
问题 Connected to this question: I cannot use sh:lessThan with xsd:positiveInteger Indeed, I managed to make my example working by writing: sh:property [ sh:path ontology:has-age ; sh:maxExclusive 16 ; ] ; However, now I would like to compare the value of "ontology:has-age" not with a constant but with the value of another datatype property defined on the same individual (and having 16 as value): ontology:John rdf:type ontology:DataSubject ; ontology:has-age "14"^^xsd:positiveInteger ; ontology

RDF4J Workbench: Why is One SPIN Constructor Very Slow?

女生的网名这么多〃 提交于 2019-12-24 08:00:36
问题 I apologize for the length of this posting. I am trying to make this slow rule issue reproducible. I'm using TopBraid Composer FE to create an RDF file with ontology and SPIN constructors. He purpose of the SPIN constructors is to check for compliance in the instantiations of individuals of classes defined in the ontology. I find that the execution of the SPIN constructor is very slow, and I'd like to know why. Ontology Including SPIN Constructors SXXIComplianceCheck18.rdf I Modify/Clear my