Issues
- 73
Release ELK with support of OWL API 5
#48 opened by matentzn - 13
Using multiple inference types
#62 opened by MajlindaLlugiqi - 1
Version 0.5
#68 opened by mosfet80 - 7
EquivalentClasses with DataHasValue
#61 opened by rwynne - 12
ELK 0.5 apparently erroneously claims that it implements `OBJECT_PROPERTY_HIERARCHY` InferenceType
#66 opened by matentzn - 1
java.lang.NoSuchMethodError: org.semanticweb.owlapi.model.OWLObjectSomeValuesFrom.getFiller()L
#65 opened by kahunmedicaltal - 3
Disable ELK Warnings in Protege?
#63 opened by rwynne - 1
Significant figures in numeric concrete domains
#60 opened by rwynne - 8
- 5
OWLManager exception now in 0.5.0-SNAPSHOT
#56 opened by rwynne - 4
Inquiry on logging
#57 opened by rwynne - 5
- 11
implement objectUnionOf
#54 opened by goodb - 2
Empty explanation bug with ELK 0.5 in Protege.
#53 opened by matentzn - 7
Evictor.Builder expected in the config object?
#52 opened by naditina - 7
- 2
- 5
ELK 0.4.3: Wrong (?) behaviour of getSubClasses
#51 opened by matentzn - 1
Support OWL API v.5
#45 opened by ykazakov - 0
- 2
- 0
- 5
OWL Features Supported by ELK - Wiki not up to date; Which parts of OWL-EL are currently not supported?
#44 opened by gnu9 - 0
Grammar incorrectly defined for DataOneOf
#43 opened by gnu9 - 0
- 1
strange dependency
#40 opened by stiv-yakovenko - 2
Ability to create explanations with OWLAPI
#39 opened by reality - 4
- 6
- 1
Exception in thread "http-bio-8080-Acceptor-0" java.lang.OutOfMemoryError: unable to create new native thread
#37 opened by spolavar - 1
- 2
EL±± : ELK complains about only allowing positive ObjectComplementOf... when using only positive oco
#32 opened by GoogleCodeExporter - 2
ElkReasoner VersionInfo breaks for -SNAPSHOT versions. Also, get top/bottom data/object property node methods not implemented
#33 opened by GoogleCodeExporter - 0
- 1
EntryCollection initialises this.underloadFactor with the parameter overrloadFactor
#31 opened by GoogleCodeExporter - 9
reasoner never finishes query
#28 opened by GoogleCodeExporter - 1
OWL API reasoner method is not implemented: getBottomObjectPropertyNode()
#29 opened by GoogleCodeExporter - 4
- 2
- 1
- 3
- 2
- 2
Switching from log4j to SLF4j
#21 opened by GoogleCodeExporter - 3
- 3
java.lang.InterruptedException with ELK 0.3.2 + Protege 4.1 + Java 7 + Apache Felix 4.2.0
#19 opened by GoogleCodeExporter - 2
Ontology changes after a buffering reasoner is created are loaded without flush()
#20 opened by GoogleCodeExporter - 2
Nested Inverse properties are not handled correctly by OWL API converter
#18 opened by GoogleCodeExporter - 2
- 3
- 1
NullPointerException during classification when role chains axioms contain inverse roles
#15 opened by GoogleCodeExporter