Ecosyste.ms: Awesome
An open API service indexing awesome lists of open source software.
https://github.com/Galigator/openllet
Openllet is an OWL 2 reasoner in Java, build on top of Pellet.
https://github.com/Galigator/openllet
inference java jena logic owl owl-api owl2 reasoner semantic
Last synced: about 1 month ago
JSON representation
Openllet is an OWL 2 reasoner in Java, build on top of Pellet.
- Host: GitHub
- URL: https://github.com/Galigator/openllet
- Owner: Galigator
- License: other
- Created: 2016-01-21T23:20:19.000Z (over 8 years ago)
- Default Branch: integration
- Last Pushed: 2023-11-13T21:22:39.000Z (7 months ago)
- Last Synced: 2024-02-07T01:38:49.834Z (4 months ago)
- Topics: inference, java, jena, logic, owl, owl-api, owl2, reasoner, semantic
- Language: Java
- Homepage: https://www.w3.org/TR/owl2-primer/
- Size: 59.4 MB
- Stars: 95
- Watchers: 13
- Forks: 26
- Open Issues: 24
-
Metadata Files:
- Readme: README.md
- License: LICENSE.txt
Lists
- awesome-semantic-web - openllet
- awesome-ontology - Openllet - An OWL DL reasoner build on top of Pellet 2. (Java) (Reasoners / Vocabularies)
- awesome-semantic-web - openllet
- repo-5491-awesome-semantic-web - openllet
- awesome-semantic-web - openllet
- awesome-semantic-web - openllet
README
Openllet: An Open Source OWL DL reasoner for Java
-----------------------------------------------
[](https://circleci.com/gh/Galigator/openllet/tree/integration)
[](https://gitter.im/Galigator/pelletEvolution?utm_source=badge&utm_medium=badge&utm_campaign=pr-badge&utm_content=badge)
[](https://twitter.com/openllet)
[](https://www.codacy.com/app/sejourne_kevin/openllet?utm_source=github.com&utm_medium=referral&utm_content=Galigator/openllet&utm_campaign=Badge_Grade)
[](https://maven-badges.herokuapp.com/maven-central/com.github.galigator.openllet/openllet-owlapi)
Openllet is an OWL 2 DL reasoner:
--------------------------------
Openllet 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,
explain inferences, and answer SPARQL queries.
Feel free to fork this repository and submit pull requests if you want to see changes, new features, etc. in Openllet.
We need a lot more tests, send your samples if you can.
There are some code samples in the [examples/](https://github.com/Galigator/openllet/tree/integration/examples) directory.
Issues are on [Github](http://github.com/galigator/openllet/issues).
Pellet community is on [pellet-users mailing list](https://groups.google.com/forum/?fromgroups#!forum/pellet-users).
Openllet 2.6.X:
-----------
* Refactor modules dependencies.
* Enforce interface usage in the core system.
* Lighter hash functions and less conflict when use in multi-thread environnement.
* since 2.6.5 : full java 11 support, java 11 is a requirement.
### Migration :
* lots of com.clarkparsia.* / com.mindswap.* are refactored into openllet.* to avoid conflicts and have typing changed a lot.
* dependencies on modern libs.
```xml
com.github.galigator.openllet
openllet-owlapi
2.6.5
com.github.galigator.openllet
openllet-jena
2.6.5
```
NB, 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.
### Roadmap :
* Fullify strong typing in openllet core (2.7.X).
* Add support for rdf-database reasoning (2.8.X).
### Examples :
Play with the Owl-Api:
```java
try (final OWLManagerGroup group = new OWLManagerGroup())
{
final OWLOntologyID ontId = OWLHelper.getVersion(IRI.create("http://myOnotology"), 1.0);
final OWLHelper owl = new OWLGenericTools(group, ontId, true);
final OWLNamedIndividual x1 = OWL.Individual("#I1");
final OWLNamedIndividual x2 = OWL.Individual("#I2");
owl.addAxiom(OWL.equivalentClasses(ClsA, OWL.some(propB, OWL.restrict(XSD.STRING, OWL.facetRestriction(OWLFacet.PATTERN, OWL.constant("A.A"))))));
owl.addAxiom(OWL.propertyAssertion(x1, propB, OWL.constant("AAA")));
owl.addAxiom(OWL.propertyAssertion(x2, propB, OWL.constant("BBB")));
owl.addAxiom(OWL.differentFrom(x1, x2));
final OpenlletReasoner r = owl.getReasoner();
assertTrue(r.isEntailed(OWL.classAssertion(x1, ClsA)));
assertFalse(r.isEntailed(OWL.classAssertion(x2, ClsA)));
}
```
Play with Jena:
```java
final String ns = "http://www.example.org/test#";
final OntModel model = ModelFactory.createOntologyModel(PelletReasonerFactory.THE_SPEC);
model.read(_base + "uncle.owl");
final Individual Bob = model.getIndividual(ns + "Bob");
final Individual Sam = model.getIndividual(ns + "Sam");
final Property uncleOf = model.getProperty(ns + "uncleOf");
final Model uncleValues = ModelFactory.createDefaultModel();
addStatements(uncleValues, Bob, uncleOf, Sam);
assertPropertyValues(model, uncleOf, uncleValues);
```
Openllet 2.5.X:
-----------
* full java 8 support, java 8 is a requirement.
* speed and stability improvement
Changes :
* Update versions of libs : owlapi 5, jena3 and lots more. Some old libs have been integrated and cleaned, strongly typed into openllet.
* Corrections : all tests works, no more warnings with high level of reports in Eclipse.
Migration :
* pellet/owlapi/src/main/java/com/clarkparsia/owlapiv3/ is now pellet/owlapi/src/main/java/com/clarkparsia/owlapi/
* groupId com.clarkparsia.pellet is now com.github.galigator.openllet
Pellet 1..2.3] Licences and supports:
-------------------------------------
* [open source](https://github.com/complexible/pellet/blob/master/LICENSE.txt) (AGPL) or commercial license
* Historically developed and commercially supported by Complexible Inc; Maybe now https://www.stardog.com/
Thanks for using Openllet.
### Others experimentals stuffs
[](https://circleci.com/gh/Galigator/openllet)
[](https://codecov.io/gh/Galigator/openllet)