Free Algebra Ontology

An informal description of the Ontology of the Free Algebra Knowledge Base developed so far.

Metadata and Semantics

All Free Algebra instances belong to the owl:Class sd:FreeAlgebra with predicates

The free algebra is the factor of the non commutative polynomial ring Q(a1,…,ak)<x1,…,xn> over the commtative field Q(a1,…,ak) of rational functions in a1,…,ak by the twosided ideal generated by the given non commutative polynomials.


The XML-Resource contains mainly the following tags

For details see the XSchema description FreeAlgebras.xsd.