Uses new Rust 2024

169 downloads per month

LGPL-3.0

760KB
18K SLoC

Horned-Bin

This is a set of command line tools built using the horned crate and provide core services for the manipulation of OWL ontologies.

The tool suite is available as a single binary horned, collecting all tools as subcommands:

cargo build --release --bin horned

or as a collection of standalone binaries, each can be built using:

cargo build --release --bin horned-[TOOLNAME]

using the tools listed below.

To use one of the utilities described below, run

horned [TOOLNAME] <ARGUMENT_LIST>

horned-[TOOLNAME] <ARGUMENT_LIST>

using the requested arguments.

`TOOLNAME`	Arguments	Summary	Source file
big	`n`: unsigned integer	Generates an OWL file containing `n` class declarations.	source
compare	`ont-1`, `ont-2`: paths	Compares the statistics of ontologies specified in `ont-1` and `ont-2`.	source
dump	`ont`: path	Parses `ont` and returns the content of the data structures created by the parser.	source
materialize	`ont`: path	Parses `ont`, downloading and resolving all of the ontologies imported by `ont`.	source
parse	`ont`: path	Parses `ont` and exits.	source
round	`ont`: path	Parses `ont` and renders the obtained ontology.	source
summary	`ont`: path	Parses `ont` and returns statistics related to the obtained ontology.	source
triples	`ont`: path	Parses `ont` as an ontology written using the OWL/RDF format and returns the obtained triples.	source
unparsed	`ont`: path	Parses `ont` as an ontology written using the OWL/RDF format and shows what has not been successfully parsed.	source

~6MB
~109K SLoC