Users should be able to click on table row and have the corresponding constraint violations highlighted/pointed out in other views.

Hi there,

is your plugin conforming to the current SHACL spec from https://www.w3.org/TR/shacl/ ?

Thanks and kind regards,
Doron

Hi!

I am trying to validate an owl ontolgy (default), that imports an other owl ontology (kavoc). At some point I have the following property shape:

sh:property [
	sh:path kavoc:typeOfDefinition ;
	sh:class kavoc:PsiDefinitionType;
	sh:minCount 1 ;
	sh:maxCount 1 ;
] ;

Now, the instances of the class kavoc:PsiDefinitionType are also defined in the kavoc ontology, and the SHACL engine drops me a validation error: "Value must be an instance of kavoc:PsiDefinitionType". If I move the instances to the default ontology, it works no problem.

The SHACL specification says: "The data graph is expected to include all the ontology axioms related to the data...", so I suppose the SHACL engine ignores any imported triplets. Is this the expected behavior?

Is there any way to include the imported ontology in the validation process?

Thank you in advance!

Regards,

Attila

Provide some predefined constraints used to check against common vocabularies (e.g., FOAF, SKOS, etc.).

Check, if that feature is really feasible.

Hi there,

Does Pellet and/or HermiT infer new RDF triplets based on the Construct rules that are specified in SHACL plugin ? (following the methods specified here https://www.w3.org/TR/shacl-af/#SPARQLRule)

Thanks

I'm creating a revised version of the Pizza tutorial, the extended one here: http://mowl-power.cs.man.ac.uk/protegeowltutorial/resources/ProtegeOWLTutorialP4_v1_3.pdf

I always thought this was the best one but it is a little out of date with the current Protege UI. I also want to add new sections for SPARQL, SWRL, and SHACL. I know the first two very well but am just getting started with SHACL. I added some employees to the Pizza tutorial and then used the existing example in the validator window with ssn as a template to define constraints for employee ssn data properties.

However, then I noticed that there was an example3-data.owl file. I downloaded that and ran the validation. I may just not be understanding how SHACL works but my understanding is that there are separate files for the SHACL shapes. That's what I did with my Pizza example. However, I don't see a shapes file for the example3 owl file and when I looked in the owl file also didn't see any SHACL shapes. But there seems to be constraints about the hasFather property which aren't defined in the sample shapes file that is the default when I start the plugin tab.

I don't understand where the validator is getting those father shape constraints from.

Hi, I'd love to use this plugin, maybe even contribute but there needs to be a license specified so we can determine if it can be used. Therefore can you please add a license to this repository?

Provide a sort of "formular" to create constraints (e.g., https://pbs.twimg.com/media/CLXz-P3UEAAkkPl.png:large).

#3 in the Readme file is a bit unclear. It says, "(optional) Download the owl file from the latest release" but if I go to the latest release I see no OWL file. Is it supposed to be in the JAR file? In the Source file? Please provide a working demo use case.

Provide a web page incl. an API for Protege to fetch predefined constraints from a DB or save them to the DB.

Provide a way to save constraints created by the user (e.g., simply by a pop up to save file manually or saving it directly in Protege).

Is there any document available help me to ues this plugin?
I have found this paper SHACL4P: SHACL constraints validation within Protégé ontology editor, but I have no access to full text.

Show constraint violations in a structured table view with consisting of message, root cause, predicate, etc. rather than the current plain text view.

Ex.: https://pbs.twimg.com/media/CGPr4JpUcAA-4nq.png

When loading the SHACL plugin I get an error within Protege in the constraint tree view.

An error occurred whilst creating the view ClassNotFoundException:
at.ac.tuwien.shacl.plugin.ShaclConstraintTreeViewComponent not found by at.ac.tuwien.shacl.plugin [2 1]

Why?

• I think, SHACL is more about RDF, not OWL.
  And there is a solution which offers RDF support out-of-the box: RDF Protege.
  I think it is a little bit more appropriate platform, then the original OWLAPIv4-based Protege.

• at.ac.tuwien.shacl.plugin.syntax.JenaOwlConverter is actually a bit buggy, inefficient and limited solution (sure, this is obvious).
  There is a RDF-centric OWLAPI-v5 implementation that offers direct reading OWL without any converting.

I think that the described subject could be interesting if not to the authors of this repository,
then at least to those who are faced with the limitations of the classic converters-like solutions.

Thanks for attention

Hi guys, is it possible to express SPARQL-based constraints within SHACL4P?

Currently the undo/redo functionality is implemented so that the text pane needs focus and captures key strokes.

I see two possibilities to improve the user experience:

1. add buttons for undo/redo above the text pane / after the Open/Save/Validate buttons.

2. Protégé has a separate functionality for undo/redo, that is available in the Edit menu. It might be possible to integrate with this, however I fear this could get complicated.

Hi @fekaputra ,
Following a thread at the Protégé List (https://mailman.stanford.edu/pipermail/protege-user/2016-April/004153.html), I was wondering if you can provide a single .jar file and a small documentation explaining how to use the plugin? There are many people interested in using your plugin.

Scrap Turtle Rendering View on the right side of the SHACL Workspace

TTL files are mostly from the old shacl-engine project and may contain outdated syntax.

Hi, I tried to replicate the example in Section 8.1:
https://w3c.github.io/shacl/shacl-af/
to try out sh:rule in Protege and the SHACL plugin (with the Pellet reasoner running).

Unfortunately, I could not replicate the results (that is, a new axiom is inferred for the ex:SquareRectangle)

I used the below ontology/data file and the first example shapes graph (in green) in Section 8.1

Any ideas??

Cheers - Renato

=========

@Prefix rdf: http://www.w3.org/1999/02/22-rdf-syntax-ns# .
@Prefix xsd: http://www.w3.org/2001/XMLSchema# .
@Prefix rdfs: http://www.w3.org/2000/01/rdf-schema# .
@Prefix ex: http://www.example.org/# .

ex:onto rdf:type owl:Ontology ;
rdfs:label "Test" .

ex:Rectangle rdf:type owl:Class ;
rdfs:label "Rectangle" .

ex:height rdf:type owl:DatatypeProperty ;
rdfs:range xsd:integer .

ex:width rdf:type owl:DatatypeProperty ;
rdfs:range xsd:integer .

ex:InvalidRectangle
a ex:Rectangle .

ex:NonSquareRectangle
a ex:Rectangle ;
ex:height 2 ;
ex:width 3 .

ex:SquareRectangle
a ex:Rectangle ;
ex:height 4 ;
ex:width 4 .

When working with multiple Protégé windows (i.e. open one ontology, then open second one and select "No" to open that second one in a new window) the validation results are shared across both windows / clicking validate in one window updates the table in the other window as well.

NOTE: I have not debugged this yet, but want to record the behavior as a reminder to do so (or for anybody else who might want to investigate).
I assume that the same ShaclValidation Observable is used from both ShaclConstraintViolationPanels.
The described issue might not be the only problem when working with multiple windows.