Crate fukurow_lite 

OWL Lite 推論エンジン

このクレートは OWL Lite の完全実装を提供します:

• テーブルロー推論アルゴリズム
• 整合性検証
• クラス階層推論
• インスタンス検証

Re-exports

pub use model::Ontology;

pub use model::Class;

pub use model::Property;

pub use model::Individual;

pub use model::Axiom;

pub use reasoner::OwlLiteReasoner;

pub use loader::OntologyLoader;

Modules

loader

OWLオントロジーローダー

model

OWL Lite データモデル

reasoner

OWL Lite リーナー

tableau

テーブルロー推論アルゴリズム

Enums

OwlError