liveontologies elk-reasoner issues

liveontologies / elk-reasoner

A Java-based OWL 2 EL reasoner

Apache License 2.0

94 stars 26 forks source link

issues

Newest

Newest Most commented Recently updated Oldest Least commented Least recently updated

'direct' subclasses are not included when 'all' subclasses are requested for anonymous class expressions

#70 balhoff opened 3 months ago
1
Change org name in order to make a release on Maven Central.

#69 balhoff closed 5 months ago
1
Version 0.5

#68 mosfet80 closed 6 months ago
1
fix vulnerabilities

#67 mosfet80 closed 5 months ago
0
ELK 0.5 apparently erroneously claims that it implements `OBJECT_PROPERTY_HIERARCHY` InferenceType

#66 matentzn closed 1 year ago
12
java.lang.NoSuchMethodError: org.semanticweb.owlapi.model.OWLObjectSomeValuesFrom.getFiller()L

#65 kahunmedicaltal closed 1 year ago
1
Bump logback-core from 1.2.3 to 1.2.9

#64 dependabot[bot] opened 1 year ago
0
Disable ELK Warnings in Protege?

#63 rwynne closed 1 year ago
3
Using multiple inference types

#62 MajlindaLlugiqi closed 6 months ago
13
EquivalentClasses with DataHasValue

#61 rwynne closed 6 months ago
7
Significant figures in numeric concrete domains

#60 rwynne opened 3 years ago
1
Bump junit from 4.12 to 4.13.1

#59 dependabot[bot] closed 3 years ago
1
Protege console: plugin document could not be loaded due to a network error

#58 rwynne opened 5 years ago
8
Inquiry on logging

#57 rwynne closed 5 years ago
4
OWLManager exception now in 0.5.0-SNAPSHOT

#56 rwynne closed 5 years ago
5
ELK 0.5-SNAPSHOT throws error when initiated with Protege 5.5

#55 rsgoncalves closed 6 years ago
5
implement objectUnionOf

#54 goodb opened 6 years ago
11
Empty explanation bug with ELK 0.5 in Protege.

#53 matentzn closed 6 years ago
2
Evictor.Builder expected in the config object?

#52 naditina opened 6 years ago
7
ELK 0.4.3: Wrong (?) behaviour of getSubClasses

#51 matentzn closed 6 years ago
5
ELK 0.4.3 does not seem to cache calls to getSubclasses()

#50 matentzn closed 6 years ago
2
OWLReasoner.getReasonerVersion() causes NumberFormatException

#49 matentzn closed 6 years ago
7
Release ELK with support of OWL API 5

#48 matentzn opened 6 years ago
78
Check violations of global restrictions for OWL EL profile

#47 ykazakov opened 7 years ago
0
Warn about owl:topObjectProperty in negative positions

#46 ykazakov opened 7 years ago
0
Support OWL API v.5

#45 ykazakov closed 7 years ago
1
OWL Features Supported by ELK - Wiki not up to date; Which parts of OWL-EL are currently not supported?

#44 gnu9 closed 7 years ago
5
Grammar incorrectly defined for DataOneOf

#43 gnu9 closed 7 years ago
0
Reduce the number of different distribution formats

#42 ykazakov opened 7 years ago
0
Extension for protege-proof-based-justifications prover extension point

#41 saarus72 closed 7 years ago
0
strange dependency

#40 stiv-yakovenko closed 7 years ago
1
Ability to create explanations with OWLAPI

#39 reality closed 8 years ago
2
NullPointer while classifying the EL fragment of galen

#38 naditina opened 8 years ago
4
Exception in thread "http-bio-8080-Acceptor-0" java.lang.OutOfMemoryError: unable to create new native thread

#37 spolavar closed 8 years ago
1
java.lang.OutOfMemoryError: unable to create new native thread

#36 JieyingChenChen opened 8 years ago
6
NullPointer Exception when classifying FMA

#35 GoogleCodeExporter opened 8 years ago
1
Lemma elimination introduces duplicate inferences

#34 GoogleCodeExporter opened 8 years ago
0
ElkReasoner VersionInfo breaks for -SNAPSHOT versions. Also, get top/bottom data/object property node methods not implemented

#33 GoogleCodeExporter opened 8 years ago
2
EL±± : ELK complains about only allowing positive ObjectComplementOf... when using only positive oco

#32 GoogleCodeExporter closed 8 years ago
2
EntryCollection initialises this.underloadFactor with the parameter overrloadFactor

#31 GoogleCodeExporter closed 8 years ago
1
ELK does not support AnonymousIndividual

#30 GoogleCodeExporter closed 7 years ago
2
OWL API reasoner method is not implemented: getBottomObjectPropertyNode()

#29 GoogleCodeExporter opened 8 years ago
1
reasoner never finishes query

#28 GoogleCodeExporter opened 8 years ago
9
Class loading exception in Protege 5 and Windows 7

#27 GoogleCodeExporter closed 8 years ago
4
Compute explanations using ELK with owl api

#26 GoogleCodeExporter closed 8 years ago
1
hash code 'comment' at end of taxonomy file breaks OWL parsers

#25 GoogleCodeExporter closed 8 years ago
2
Incorrect direct subclasses of owl:Thing

#24 GoogleCodeExporter closed 8 years ago
2
Incomplete clean up of elk internal class expressions placeholders

#23 GoogleCodeExporter closed 8 years ago
3
ELK crashes when encountering SWRL rule

#22 GoogleCodeExporter closed 8 years ago
3
Switching from log4j to SLF4j

#21 GoogleCodeExporter closed 8 years ago
2