aifargonos2 elk-reasoner issues

aifargonos2 / elk-reasoner

Automatically exported from code.google.com/p/elk-reasoner

Apache License 2.0

0 stars 0 forks source link

issues

Newest

Newest Most commented Recently updated Oldest Least commented Least recently updated

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 opened 8 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
Ontology changes after a buffering reasoner is created are loaded without flush()

#20 GoogleCodeExporter closed 8 years ago
2
java.lang.InterruptedException with ELK 0.3.2 + Protege 4.1 + Java 7 + Apache Felix 4.2.0

#19 GoogleCodeExporter closed 8 years ago
3
Nested Inverse properties are not handled correctly by OWL API converter

#18 GoogleCodeExporter closed 8 years ago
2
Checking satisfiability of complex concepts

#17 GoogleCodeExporter closed 8 years ago
3
java.lang.OutOfMemoryError: Java heap space

#16 GoogleCodeExporter closed 8 years ago
2
NullPointerException during classification when role chains axioms contain inverse roles

#15 GoogleCodeExporter closed 8 years ago
1
Warning "Ignoring the change not applicable to the current onttolgy: + change"

#14 GoogleCodeExporter closed 8 years ago
5
Add support for DifferentIndividuals axioms

#13 GoogleCodeExporter opened 8 years ago
1
the location of examples in the owlapi-library distribution package is not as described in the README.txt file

#12 GoogleCodeExporter closed 8 years ago
1
Missing Implementation of OWL API Reasoning Methods

#11 GoogleCodeExporter opened 8 years ago
4
Querying with complex class expressions

#10 GoogleCodeExporter closed 8 years ago
4
Incremental reasoning

#9 GoogleCodeExporter closed 8 years ago
2
Datatype support

#8 GoogleCodeExporter opened 8 years ago
2
NullPointerException during the creation of an ELK reasoner

#7 GoogleCodeExporter closed 8 years ago
2
NullPointerException thrown in ElkObjectMinCardinalityImpl.java line 50

#6 GoogleCodeExporter closed 8 years ago
2
Incorrect tokenization of IRIs containing reserved words

#5 GoogleCodeExporter closed 8 years ago
2
Grammar incorrectly defined for non-negative integers

#4 GoogleCodeExporter closed 8 years ago
3
Grammar incorrectly defined for ObjectOneOf

#3 GoogleCodeExporter closed 8 years ago
2
ELK does not close threads in thread pool when OWLReasoner.dispose() is called

#2 GoogleCodeExporter closed 8 years ago
1
NullPointerException in ElkReasoner.java line 479

#1 GoogleCodeExporter closed 8 years ago
1