List of all items
Structs
- ClassificationResult
- ConsistencyDetail
- ConsistencyResult
- DlQueryResult
- ExplanationRequest
- ExplanationResult
- ExplanationStep
- InferredAssertions
- InferredClassAssertion
- InferredHierarchy
- InferredObjectPropertyAssertion
- InstanceCheckResult
- RealizationEntry
- RealizationResult
- ReasonerCache
- ReasonerCacheStore
- ReasonerInput
- ReasonerSnapshot
- ReasonerWarning
- SameAsCluster
- WorkspaceInputLoader
Enums
Traits
Functions
- cancel_requested
- check_consistency
- check_full_consistency
- check_instance
- classify
- classify_with_swrl
- clear_cancel_flag
- expand_named_unsatisfiable
- explain
- explain_alternatives
- inferred_assertions
- inferred_assertions_from_realization
- inject_swrl_from_turtle
- input_has_swrl_rules
- install_cancel_flag
- ontology_has_swrl_rules
- prepare_swrl_ontology
- realize
- run_dl_query