[SPIN API]

[Eric Leão]

Hello, good morning everyone. I'm trying to use the SPIN API, but I'm new to Java and I'm having some difficulties. I believe it may be due to the fact that it is an old and no longer supported API. Maybe my questions will be resolved if I use another version of Java (I'm using JDK 17), and, if this is the case, please let me know. If not, I will send my questions here:

1 - Practically all packages in 'src' have import problems. - 'The declared package "org.spinrdf.arq" does not match the expected package "main.java.org.spinrdf.arq'. This can be resolved relatively simply by changing all packages that have the wrong path to the correct path. However, there are many files with many paths. Is there any way to make this change, or set it in some way so that all these changes are not necessary?

2 - The second problem has to do with the fact that many classes in src-examples cannot be resolved. Maybe this has to do with the previous error and, by fixing it, it would now be possible to run the examples that are in the API.

Thank you in advance for your collaboration and I await responses.

[Holger Knublauch]

Hi Eric,

as you may have guessed, we no longer support the SPIN API.

The SHACL API is a more modern, and more standard-aligned approach with similar capabilities.

Holger

On 15 Feb 2024, at 1:19 pm, Eric Leão <ericl...@gmail.com> wrote:

Hello, good morning everyone. I'm trying to use the SPIN API, but I'm new to Java and I'm having some difficulties. I believe it may be due to the fact that it is an old and no longer supported API. Maybe my questions will be resolved if I use another version of Java (I'm using JDK 17), and, if this is the case, please let me know. If not, I will send my questions here:

1 - Practically all packages in 'src' have import problems. - 'The declared package "org.spinrdf.arq" does not match the expected package "main.java.org.spinrdf.arq'. This can be resolved relatively simply by changing all packages that have the wrong path to the correct path. However, there are many files with many paths. Is there any way to make this change, or set it in some way so that all these changes are not necessary?

<1-problem.png>

2 - The second problem has to do with the fact that many classes in src-examples cannot be resolved. Maybe this has to do with the previous error and, by fixing it, it would now be possible to run the examples that are in the API.

<2-problem.png>

Thank you in advance for your collaboration and I await responses.

--
The topics of this mailing list include TopBraid EDG and related technologies such as SHACL.
To post to this group, send email to topbrai...@googlegroups.com
---
You received this message because you are subscribed to the Google Groups "TopBraid Suite Users" group.
To unsubscribe from this group and stop receiving emails from it, send an email to topbraid-user...@googlegroups.com.
To view this discussion on the web visit https://groups.google.com/d/msgid/topbraid-users/35501e33-e65a-4ab2-b21c-89a8261ae963n%40googlegroups.com.
<2-problem.png><1-problem.png>

[Eric Leão]

Thanks for the answer. Would it be possible to generate inferences from an ontology written in SPIN using this API? If it is not possible, would it be possible, in an "automated" way, to translate the ontology from SPIN to SHACL? The ontology was generated with TopBRAID and today I can only generate inferences using the TopSPIN inference engine. Thank you in advance and I look forward to hearing from you.

To view this discussion on the web visit https://groups.google.com/d/msgid/topbraid-users/12E1F4F6-1470-4A45-AB22-110E5479604B%40topquadrant.com.

[Holger Knublauch]

No, SHACL uses its own inferencing language, and while inspired by SPIN it uses a different syntax. I don't have an automated converter.

Holger

To view this discussion on the web visit https://groups.google.com/d/msgid/topbraid-users/CAOwxNPBM8SVNdyAEp-YYg%2B0pLtj0ptiQOfX32G%2BtgmcpsYMxkA%40mail.gmail.com.