matthewhorridge owlexplanation issues - Githubissues

matthewhorridge / owlexplanation

An API and reference implementation for generating justifications for entailments in OWL ontologies

GNU Lesser General Public License v3.0

19 stars 9 forks source link

issues

Newest

Newest Most commented Recently updated Oldest Least commented Least recently updated

Maven dependency is not available.

#10 reeshabhranjan opened 4 years ago
0
Pellet reasoner doesn't throw violation

#9 hariny19 opened 5 years ago
1
Where is the source for the Maven package 5.0.0?

#8 fcbr opened 6 years ago
1
Hard coded path in SatisfiabilityEntailmentChecker

#7 tudorache closed 5 years ago
1
Update to OWL API 3.5.3

#6 matthewhorridge closed 8 years ago
0
Update to OWLAPI 4.0.2

#5 ignazio1977 closed 9 years ago
0
Should this repo be part of owlapi (or owlapitools)?

#4 sesuncedu opened 9 years ago
3
Change owlexplanation pom.xml

#3 sesuncedu closed 9 years ago
1
Add imports to main page example

#2 ignazio1977 closed 10 years ago
0
Dependency for the telemetry library is incorrect

#1 matthewhorridge closed 10 years ago
0