What is Formal semantics

This chapter introduces the development of a K-12 education ontology for e-learning environments. It presents design and implementation processes, followed by several recommendations for future directions for ontology development. E-learning environments incorporate the notion of semantic Web-based ontologies into their future directions. Semantic Web uses ontologies to show the interconnectedness in a Web environment. Within the concept of semantic mapping, domain ontology is at the core of intelligent e-learning systems. In order to achieve an ontology for K-12 education, the authors propse a domainspecific ontology PoleONTO (Personalized Ontological Learning Environment) with the emphasis on its development and incorporation into an e-learning environment.