Understanding and improving content markup for the Web: from the perspectives of formal linguistics, algebraic logic, and cognitive science

The paper (i) examines the issue of compositionality in symbolic computing from the point of view distributed computing; (ii) proposes the use of extended relational framework for combining mathematical and conceptual nonmathematical knowledge within the context of OpenMath protocols; (iii) presents an application of computational semiotics to manufacturing.