{"id":32991265,"url":"https://github.com/Galigator/openllet","last_synced_at":"2025-11-16T07:00:45.398Z","repository":{"id":9033655,"uuid":"50143547","full_name":"Galigator/openllet","owner":"Galigator","description":"Openllet is an OWL 2 reasoner in Java, build on top of Pellet.","archived":false,"fork":false,"pushed_at":"2025-08-04T13:21:31.000Z","size":62428,"stargazers_count":108,"open_issues_count":42,"forks_count":28,"subscribers_count":12,"default_branch":"integration","last_synced_at":"2025-08-04T17:33:08.053Z","etag":null,"topics":["inference","java","jena","logic","owl","owl-api","owl2","reasoner","semantic"],"latest_commit_sha":null,"homepage":"https://www.w3.org/TR/owl2-primer/","language":"Java","has_issues":true,"has_wiki":null,"has_pages":null,"mirror_url":null,"source_name":null,"license":"other","status":null,"scm":"git","pull_requests_enabled":true,"icon_url":"https://github.com/Galigator.png","metadata":{"files":{"readme":"README.md","changelog":null,"contributing":null,"funding":null,"license":"LICENSE.txt","code_of_conduct":null,"threat_model":null,"audit":null,"citation":null,"codeowners":null,"security":null,"support":null,"governance":null,"roadmap":null,"authors":null,"dei":null,"publiccode":null,"codemeta":null,"zenodo":null}},"created_at":"2016-01-21T23:20:19.000Z","updated_at":"2025-08-04T13:21:35.000Z","dependencies_parsed_at":"2022-08-07T05:00:25.946Z","dependency_job_id":"93d36460-5831-4fc7-8b87-6781a5d48305","html_url":"https://github.com/Galigator/openllet","commit_stats":{"total_commits":606,"total_committers":20,"mean_commits":30.3,"dds":0.6204620462046204,"last_synced_commit":"3abccbfc0eec54233590cd4149055b78351e374d"},"previous_names":[],"tags_count":10,"template":false,"template_full_name":null,"purl":"pkg:github/Galigator/openllet","repository_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/Galigator%2Fopenllet","tags_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/Galigator%2Fopenllet/tags","releases_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/Galigator%2Fopenllet/releases","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/Galigator%2Fopenllet/manifests","owner_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/Galigator","download_url":"https://codeload.github.com/Galigator/openllet/tar.gz/refs/heads/integration","sbom_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/Galigator%2Fopenllet/sbom","scorecard":{"id":54549,"data":{"date":"2025-08-11","repo":{"name":"github.com/Galigator/openllet","commit":"b31613c77f65ddc9fb0c10a84fe7959ac97b721a"},"scorecard":{"version":"v5.2.1-40-gf6ed084d","commit":"f6ed084d17c9236477efd66e5b258b9d4cc7b389"},"score":3.3,"checks":[{"name":"Maintained","score":5,"reason":"6 commit(s) and 0 issue activity found in the last 90 days -- score normalized to 5","details":null,"documentation":{"short":"Determines if the project is \"actively maintained\".","url":"https://github.com/ossf/scorecard/blob/f6ed084d17c9236477efd66e5b258b9d4cc7b389/docs/checks.md#maintained"}},{"name":"Packaging","score":-1,"reason":"packaging workflow not detected","details":["Warn: no GitHub/GitLab publishing workflow detected."],"documentation":{"short":"Determines if the project is published as a package that others can easily download, install, easily update, and uninstall.","url":"https://github.com/ossf/scorecard/blob/f6ed084d17c9236477efd66e5b258b9d4cc7b389/docs/checks.md#packaging"}},{"name":"Code-Review","score":2,"reason":"Found 3/11 approved changesets -- score normalized to 2","details":null,"documentation":{"short":"Determines if the project requires human code review before pull requests (aka merge requests) are merged.","url":"https://github.com/ossf/scorecard/blob/f6ed084d17c9236477efd66e5b258b9d4cc7b389/docs/checks.md#code-review"}},{"name":"Dangerous-Workflow","score":-1,"reason":"no workflows found","details":null,"documentation":{"short":"Determines if the project's GitHub Action workflows avoid dangerous patterns.","url":"https://github.com/ossf/scorecard/blob/f6ed084d17c9236477efd66e5b258b9d4cc7b389/docs/checks.md#dangerous-workflow"}},{"name":"Token-Permissions","score":-1,"reason":"No tokens found","details":null,"documentation":{"short":"Determines if the project's workflows follow the principle of least privilege.","url":"https://github.com/ossf/scorecard/blob/f6ed084d17c9236477efd66e5b258b9d4cc7b389/docs/checks.md#token-permissions"}},{"name":"CII-Best-Practices","score":0,"reason":"no effort to earn an OpenSSF best practices badge detected","details":null,"documentation":{"short":"Determines if the project has an OpenSSF (formerly CII) Best Practices Badge.","url":"https://github.com/ossf/scorecard/blob/f6ed084d17c9236477efd66e5b258b9d4cc7b389/docs/checks.md#cii-best-practices"}},{"name":"Security-Policy","score":0,"reason":"security policy file not detected","details":["Warn: no security policy file detected","Warn: no security file to analyze","Warn: no security file to analyze","Warn: no security file to analyze"],"documentation":{"short":"Determines if the project has published a security policy.","url":"https://github.com/ossf/scorecard/blob/f6ed084d17c9236477efd66e5b258b9d4cc7b389/docs/checks.md#security-policy"}},{"name":"Binary-Artifacts","score":9,"reason":"binaries present in source code","details":["Warn: binary detected: module-owlapi/src/main/java/openllet/owlapi/parser/javacc-6.1.2.jar:1"],"documentation":{"short":"Determines if the project has generated executable (binary) artifacts in the source repository.","url":"https://github.com/ossf/scorecard/blob/f6ed084d17c9236477efd66e5b258b9d4cc7b389/docs/checks.md#binary-artifacts"}},{"name":"Pinned-Dependencies","score":-1,"reason":"no dependencies found","details":null,"documentation":{"short":"Determines if the project has declared and pinned the dependencies of its build process.","url":"https://github.com/ossf/scorecard/blob/f6ed084d17c9236477efd66e5b258b9d4cc7b389/docs/checks.md#pinned-dependencies"}},{"name":"License","score":9,"reason":"license file detected","details":["Info: project has a license file: LICENSE.txt:0","Warn: project license file does not contain an FSF or OSI license."],"documentation":{"short":"Determines if the project has defined a license.","url":"https://github.com/ossf/scorecard/blob/f6ed084d17c9236477efd66e5b258b9d4cc7b389/docs/checks.md#license"}},{"name":"Signed-Releases","score":0,"reason":"Project has not signed or included provenance with any releases.","details":["Warn: release artifact 2.6.5 not signed: https://api.github.com/repos/Galigator/openllet/releases/20319728","Warn: release artifact 2.6.3 not signed: https://api.github.com/repos/Galigator/openllet/releases/8628135","Warn: release artifact 2.6.2 not signed: https://api.github.com/repos/Galigator/openllet/releases/7922403","Warn: release artifact 2.6.1 not signed: https://api.github.com/repos/Galigator/openllet/releases/5929905","Warn: release artifact 2.5.0 not signed: https://api.github.com/repos/Galigator/openllet/releases/3185001","Warn: release artifact 2.6.5 does not have provenance: https://api.github.com/repos/Galigator/openllet/releases/20319728","Warn: release artifact 2.6.3 does not have provenance: https://api.github.com/repos/Galigator/openllet/releases/8628135","Warn: release artifact 2.6.2 does not have provenance: https://api.github.com/repos/Galigator/openllet/releases/7922403","Warn: release artifact 2.6.1 does not have provenance: https://api.github.com/repos/Galigator/openllet/releases/5929905","Warn: release artifact 2.5.0 does not have provenance: https://api.github.com/repos/Galigator/openllet/releases/3185001"],"documentation":{"short":"Determines if the project cryptographically signs release artifacts.","url":"https://github.com/ossf/scorecard/blob/f6ed084d17c9236477efd66e5b258b9d4cc7b389/docs/checks.md#signed-releases"}},{"name":"Fuzzing","score":0,"reason":"project is not fuzzed","details":["Warn: no fuzzer integrations found"],"documentation":{"short":"Determines if the project uses fuzzing.","url":"https://github.com/ossf/scorecard/blob/f6ed084d17c9236477efd66e5b258b9d4cc7b389/docs/checks.md#fuzzing"}},{"name":"Branch-Protection","score":0,"reason":"branch protection not enabled on development/release branches","details":["Warn: branch protection not enabled for branch 'integration'"],"documentation":{"short":"Determines if the default and release branches are protected with GitHub's branch protection settings.","url":"https://github.com/ossf/scorecard/blob/f6ed084d17c9236477efd66e5b258b9d4cc7b389/docs/checks.md#branch-protection"}},{"name":"SAST","score":0,"reason":"SAST tool is not run on all commits -- score normalized to 0","details":["Warn: 0 commits out of 23 are checked with a SAST tool"],"documentation":{"short":"Determines if the project uses static code analysis.","url":"https://github.com/ossf/scorecard/blob/f6ed084d17c9236477efd66e5b258b9d4cc7b389/docs/checks.md#sast"}},{"name":"Vulnerabilities","score":10,"reason":"0 existing vulnerabilities detected","details":null,"documentation":{"short":"Determines if the project has open, known unfixed vulnerabilities.","url":"https://github.com/ossf/scorecard/blob/f6ed084d17c9236477efd66e5b258b9d4cc7b389/docs/checks.md#vulnerabilities"}}]},"last_synced_at":"2025-08-15T00:24:34.533Z","repository_id":9033655,"created_at":"2025-08-15T00:24:34.533Z","updated_at":"2025-08-15T00:24:34.533Z"},"host":{"name":"GitHub","url":"https://github.com","kind":"github","repositories_count":284672648,"owners_count":27044736,"icon_url":"https://github.com/github.png","version":null,"created_at":"2022-05-30T11:31:42.601Z","updated_at":"2022-07-04T15:15:14.044Z","status":"online","status_checked_at":"2025-11-16T02:00:05.974Z","response_time":65,"last_error":null,"robots_txt_status":"success","robots_txt_updated_at":"2025-07-24T06:49:26.215Z","robots_txt_url":"https://github.com/robots.txt","online":true,"can_crawl_api":true,"host_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub","repositories_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories","repository_names_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repository_names","owners_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners"}},"keywords":["inference","java","jena","logic","owl","owl-api","owl2","reasoner","semantic"],"created_at":"2025-11-13T09:00:33.299Z","updated_at":"2025-11-16T07:00:45.391Z","avatar_url":"https://github.com/Galigator.png","language":"Java","readme":"Openllet: An Open Source OWL DL reasoner for Java\r\n-----------------------------------------------\r\n\r\n\u003c!-- No support for java 17 [![Codeship Build Status](https://codeship.com/projects/1fe60a20-f84b-0134-33ee-76e4f316aab3/status?branch=integration)](https://app.codeship.com/projects/210924) --\u003e\r\n[![CircleCI](https://circleci.com/gh/Galigator/openllet/tree/integration.svg?style=svg)](https://circleci.com/gh/Galigator/openllet/tree/integration)\r\n[![Gitter](https://badges.gitter.im/Join%20Chat.svg)](https://gitter.im/Galigator/pelletEvolution?utm_source=badge\u0026utm_medium=badge\u0026utm_campaign=pr-badge\u0026utm_content=badge)\r\n[![Twitter](https://img.shields.io/badge/twitter-openllet-blue.svg)](https://twitter.com/openllet)\r\n[![Codacy Badge](https://api.codacy.com/project/badge/Grade/d1acfdbe2c194252a311e223cd94e64e)](https://www.codacy.com/app/sejourne_kevin/openllet?utm_source=github.com\u0026amp;utm_medium=referral\u0026amp;utm_content=Galigator/openllet\u0026amp;utm_campaign=Badge_Grade)\r\n\u003c!--\u003ca href=\"https://www.versioneye.com/user/projects/5832fff3e7cea00029198b38\"\u003e\u003cimg src=\"https://www.versioneye.com/user/projects/5832fff3e7cea00029198b38/badge.svg?style=flat\"/\u003e\u003c/a\u003e--\u003e\r\n[![Maven Central](https://maven-badges.herokuapp.com/maven-central/com.github.galigator.openllet/openllet-owlapi/badge.svg)](https://maven-badges.herokuapp.com/maven-central/com.github.galigator.openllet/openllet-owlapi)\r\n\r\n\r\nOpenllet is an OWL 2 DL reasoner: \r\n--------------------------------\r\n\r\nOpenllet can be used with [Jena](https://jena.apache.org/) or [OWL-API](http://owlcs.github.io/owlapi/) libraries. Openllet provides functionality to check consistency of ontologies, compute the classification hierarchy, \r\nexplain inferences, and answer SPARQL queries.\r\n\r\nFeel free to fork this repository and submit pull requests if you want to see changes, new features, etc. in Openllet.\r\nWe need a lot more tests, send your samples if you can.\r\n\r\nThere are some code samples in the [examples/](https://github.com/Galigator/openllet/tree/integration/examples) directory.\r\nIssues are on [Github](http://github.com/galigator/openllet/issues).\r\nPellet community is on [pellet-users mailing list](https://groups.google.com/forum/?fromgroups#!forum/pellet-users).\r\n\r\n\r\nOpenllet 2.6.X:\r\n-----------\r\n\r\n* Refactor modules dependencies.\r\n* Enforce interface usage in the core system.\r\n* Lighter hash functions and less conflict when use in multi-thread environnement.\r\n* since 2.6.5 : full java 11 support, java 11 is a requirement.\r\n\r\n### Migration :\r\n\r\n* lots of com.clarkparsia.* / com.mindswap.* are refactored into openllet.* to avoid conflicts and have typing changed a lot.\r\n* dependencies on modern libs.\r\n\r\n```xml\r\n\t\u003cdependency\u003e\r\n\t\t\u003cgroupId\u003ecom.github.galigator.openllet\u003c/groupId\u003e\r\n\t\t\u003cartifactId\u003eopenllet-owlapi\u003c/artifactId\u003e\r\n\t\t\u003cversion\u003e2.6.5\u003c/version\u003e\r\n\t\u003c/dependency\u003e\r\n\t\u003cdependency\u003e\r\n\t\t\u003cgroupId\u003ecom.github.galigator.openllet\u003c/groupId\u003e\r\n\t\t\u003cartifactId\u003eopenllet-jena\u003c/artifactId\u003e\r\n\t\t\u003cversion\u003e2.6.5\u003c/version\u003e\r\n\t\u003c/dependency\u003e\r\n```\r\n\r\nNB, the Protege plugin need a Protege that work with an 5.1.X version of the OWL-API, so the main branch of Protege isn't compatible with Openllet.\r\n\r\n### Roadmap :\r\n\r\n* Fullify strong typing in openllet core (2.7.X).\r\n* Add support for rdf-database reasoning (2.8.X).\r\n\r\n### Examples :\r\n\r\nPlay with the Owl-Api:\r\n```java\r\ntry (final OWLManagerGroup group = new OWLManagerGroup())\r\n{\r\n\tfinal OWLOntologyID ontId = OWLHelper.getVersion(IRI.create(\"http://myOnotology\"), 1.0);\r\n\tfinal OWLHelper owl = new OWLGenericTools(group, ontId, true);\r\n\r\n\tfinal OWLNamedIndividual x1 = OWL.Individual(\"#I1\");\r\n\tfinal OWLNamedIndividual x2 = OWL.Individual(\"#I2\");\r\n\r\n\towl.addAxiom(OWL.equivalentClasses(ClsA, OWL.some(propB, OWL.restrict(XSD.STRING, OWL.facetRestriction(OWLFacet.PATTERN, OWL.constant(\"A.A\"))))));\r\n\towl.addAxiom(OWL.propertyAssertion(x1, propB, OWL.constant(\"AAA\")));\r\n\towl.addAxiom(OWL.propertyAssertion(x2, propB, OWL.constant(\"BBB\")));\r\n\towl.addAxiom(OWL.differentFrom(x1, x2));\r\n\r\n\tfinal OpenlletReasoner r = owl.getReasoner();\r\n\tassertTrue(r.isEntailed(OWL.classAssertion(x1, ClsA)));\r\n\tassertFalse(r.isEntailed(OWL.classAssertion(x2, ClsA)));\r\n}\r\n```\r\n\r\nPlay with Jena:\r\n```java\r\n\tfinal String ns = \"http://www.example.org/test#\";\r\n\r\n\tfinal OntModel model = ModelFactory.createOntologyModel(PelletReasonerFactory.THE_SPEC);\r\n\tmodel.read(_base + \"uncle.owl\");\r\n\r\n\tfinal Individual Bob = model.getIndividual(ns + \"Bob\");\r\n\tfinal Individual Sam = model.getIndividual(ns + \"Sam\");\r\n\r\n\tfinal Property uncleOf = model.getProperty(ns + \"uncleOf\");\r\n\r\n\tfinal Model uncleValues = ModelFactory.createDefaultModel();\r\n\taddStatements(uncleValues, Bob, uncleOf, Sam);\r\n\tassertPropertyValues(model, uncleOf, uncleValues);\r\n```\r\n\r\nOpenllet 2.5.X:\r\n-----------\r\n\r\n* full java 8 support, java 8 is a requirement.\r\n* speed and stability improvement\r\n\r\nChanges :\r\n* Update versions of libs : owlapi 5, jena3 and lots more. Some old libs have been integrated and cleaned, strongly typed into openllet.\r\n* Corrections : all tests works, no more warnings with high level of reports in Eclipse.\r\n\r\nMigration :\r\n* pellet/owlapi/src/main/java/com/clarkparsia/owlapiv3/ is now  pellet/owlapi/src/main/java/com/clarkparsia/owlapi/\r\n* groupId   com.clarkparsia.pellet   is now   com.github.galigator.openllet\r\n\r\n\r\nPellet 1..2.3] Licences and supports: \r\n-------------------------------------\r\n \r\n* [open source](https://github.com/complexible/pellet/blob/master/LICENSE.txt) (AGPL) or commercial license\r\n* Historically developed and commercially supported by Complexible Inc; Maybe now https://www.stardog.com/\r\n\r\n\r\nThanks for using Openllet.\r\n\r\n### Others experimentals stuffs\r\n\r\n[![CircleCI Build Status](https://circleci.com/gh/Galigator/openllet.svg?style=shield)](https://circleci.com/gh/Galigator/openllet)\r\n[![codecov](https://codecov.io/gh/Galigator/openllet/branch/integration/graph/badge.svg)](https://codecov.io/gh/Galigator/openllet)\r\n","funding_links":[],"categories":["Reasoners","Java"],"sub_categories":["Educational","Vocabularies"],"project_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2FGaligator%2Fopenllet","html_url":"https://awesome.ecosyste.ms/projects/github.com%2FGaligator%2Fopenllet","lists_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2FGaligator%2Fopenllet/lists"}