Skip to content

Issues: liveontologies/elk-reasoner

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.

Sign up for GitHub

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

19 Open 46 Closed
19 Open 46 Closed
Author
Filter by author
Loading
Label
Filter by label
Loading
Use alt + click/return to exclude labels
or ⇧ + click/return for logical OR
Projects
Filter by project
Loading
Milestones
Filter by milestone
Loading
Assignee
Filter by who’s assigned
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Issues list

'direct' subclasses are not included when 'all' subclasses are requested for anonymous class expressions
#70 opened Jun 22, 2024 by balhoff
1
Significant figures in numeric concrete domains
#60 opened Jul 22, 2021 by rwynne
1
Protege console: plugin document could not be loaded due to a network error
#58 opened May 13, 2019 by rwynne
8
implement objectUnionOf
#54 opened Jun 18, 2018 by goodb
11
Evictor.Builder expected in the config object?
#52 opened May 13, 2018 by naditina
7
Release ELK with support of OWL API 5
#48 opened Jan 22, 2018 by matentzn
78
Check violations of global restrictions for OWL EL profile
#47 opened Jul 27, 2017 by ykazakov
Warn about owl:topObjectProperty in negative positions
#46 opened Jul 27, 2017 by ykazakov
Reduce the number of different distribution formats
#42 opened Apr 6, 2017 by ykazakov
NullPointer while classifying the EL fragment of galen
#38 opened Aug 22, 2016 by naditina
4
java.lang.OutOfMemoryError: unable to create new native thread
#36 opened Apr 7, 2016 by JieyingChenChen
6
NullPointer Exception when classifying FMA auto-migrated Priority-Low Type-Defect
#35 opened Oct 16, 2015 by GoogleCodeExporter
1
Lemma elimination introduces duplicate inferences auto-migrated Priority-Medium Type-Defect
#34 opened Oct 16, 2015 by GoogleCodeExporter
ElkReasoner VersionInfo breaks for -SNAPSHOT versions. Also, get top/bottom data/object property node methods not implemented auto-migrated Priority-Medium Type-Defect
#33 opened Oct 16, 2015 by GoogleCodeExporter
2
OWL API reasoner method is not implemented: getBottomObjectPropertyNode() auto-migrated Priority-Medium Type-Defect
#29 opened Oct 16, 2015 by GoogleCodeExporter
1
reasoner never finishes query auto-migrated Priority-Medium Type-Defect
#28 opened Oct 16, 2015 by GoogleCodeExporter
9
Add support for DifferentIndividuals axioms 0.5 auto-migrated Priority-Medium Type-Enhancement
#13 opened Oct 16, 2015 by GoogleCodeExporter
1
Missing Implementation of OWL API Reasoning Methods 0.5 auto-migrated Priority-Low Type-Enhancement
#11 opened Oct 16, 2015 by GoogleCodeExporter
4
Datatype support 0.5 auto-migrated Priority-Medium Type-Enhancement
#8 opened Oct 16, 2015 by GoogleCodeExporter
2
ProTip! Type g p on any issue or pull request to go back to the pull request listing page.