horned-owl-0.8.0
- horned-owl 0.8.0
- Docs.rs crate page
- LGPL-3.0
- Links
- Repository
- crates.io
- Source
- Owners
- phillord
- Dependencies
- clap ^2.31.2 normal
  curie ^0.0.8 normal
  enum_meta ^0.6.0 normal
  failure ^0.1.2 normal
  indexmap ^1.0.2 normal
  lazy_static ^1.4.0 normal
  log ^0.4.8 normal
  quick-xml ^0.12.4 normal
  sophia ^0.6.0 normal
  sophia_api ^0.6.0 normal
  sophia_iri ^0.6.0 normal
  bencher ^0.1.4 dev
  env_logger ^0.7.1 dev
  mktemp ^0.3.1 dev
  pretty_assertions ^0.6.1 dev
  slurp ^1.0.1 dev
- Versions
Go to latest version
Platform
Feature flags

Rust

☰

Module logically_equal

Structs
Functions

horned_owl::ontology

[−][src]Module horned_owl::ontology::logically_equal

Structs

LogicallyEqualIndex

Functions

update_logically_equal_axiom
update_or_insert_logically_equal_axiom