Title :
Understanding and improving content markup for the Web: from the perspectives of formal linguistics, algebraic logic, and cognitive science
Author :
Kohout, Ladislav J. ; Strotmann, Andreas
Author_Institution :
Dept. of Comput. Sci., Florida State Univ., Tallahassee, FL, USA
Abstract :
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
Keywords :
algebra; hypermedia markup languages; information resources; mathematics computing; OpenMath protocols; WWW; Web; algebraic logic; cognitive science; compositionality; computational semiotics; conceptual nonmathematical knowledge; content markup; distributed computing; extended relational framework; formal linguistics; manufacturing; mathematical knowledge; symbolic computing; Algorithm design and analysis; Computer aided manufacturing; Computer science; Distributed computing; Logic functions; Markup languages; Mathematics; Packaging; Software packages; XML;
Conference_Titel :
Intelligent Control (ISIC), 1998. Held jointly with IEEE International Symposium on Computational Intelligence in Robotics and Automation (CIRA), Intelligent Systems and Semiotics (ISAS), Proceedings
Conference_Location :
Gaithersburg, MD
Print_ISBN :
0-7803-4423-5
DOI :
10.1109/ISIC.1998.713826
