Skip to content
This repository was archived by the owner on Oct 8, 2020. It is now read-only.

Update ForwardRuleReasonerOWLHorst.scala #11

Merged
merged 7 commits into from
Jun 28, 2019

Conversation

Hebaallahibrahim
Copy link
Member

Update: returning inferred graph instead of inferred Axioms.

Copy link
Member

@LorenzBuehmann LorenzBuehmann left a comment

Choose a reason for hiding this comment

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

can be merged

@LorenzBuehmann LorenzBuehmann requested review from LorenzBuehmann and removed request for patrickwestphal June 28, 2019 08:24
Copy link
Member

@LorenzBuehmann LorenzBuehmann left a comment

Choose a reason for hiding this comment

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

Returns all axioms now for RDFS and OWL Horst reasoners, thus, can be merged now

@LorenzBuehmann LorenzBuehmann merged commit 0f9741f into develop Jun 28, 2019
@GezimSejdiu GezimSejdiu deleted the Hebaallahibrahim-patch-1 branch July 1, 2019 08:50
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants