Ecosyste.ms: Issues

An open API service for providing issue and pull request metadata for open source projects.

GitHub / ontologyportal/sigmakee issues and pull requests

#94 - Add "." between SUMO and fof

Pull Request - State: closed - Opened by kharus over 1 year ago

#93 - Improve performance of SUMOKBtoTPTPKB

Pull Request - State: closed - Opened by kharus over 1 year ago - 1 comment

#92 - Change HashSet to Set in `KBcache.parents`

Pull Request - State: closed - Opened by kharus over 1 year ago

#91 - Change HashSet to Set for `KBcache.explicitDisjoint`

Pull Request - State: closed - Opened by kharus over 1 year ago

#90 - Add graphviz to sumo-ci image

Pull Request - State: closed - Opened by kharus over 1 year ago

#89 - Build image for sumo CI

Pull Request - State: closed - Opened by kharus over 1 year ago

#88 - Add vampire to ci docker image

Pull Request - State: closed - Opened by kharus over 1 year ago

#87 - Remove `StringUtilTest` as it now in SigmaUtils repo

Pull Request - State: closed - Opened by kharus over 1 year ago

#86 - Move vagrant to the attic

Pull Request - State: closed - Opened by kharus over 1 year ago

#85 - Inline short-living variables of `collectArgFromFormulas`

Pull Request - State: closed - Opened by kharus over 1 year ago - 1 comment

#84 - Add idea files to ignore

Pull Request - State: closed - Opened by kharus over 1 year ago

#83 - Reindent ant file

Pull Request - State: closed - Opened by kharus over 1 year ago - 1 comment

#82 - Add ant-based CI pipeline with unit test stage.

Pull Request - State: closed - Opened by kharus over 1 year ago

#81 - Add Docker for CI and a workflow to build and publish

Pull Request - State: closed - Opened by kharus over 1 year ago

#80 - Add Docker for CI and a workflow to build and publish

Pull Request - State: closed - Opened by kharus over 1 year ago - 1 comment

#79 - Add links to jsp files in README

Pull Request - State: closed - Opened by kharus over 1 year ago

#78 - Convert README to markdown

Pull Request - State: closed - Opened by kharus over 1 year ago

#77 - Restore (corrected) LICENSE

Pull Request - State: closed - Opened by stuartpb almost 2 years ago

#75 - Web interface error

Issue - State: closed - Opened by Pruzny about 2 years ago - 2 comments

#74 - Sigmakee has been initializing for 2h

Issue - State: closed - Opened by alkis05 almost 3 years ago - 9 comments

#73 - Problems installing SUMO manually on Ubuntu

Issue - State: closed - Opened by ArunSingh94 about 3 years ago - 12 comments

#72 - Variables not correctly recognized as functions

Issue - State: open - Opened by Regermeister about 3 years ago - 5 comments

#71 - Remove vampire license notice as Vampire changed license to BSD

Pull Request - State: closed - Opened by kharus over 3 years ago

#70 - Bump junit from 4.12 to 4.13.1

Pull Request - State: closed - Opened by dependabot[bot] about 4 years ago
Labels: dependencies

#68 - 14 Unit tests are broken on head

Issue - State: open - Opened by kharus over 4 years ago

#67 - VirusProteinAndCellPart causes error in eprover

Issue - State: open - Opened by kharus over 4 years ago - 5 comments

#65 - Inference

Issue - State: open - Opened by manisabri over 4 years ago - 1 comment

#64 - what parts need to be updated?

Issue - State: closed - Opened by manisabri over 4 years ago - 6 comments

#63 - cleaning and adding readme file

Pull Request - State: closed - Opened by arademaker over 4 years ago - 1 comment

#62 - cache warnings

Issue - State: open - Opened by arademaker over 4 years ago

#61 - inference engine

Issue - State: open - Opened by arademaker over 4 years ago - 1 comment

#60 - InferenceTestSuite

Issue - State: open - Opened by arademaker over 4 years ago - 10 comments

#59 - multiple kb in the config file

Issue - State: closed - Opened by arademaker over 4 years ago - 2 comments

#58 - State of packaging

Issue - State: open - Opened by aindilis over 4 years ago - 1 comment

#57 - MAC OS install

Issue - State: closed - Opened by jmugan over 4 years ago - 8 comments

#56 - axioms with +1 variables in predicate position

Issue - State: open - Opened by arademaker almost 5 years ago

#55 - bug in the cache code

Issue - State: closed - Opened by arademaker almost 5 years ago - 9 comments

#54 - login page redirect for an error page

Issue - State: closed - Opened by arademaker almost 5 years ago - 1 comment

#53 - uniform way to output transformations

Issue - State: open - Opened by arademaker about 5 years ago

#52 - thf: fix the way to load the db

Pull Request - State: closed - Opened by arademaker about 5 years ago - 1 comment

#51 - THF translation is broken

Issue - State: open - Opened by arademaker about 5 years ago - 6 comments

#50 - TPTP/FOF transformation still incomplete

Issue - State: open - Opened by arademaker over 5 years ago - 2 comments

#49 - TPTP transformation showing errors

Issue - State: open - Opened by arademaker over 5 years ago - 1 comment

#48 - CVC4 with TF0 translation

Issue - State: closed - Opened by arademaker over 5 years ago - 8 comments

#47 - TF0 transformation errors and warnings

Issue - State: closed - Opened by arademaker over 5 years ago - 2 comments

#46 - numbers in TPTP/FOF

Issue - State: open - Opened by arademaker over 5 years ago - 1 comment

#45 - TPTP transformation is broken

Issue - State: closed - Opened by arademaker over 5 years ago - 2 comments

#44 - TF0 transformation failed

Issue - State: closed - Opened by arademaker over 5 years ago - 7 comments

#43 - TPTP transformation: can't prove that component is a Predicate

Issue - State: open - Opened by arademaker over 5 years ago - 12 comments

#42 - adding MacOS documentation

Pull Request - State: closed - Opened by arademaker over 5 years ago

#41 - Formula.logicallyEquals is marked as deprecated

Issue - State: closed - Opened by arademaker over 5 years ago - 1 comment

#40 - warning during building with ant

Issue - State: open - Opened by arademaker over 5 years ago - 3 comments

#39 - location of KBs directory is hard coded in java files

Issue - State: open - Opened by arademaker over 5 years ago - 8 comments

#38 - TFO transformation of `minValue`

Issue - State: open - Opened by arademaker over 5 years ago - 4 comments

#35 - Sigmakee docker

Pull Request - State: closed - Opened by anjoletto over 5 years ago

#34 - hardcoded 8080 port on links?

Issue - State: open - Opened by arademaker over 5 years ago - 3 comments

#33 - added method for getting all formulas in which a term is involved

Pull Request - State: closed - Opened by kkalouli almost 6 years ago

#32 - Tomcat no longer at described link

Issue - State: closed - Opened by JelenaMitrovic almost 6 years ago - 3 comments

#31 - Dbpedia sigmakee

Pull Request - State: closed - Opened by ajalagam over 6 years ago

#30 - Dbpedia sigmakee

Pull Request - State: closed - Opened by ajalagam over 6 years ago - 3 comments

#29 - docker failed

Issue - State: closed - Opened by arademaker over 6 years ago - 6 comments

#28 - Some small code cleanup.

Pull Request - State: closed - Opened by colin-infosys over 6 years ago

#27 - Instalation Problems

Issue - State: closed - Opened by ppljs over 6 years ago - 10 comments

#26 - kbCache is null when run through eclipse

Issue - State: closed - Opened by kkalouli about 7 years ago - 10 comments

#25 - Mohit

Pull Request - State: closed - Opened by mohitgupta021 about 7 years ago

#24 - Replace various hardcoded paths

Pull Request - State: closed - Opened by rriegs about 7 years ago - 1 comment

#23 - Pruthvirajsinh c

Pull Request - State: closed - Opened by pruthvirajsinh-c about 7 years ago

#22 - Pruthvirajsinh c

Pull Request - State: closed - Opened by pruthvirajsinh-c about 7 years ago

#21 - Title bar reordering

Issue - State: closed - Opened by msvarny over 7 years ago - 3 comments

#19 - Can't use E to prove (valence causes 2)

Issue - State: open - Opened by jefft0 over 8 years ago - 3 comments

#18 - Can't use E to prove (instance causes Predicate)

Issue - State: closed - Opened by jefft0 over 8 years ago - 5 comments

#17 - dumb question, how to integrate with SUMO?

Issue - State: closed - Opened by jmugan over 8 years ago - 22 comments

#16 - dumb question, how to integrate with SU

Issue - State: closed - Opened by jmugan over 8 years ago

#15 - Port 9090

Pull Request - State: closed - Opened by jefft0 over 8 years ago - 1 comment

#14 - In KBmanager, don't call checkArity if "cache" is "no"

Pull Request - State: closed - Opened by jefft0 over 8 years ago

#13 - Add .gitignore

Pull Request - State: closed - Opened by jefft0 over 8 years ago

#12 - KBmanager.setDefaultAttributes: Make "cache" default "yes".

Pull Request - State: closed - Opened by jefft0 over 8 years ago - 1 comment

#11 - INFO Predicate does not have an arity defined

Issue - State: closed - Opened by jefft0 over 8 years ago - 11 comments

#10 - In getOMWMappingSuffix, use Unicode escapes instead of direct characters.

Pull Request - State: closed - Opened by jefft0 over 8 years ago - 1 comment

#9 - Prenexifier methods missing return statements.

Issue - State: closed - Opened by jefft0 over 8 years ago - 2 comments

#8 - Rename file "*.awk"?

Issue - State: closed - Opened by jefft0 over 8 years ago - 1 comment

#7 - syntax error while reading generated TPTP

Issue - State: closed - Opened by fcbr over 8 years ago - 4 comments

#5 - Setting cache = false in config.xml disables variable arity preprocessing

Issue - State: open - Opened by fcbr over 8 years ago - 6 comments

#4 - Can't use E with SUMO.tptp (TPTP FOL)

Issue - State: closed - Opened by fcbr almost 9 years ago - 3 comments

#3 - Which format to use: TPTP or TPTP FOL?

Issue - State: closed - Opened by fcbr almost 9 years ago - 2 comments

#2 - Can't run "Consistency Check"

Issue - State: open - Opened by fcbr almost 9 years ago - 8 comments

#1 - web/jsp/Manifest.jsp: added Refresh and Reload facilities.

Pull Request - State: closed - Opened by ArtificialMarty about 9 years ago - 1 comment