Openllet :: Explanation

Openllet is open-source future of Pellet OWL Reasoner

License

License

GroupId

GroupId

com.github.galigator.openllet
ArtifactId

ArtifactId

openllet-explanation
Last Version

Last Version

2.6.5
Release Date

Release Date

Type

Type

jar
Description

Description

Openllet :: Explanation
Openllet is open-source future of Pellet OWL Reasoner

Download openllet-explanation

How to add to project

<!-- https://jarcasting.com/artifacts/com.github.galigator.openllet/openllet-explanation/ -->
<dependency>
    <groupId>com.github.galigator.openllet</groupId>
    <artifactId>openllet-explanation</artifactId>
    <version>2.6.5</version>
</dependency>
// https://jarcasting.com/artifacts/com.github.galigator.openllet/openllet-explanation/
implementation 'com.github.galigator.openllet:openllet-explanation:2.6.5'
// https://jarcasting.com/artifacts/com.github.galigator.openllet/openllet-explanation/
implementation ("com.github.galigator.openllet:openllet-explanation:2.6.5")
'com.github.galigator.openllet:openllet-explanation:jar:2.6.5'
<dependency org="com.github.galigator.openllet" name="openllet-explanation" rev="2.6.5">
  <artifact name="openllet-explanation" type="jar" />
</dependency>
@Grapes(
@Grab(group='com.github.galigator.openllet', module='openllet-explanation', version='2.6.5')
)
libraryDependencies += "com.github.galigator.openllet" % "openllet-explanation" % "2.6.5"
[com.github.galigator.openllet/openllet-explanation "2.6.5"]

Dependencies

compile (2)

Group / Artifact Type Version
com.github.galigator.openllet : openllet-core jar 2.6.5
com.github.galigator.openllet : openllet-owlapi jar 2.6.5

test (1)

Group / Artifact Type Version
junit : junit jar 4.12

Project Modules

There are no modules declared in this project.

Openllet: An Open Source OWL DL reasoner for Java

Build Status Codeship Build Status Gitter Twitter Codacy Badge

Maven Central

Openllet is an OWL 2 DL reasoner:

Openllet can be used with Jena or OWL-API 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/ directory. Issues are on Github. Pellet community is on pellet-users mailing list.

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.

Migration :

  • lots of com.clarkparsia.* / com.mindswap.* are refactored into openllet.* to avoid conflicts and have typing changed a lot.
  • dependencies on modern libs.
	<dependency>
		<groupId>com.github.galigator.openllet</groupId>
		<artifactId>openllet-owlapi</artifactId>
		<version>2.6.5</version>
	</dependency>
	<dependency>
		<groupId>com.github.galigator.openllet</groupId>
		<artifactId>openllet-jena</artifactId>
		<version>2.6.5</version>
	</dependency>

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:

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:

	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:

Thanks for using Openllet.

Others experimentals stuffs

CircleCI Build Status codecov

Versions

Version
2.6.5
2.6.4
2.6.3
2.6.2
2.6.1
2.6.0
2.5.1