Index

A

add() (fosf.syntax.base.DisjunctiveSort method) (fosf.syntax.constraints.Clause method) (fosf.syntax.constraints.RootedClause method) (fosf.syntax.constraints.SolvedClause method)

add_instance() (fosf.syntax.taxonomy.FuzzySortTaxonomy method) (fosf.syntax.taxonomy.SortTaxonomy method)

B

BaseOSFParser (class in fosf.parsers.base) BaseTaxonomy (class in fosf.syntax.taxonomy)

bfs() (fosf.syntax.terms.Term method) bot_code (fosf.syntax.taxonomy.BaseTaxonomy property)

C

Clause (class in fosf.syntax.constraints) ClauseNormalizer (class in fosf.reasoning.clauses)

code() (fosf.syntax.similarity.SubsumptionSimilarityTaxonomy method) (fosf.syntax.taxonomy.BaseTaxonomy method) Constraint (class in fosf.syntax.constraints)

D

degree() (fosf.syntax.similarity.SubsumptionSimilarityTaxonomy method) (fosf.syntax.taxonomy.FuzzySortTaxonomy method)

dfs() (fosf.syntax.terms.Term method) DisjunctiveSort (class in fosf.syntax.base) DisjunctiveTerm (class in fosf.syntax.terms)

E

EqualityConstraint (class in fosf.syntax.constraints) equivalent_to() (fosf.syntax.constraints.RootedSolvedClause method) (fosf.syntax.terms.NormalTerm method)

expand_rdf_graph() (in module fosf.utils.sparql)

F

Feature (class in fosf.syntax.base) FeatureConstraint (class in fosf.syntax.constraints) features() (fosf.syntax.theory.OsfTheory method) fosf.parsers module fosf.parsers.base module fosf.parsers.clause module fosf.parsers.rdf module fosf.parsers.similarity module fosf.parsers.taxonomy module fosf.parsers.term module fosf.parsers.theory module fosf.reasoning.clauses module fosf.reasoning.terms module

fosf.reasoning.theory module fosf.syntax module fosf.syntax.base module fosf.syntax.constraints module fosf.syntax.similarity module fosf.syntax.taxonomy module fosf.syntax.terms module fosf.syntax.theory module fosf.utils.sparql module freeze() (fosf.syntax.base.DisjunctiveSort method) FrozenDisjunctiveSort (class in fosf.syntax.base) FuzzySortTaxonomy (class in fosf.syntax.taxonomy)

G

generate_constraints() (fosf.syntax.terms.DisjunctiveTerm method) (fosf.syntax.terms.Term method)

glb() (fosf.syntax.similarity.SubsumptionSimilarityTaxonomy method) (fosf.syntax.taxonomy.BaseTaxonomy method) (fosf.syntax.taxonomy.SortTaxonomy method)

H

homomorphisms() (fosf.reasoning.terms.TermUnifier method)

I

is_instance() (fosf.syntax.taxonomy.SortTaxonomy method) is_subsort() (fosf.syntax.similarity.SubsumptionSimilarityTaxonomy method) (fosf.syntax.taxonomy.BaseTaxonomy method) (fosf.syntax.taxonomy.SortTaxonomy method)

iter_subterms() (fosf.syntax.terms.DisjunctiveTerm method) (fosf.syntax.terms.NormalTerm method) (fosf.syntax.terms.Term method)

L

LiteralSort (class in fosf.syntax.base)

lower_bounds() (fosf.syntax.taxonomy.BaseTaxonomy method)

M

membership_degree() (fosf.syntax.taxonomy.FuzzySortTaxonomy method) module fosf.parsers fosf.parsers.base fosf.parsers.clause fosf.parsers.rdf fosf.parsers.similarity fosf.parsers.taxonomy fosf.parsers.term fosf.parsers.theory fosf.reasoning.clauses fosf.reasoning.terms fosf.reasoning.theory fosf.syntax fosf.syntax.base fosf.syntax.constraints fosf.syntax.similarity fosf.syntax.taxonomy fosf.syntax.terms fosf.syntax.theory fosf.utils.sparql

N

NormalizationParser (class in fosf.parsers.clause) normalize() (fosf.reasoning.clauses.ClauseNormalizer method) (fosf.reasoning.terms.TermUnifier method) (fosf.reasoning.theory.TheoryTermNormalizer method) (fosf.syntax.constraints.Clause method) (fosf.syntax.constraints.RootedClause method) (fosf.syntax.constraints.SolvedClause method)

normalize_clause() (in module fosf.reasoning.clauses) normalize_term() (in module fosf.reasoning.terms) NormalTerm (class in fosf.syntax.terms)

O

OsfConstraintParser (class in fosf.parsers.clause) OsfTermParser (class in fosf.parsers.term)

OsfTheory (class in fosf.syntax.theory) OsfTheoryParser (class in fosf.parsers.theory)

P

parse() (fosf.parsers.base.BaseOSFParser method) (fosf.parsers.clause.OsfConstraintParser method) (fosf.parsers.clause.QueryClauseParser method) (fosf.parsers.rdf.RDFParser method) (fosf.parsers.similarity.SimilarityParser method) (fosf.parsers.taxonomy.TaxonomyParser method) (fosf.parsers.term.OsfTermParser method) (fosf.parsers.term.QueryTermParser method) (fosf.parsers.term.UnificationParser method) (fosf.parsers.theory.OsfTheoryParser method)

parse_clause() (in module fosf.parsers) parse_graph() (in module fosf.parsers) parse_query_term() (in module fosf.parsers) parse_similarity() (in module fosf.parsers) parse_taxonomy() (in module fosf.parsers) parse_term() (in module fosf.parsers) parse_theory() (in module fosf.parsers) prettify() (fosf.syntax.terms.DisjunctiveTerm method) (fosf.syntax.terms.Term method) pretty_print() (fosf.syntax.terms.DisjunctiveTerm method) (fosf.syntax.terms.Term method)

Q

QueryClauseParser (class in fosf.parsers.clause)

QueryTermParser (class in fosf.parsers.term)

R

RDFParser (class in fosf.parsers.rdf) rename() (fosf.syntax.constraints.Clause method) (fosf.syntax.constraints.RootedClause method) (fosf.syntax.constraints.RootedSolvedClause method)

RootedClause (class in fosf.syntax.constraints) RootedSolvedClause (class in fosf.syntax.constraints)

S

SimilarityParser (class in fosf.parsers.similarity) SolvedClause (class in fosf.syntax.constraints) Sort (class in fosf.syntax.base) sort() (fosf.syntax.theory.OsfTheory method) SortConstraint (class in fosf.syntax.constraints) sorts() (fosf.syntax.constraints.Clause method) (fosf.syntax.terms.DisjunctiveTerm method) (fosf.syntax.terms.Term method)

SortTaxonomy (class in fosf.syntax.taxonomy) subclause() (fosf.syntax.constraints.Clause method) (fosf.syntax.constraints.RootedClause method) (fosf.syntax.constraints.RootedSolvedClause method) (fosf.syntax.constraints.SolvedClause method) SubsumptionSimilarityTaxonomy (class in fosf.syntax.similarity)

T

Tag (class in fosf.syntax.base) tag_counts() (fosf.syntax.terms.DisjunctiveTerm method) (fosf.syntax.terms.Term method) tag_to_sort() (fosf.syntax.terms.DisjunctiveTerm method) (fosf.syntax.terms.NormalTerm method) (fosf.syntax.terms.Term method) tags() (fosf.syntax.terms.DisjunctiveTerm method) (fosf.syntax.terms.Term method) TagTaxonomy (class in fosf.syntax.taxonomy) TaxonomyParser (class in fosf.parsers.taxonomy)

Term (class in fosf.syntax.terms) term_to_query() (in module fosf.utils.sparql) TermUnifier (class in fosf.reasoning.terms) thaw() (fosf.syntax.base.FrozenDisjunctiveSort method) TheoryTag (class in fosf.syntax.theory) TheoryTermNormalizer (class in fosf.reasoning.theory) to_clause() (fosf.syntax.terms.DisjunctiveTerm method) (fosf.syntax.terms.NormalTerm method) (fosf.syntax.terms.Term method) to_term() (fosf.syntax.constraints.RootedSolvedClause method) top_code (fosf.syntax.taxonomy.BaseTaxonomy property)

U

UnificationParser (class in fosf.parsers.term) unify() (fosf.reasoning.terms.TermUnifier method)

unify_terms() (in module fosf.reasoning.terms) URIFeature (class in fosf.syntax.base) URISort (class in fosf.syntax.base)