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-lspbinary. - 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).