dl-js-reasoner

v0.3.0 LGPL-3.0-or-laterLicense declared in the package manifest.

A hypertableau OWL 2 DL reasoner in pure JavaScript, modelled on HermiT. Fills the gap protege-js leaves: full DL consistency, class-expression satisfiability, subsumption/classification and realisation via a tableau calculus (not just forward-chaining RL

description-logicdlowlowl2reasonerhypertableautableauhermit
100

Security score

0 known advisories in v0.3.0

0-100 score computed by this site from verifiable signals only: known OSV.dev advisories affecting this exact version, how recently it was published, and the repository's OpenSSF Scorecard.advisory penalty −0 · staleness penalty −0

Weekly downloads

Downloads across all versions in the last 7 days, from the official npm downloads API (api.npmjs.org).

—

Unpacked size

Size of v0.3.0 on disk after npm install extracts the tarball, as reported by the npm registry.

1.7 MB

Dependencies

Direct runtime dependencies declared by v0.3.0. Transitive dependencies are not counted here — use the lockfile audit for the full tree.

0

Last publish

When v0.3.0 was published to the registry. Long gaps can indicate an unmaintained package.

8 days ago

Security advisories

Vulnerabilities affecting v0.3.0 specifically, from OSV.dev — the open database aggregating the GitHub Advisory Database (GHSA) and CVEs. Links open the full advisory.

No known vulnerabilities affect v0.3.0.