Skip to content

Added Prototype Implementation and Examples for OWL Justification Feature#148

Closed
Balramt wants to merge 10 commits into
developfrom
justification
Closed

Added Prototype Implementation and Examples for OWL Justification Feature#148
Balramt wants to merge 10 commits into
developfrom
justification

Conversation

@Balramt

@Balramt Balramt commented Jun 23, 2025

Copy link
Copy Markdown
Contributor

This pull request introduces a prototype implementation of the create_justification method to support justification generation for OWL ontologies.

  • Initial implementation of the create_justification method for generating minimal justifications (explanations) for entailments.
  • Added test and example files demonstrating usage and validating correctness.

Copy link
Copy Markdown
Collaborator

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

I believe you mistakenly edited this file.
jpype is not necessary here

Comment thread owlapy/owl_reasoner.py


class SyncReasoner(AbstractOWLReasoner):
def create_justifications(self, owl_individuals: Set[OWLNamedIndividual] = None,

Copy link
Copy Markdown
Collaborator

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

The signature of this method is different from the one I suggested here. The save argument is missing.

@alkidbaci

alkidbaci commented Jun 25, 2025

Copy link
Copy Markdown
Collaborator

@Balramt Thank you for the PR. Please check the comments i left you. I edited the test a bit so make sure to pull the changes first. Also please fix the linting problem and all checks should pass before we merge this PR.
PS: Forgot to change the commit message - please ignore it

@Balramt Balramt closed this Jun 25, 2025
@Balramt Balramt deleted the justification branch June 25, 2025 10:15
@Balramt Balramt mentioned this pull request Jun 26, 2025
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants