The Library
Developing an ontology of mathematical logic
Tools
Tools
Tools
Boyatt, Russell and Joy, Mike (2010) Developing an ontology of mathematical logic. Scientific Journal of the Technical University of Civil Engineering Bucharest, Volume 6 . pp. 6-11.
|
PDF
WRAP_Boyatt_joy_sjtuceb_6.pdf - Accepted Version - Requires a PDF viewer. Download (497Kb) | Preview |
Abstract
An ontology provides a mechanism to formally represent a body of knowledge. Ontologies are one of the key technologies supporting the Semantic Web and the desire to add meaning to the information available on the World Wide Web. They provide the mechanism to describe a set of concepts, their properties and their relations to give a shared representation of knowledge. The MALog project are developing an ontology to support the development of high-quality learning materials in the general area of mathematical logic. This ontology of mathematical logic will form the basis of the semantic architecture allowing us to relate different learning objects and recommend appropriate learning paths. This paper reviews the technologies used to construct the ontology, the use of the ontology to support learning object development and explores the potential future use of the ontology.
| Item Type: | Journal Article | ||||
|---|---|---|---|---|---|
| Subjects: | Q Science > QA Mathematics | ||||
| Divisions: | Faculty of Science > Computer Science | ||||
| Library of Congress Subject Headings (LCSH): | Logic, Symbolic and mathematical -- Study and teaching -- Computer programs, Ontologies (Information retrieval) | ||||
| Journal or Publication Title: | Scientific Journal of the Technical University of Civil Engineering Bucharest | ||||
| Publisher: | Technical University of Civil Engineering Bucharest | ||||
| ISSN: | 2066-6926 | ||||
| Official Date: | 2010 | ||||
| Dates: |
|
||||
| Volume: | Volume 6 | ||||
| Page Range: | pp. 6-11 | ||||
| Status: | Not Peer Reviewed | ||||
| Publication Status: | Published | ||||
| Funder: | European Union. Lifelong Learning Programme | ||||
| Grant number: | 505326-LLP-1-2009-1-FI-KA3-KA3MP (EU) | ||||
| Related URLs: |
Request changes or add full text files to a record
Repository staff actions (login required)
 |
View Item |
Downloads
Downloads per month over past year
