Skip to main content

Crate strixonomy

Crate strixonomy 

Source
Expand description

Strixonomy — semantic workspace engine for ontology development.

Strixonomy indexes ontology workspaces and provides search, diagnostics, refactoring, SQL, SPARQL, reasoning integration, and LSP services.

Implementation is provided by the strixonomy-* crates.

§Quick start

use strixonomy::Workspace;

let workspace = Workspace::open(".")?;
let result = workspace.query("SELECT short_name, labels FROM classes")?;
for row in &result.rows {
    println!("{:?}", row);
}

§Validate

use strixonomy::Workspace;

let workspace = Workspace::open(".")?;
let diagnostics = workspace.diagnostics();
println!("{} diagnostics", diagnostics.len());

Re-exports§

pub use error::Error;
pub use workspace::Workspace;
pub use workspace::WorkspaceOptions;

Modules§

catalog
Workspace indexing and entity catalog.
diagnostics
Lint rules and diagnostic collection.
diff
Semantic diff between ontology catalogs.
docs
Documentation export for Strixonomy workspaces.
edit
Semantic transaction editing (strixonomy-edit).
error
Unified error type for common Strixonomy façade operations.
lsp
LSP protocol types. Strixonomy LSP is currently provided by the strixonomy-lsp binary.
obo
OBO Format patch write-back (re-export).
owl
Horned-OWL bridge, patch write-back, and Manchester syntax.
parser
RDF and OBO parsing.
plugin
query
SQL virtual tables and SPARQL over an indexed catalog.
reasoner
Reasoning integration via OntoLogos.
refactor
Workspace refactoring (rename, migrate, move, extract).
swrl
SWRL rule model and validation (re-export).
workspace
High-level workspace API for Strixonomy (stable since v0.10).

Structs§

Diagnostic
Entity

Enums§

StrixonomyError