[topbraid-users] Inferring taxonomy depth?

2021-09-25 Thread Boris Pelakh
I would like to add a validation (using SHACL or ADS) to verify that the depth of my taxonomy does not exceed a preset limit. This should ideally be able to handle a multi-hierarchy (if that is the correct term), calculating the maximum depth where any concept appears. One approach would be

[topbraid-users] Selective sh:equals?

2021-07-06 Thread Boris Pelakh
I am writing some basic shapes to validate that an ontology is well-formed, and one of checks I would like to add is that subPropertyOf and inverseOf only target the same type of property. For example: gshapes:InversePropertyShape a sh:NodeShape ; sh:targetSubjectsOf owl:inverseOf ; sh:property

Re: [topbraid-users] Iterative application of sh:Rules?

2021-05-25 Thread Boris Pelakh
grammatically it just means > restart at the first rule, taking the inferences graph from the previous > loop as input. > > Was your question about specific features of TopBraid of just about > SHACL-AF in general? > > Holger > > > On 2021-05-25 9:33 am, Boris Pela

[topbraid-users] Iterative application of sh:Rules?

2021-05-24 Thread Boris Pelakh
I have read in the SHACL-AF spec that rules are applied in strict sh:order precedence, and there is no way to control intra-order execution. Are there any plans to allow for iterative entailment where rules are applied until no new triples are inferred (a stable state is achieved), the way

Re: [topbraid-users] Importing external change history

2021-05-13 Thread Boris Pelakh
Thank you, Holger, that's great. I was able to find the ontology at https://www.topbraid.org/teamwork, but are you aware of any sample Change data I can look at as examples? On Thursday, May 13, 2021 at 4:44:54 AM UTC-4 Holger Knublauch wrote: > Hi Boris, > On 2021-05-13 10:33 am, Boris

[topbraid-users] Importing external change history

2021-05-12 Thread Boris Pelakh
I am in the process of migrating some taxonomies from PoolParty into TopBraid EDG. The simple path is an RDF export of the taxonomy (which is SKOS and dcterms-compliant), and then import the RDF after creating the taxonomy in EDG. I have a couple of questions: 1. Is there an API endpoint