Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Update ForwardRuleReasonerOWLHorst.scala #11

Merged
merged 7 commits into from Jun 28, 2019

Conversation

@Hebaallahibrahim
Copy link
Member

commented Mar 18, 2019

Update: returning inferred graph instead of inferred Axioms.

Hebaallahibrahim added some commits Jan 9, 2019

@LorenzBuehmann
Copy link
Member

left a comment

can be merged

@LorenzBuehmann LorenzBuehmann requested review from LorenzBuehmann and removed request for patrickwestphal Jun 28, 2019

LorenzBuehmann and others added some commits Jun 28, 2019

Merge branch 'develop' into Hebaallahibrahim-patch-1
# Conflicts:
#	sansa-inference-spark/pom.xml
@LorenzBuehmann
Copy link
Member

left a comment

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

4 checks passed

Travis CI - Branch Build Passed
Details
Travis CI - Pull Request Build Passed
Details
continuous-integration/travis-ci/pr The Travis CI build passed
Details
continuous-integration/travis-ci/push The Travis CI build passed
Details

@GezimSejdiu GezimSejdiu deleted the Hebaallahibrahim-patch-1 branch Jul 1, 2019

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
3 participants
You can’t perform that action at this time.