Expand description
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;