Skip to content Skip to navigation
University of Warwick
  • Study
  • |
  • Research
  • |
  • Business
  • |
  • Alumni
  • |
  • News
  • |
  • About

University of Warwick
Publications service & WRAP

Highlight your research

  • WRAP
    • Home
    • Search WRAP
    • Browse by Warwick Author
    • Browse WRAP by Year
    • Browse WRAP by Subject
    • Browse WRAP by Department
    • Browse WRAP by Funder
    • Browse Theses by Department
  • Publications Service
    • Home
    • Search Publications Service
    • Browse by Warwick Author
    • Browse Publications service by Year
    • Browse Publications service by Subject
    • Browse Publications service by Department
    • Browse Publications service by Funder
  • Help & Advice
University of Warwick

The Library

  • Login
  • Admin

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.

[img]
Preview
PDF
WRAP_Boyatt_joy_sjtuceb_6.pdf - Accepted Version - Requires a PDF viewer.

Download (497Kb) | Preview

Request Changes to record.

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:
DateEvent
2010Published
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:
  • Organisation

Request changes or add full text files to a record

Repository staff actions (login required)

View Item View Item

Downloads

Downloads per month over past year

View more statistics

twitter

Email us: wrap@warwick.ac.uk
Contact Details
About Us