Index

_

__init__() (diderot.assertion.Assertion method) (diderot.assertion.CompetencyQuestionAssertion method) (diderot.assertion.InferenceAssertion method) (diderot.inference.Inference method)

A

add_facts() (diderot.inference.Inference method) assert_that() (diderot.DiderotTestCase method)

Assertion (class in diderot.assertion)

B

build_rdfs_owl_rules() (in module diderot.inference)

C

can_answer() (in module diderot.assertion) can_infer() (in module diderot.assertion)

CompetencyQuestionAssertion (class in diderot.assertion)

D

diderot.assertion (module) diderot.inference (module) diderot.OWL (module)

diderot.utils (module) DiderotTestCase (class in diderot) difference() (in module diderot.utils)

F

from_facts() (diderot.assertion.InferenceAssertion method)

from_ontology() (diderot.assertion.CompetencyQuestionAssertion method)

G

get_empty_graph() (in module diderot.utils)

get_inferred_facts() (diderot.inference.Inference method)

I

Inference (class in diderot.inference) InferenceAssertion (class in diderot.assertion)

intersection() (in module diderot.utils) is_empty_graph() (in module diderot.utils)

P

parse_facts() (in module diderot.utils) parse_ttl_file() (in module diderot.utils)

parse_ttl_string() (in module diderot.utils)

R

RDFS_OWL_RULES (in module diderot.inference)

W

with_answer() (diderot.assertion.CompetencyQuestionAssertion method)