Skip to main content
Fachgebiete
Automobil + Motoren Bauwesen + Immobilien Business IT + Informatik Elektrotechnik + Elektronik Energie + Nachhaltigkeit Finance + Banking Management + Führung Marketing + Vertrieb Maschinenbau + Werkstoffe Versicherung + Risiko
DE
EN
Themenseiten
Organisationspsychologie Projektmanagement Marketing Smart Manufacturing
Bücher
Zeitschriften
Weitere Formate
Podcasts Webinare Technik Webinare Wirtschaft Kongresse Veranstaltungskalender Awards
Jetzt Einzelzugang starten
Zugang für Unternehmen
Referenzkunden
ATZ-Fachkongress

Chassis.tech plus 2024


4 Kongresse in einer Veranstaltung

Treffen Sie in München die Fachleute von Chassis, Lenkung, Bremsen sowie Reifen/Räder.
Erweiterte Suche
Anmelden
nach oben
Erschienen in:
A Comparison of Small Area Estimation and Kriging in Estimating Rainfall in Sri Lanka Kapitel lesen Erstes Kapitel lesen

2018 | OriginalPaper | Buchkapitel

Towards a Mathematical Knowledge Management System: Ontology to Model Linear Equations

verfasst von : Alan Ramírez-Noriega, Yobani Martínez-Ramírez, José Armenta, Sergio Miranda, J. Francisco Figueroa Pérez, José Mendivil-Torres, Samantha Jiménez

Erschienen in: Trends and Advances in Information Systems and Technologies

Verlag: Springer International Publishing

Einloggen

Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.

search-config
loading …

Abstract

Knowledge management systems based on ontologies are an important software tool to maintain the knowledge of experts, however, the mathematical area needs to improve aspects such as creating repositories of formalized mathematics, mathematical search and retrieval, and implementing math assistants. This article proposes an ontology to be used in a Mathematical Knowledge Management System (MKMS) with the objective of storing and retrieving systems of linear equations, these equations will serve to teach students to solve problems with an approach based on examples. We built the ontology considering following phases: specification, conceptualization, formalization, and implementation. Besides, the ontology was evaluated before incorporating it into the MKMS. Finally, the article shows a general architecture of the MKMS to understand the theoretical operation. Although ontology focuses on modeling a single topic, it defines the basis for modeling other mathematics topics and being applied in an MKMS.

Sie haben noch keine Lizenz? Dann Informieren Sie sich jetzt über unsere Produkte:

Springer Professional "Wirtschaft+Technik"

Online-Abonnement

Mit Springer Professional "Wirtschaft+Technik" erhalten Sie Zugriff auf:

  • über 102.000 Bücher
  • über 537 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Maschinenbau + Werkstoffe
  • Versicherung + Risiko

Jetzt Wissensvorsprung sichern!

Jetzt informieren

Springer Professional "Technik"

Online-Abonnement

Mit Springer Professional "Technik" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 390 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Maschinenbau + Werkstoffe




 

Jetzt Wissensvorsprung sichern!

Jetzt informieren

Springer Professional "Wirtschaft"

Online-Abonnement

Mit Springer Professional "Wirtschaft" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 340 Zeitschriften

aus folgenden Fachgebieten:

  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Versicherung + Risiko




Jetzt Wissensvorsprung sichern!

Jetzt informieren
Vorheriges Kapitel Implementation of Paperless Office in the Classroom
Nächstes Kapitel A Conceptual Research Model Proposal of Digital Marketing Adoption and Impact on Low Density Tourism Regions
Fußnoten
Literatur
1.
Alavi, M., Leidner, D.E.: Knowledge management systems: emerging views and practices from the field. In: Proceedings of the 32nd Annual Hawaii International Conference on Systems Sciences, pp. 1–11 (1999)
2.
3.
Carette, J., Farmer, W.M.: A review of mathematical knowledge management. In: Carette, J., Dixon, L., Coen, C.S., Watt, S.M. (eds.) Intelligent Computer Mathematics: 16th Symposium, Calculemus 2009, 8th International Conference, MKM 2009, Held as Part of CICM 2009, Grand Bend, Canada, 6-12 July 2009, Proceedings, pp. 233–246. Springer, Heidelberg (2009). https://​doi.​org/​10.​1007/​978-3-642-02614-0_​21
4.
Cheng, E.C.K.: Knowledge management for school education. In: Knowledge Management for School Education, 1st edn., no. 7, pp. 11–23. Springer, Singapore (2015)
5.
Coelho, F., Souza, R., Codeço, C.: Towards an ontology for mathematical modeling with application to epidemiology. Adv. Knowl. Organ. 13, 138–144 (2012)
6.
Dou, D., McDermott, D.: Deriving axioms across ontologies. In: Proceedings of the Fifth International Joint Conference on Autonomous Agents and Multiagent Systems - AAMAS 2006, p. 952 (2006)
7.
Elizarov, A., Kirillovich, A., Lipachev, E., Nevzorova, O.: OntoMath Digital Ecosystem: Ontologies, Mathematical Knowledge Analytics and Management. CoRR, pp. 1–18 (2017)
8.
9.
Farmer, W.: MKM: a new interdisciplinary field of research. SIGSAM Bull. 38, 47–52 (2004)CrossRef
10.
Fernandez-Lopez, M., Gomez-Perez, A., Juristo, N.: METHONTOLOGY: from ontological art towards ontological engineering. In: Proceedings of the AAAI 1997 Spring Symposium, Stanford, USA, pp. 33–40 (1997)
11.
Fernández-López, M., Gómez-Pérez, A., Suárez-Figueroa, M.C.: Selecting and customizing a mereology ontology for its reuse in a pharmaceutical product ontology. Front. Artif. Intell. Appl. 183(1), 181–194 (2008)
12.
Gasevic, D., Djuric, D., Devedzic, V.: Model Driven Engineering and Ontology Development. Springer, Heidelberg (2009)
13.
Jeschke, S.: KEA - A Knowledge Management System for Mathematics KEA - A Knowledge Management System for Mathematics (December 2007) (2014)
14.
John, S.: Development of an Educational Ontology for Java Programming (JLEO) with a hybrid methodology derived from conventional software engineering process models. Int. J. Inf. Educ. Technol. 4(4), 308–312 (2014)
15.
Jurisica, I., Mylopoulos, J., Yu, E.: Using ontologies for knowledge management: an information systems perspective. In: Proceedings of the 62nd Annual Meeting of the American Society for Information Science, pp. 482–496 (1999)
16.
Leung, C.H.: Res. J. Inf. Technol. 2(2), 66–80 (2010)
17.
Li, H., Li, W., Cai, Q., Liu, H.: A framework of ontology-based knowledge management system. In: Proceedings - 2009 2nd IEEE International Conference on Computer Science and Information Technology, ICCSIT 2009, pp. 374–377 (2009)
18.
Lohmann, S., Negru, S., Haag, F., Ertl, T.: Visualizing ontologies with VOWL. Semant. Web 7(4), 399–419 (2016)CrossRef
19.
Muñoz Garcia, A.C., Sandia Saldivia, B., Monzòn Pàez, G.: An ontological model of collaborative learning in interactive distance education. Red de Revistas Científicas de América Latina, el Caribe, España y Portugal 18(61), 449–460 (2014)
20.
Noy, N.F., McGuinness, D.L.: Ontology Development 101: A Guide to Creating Your First Ontology. Stanford Knowledge Systems Laboratory, p. 25 (2001)
21.
Pinto, H.S., Staab, S., Tempich, C.: DILIGENT: towards a fine-grained methodology for distributed, loosely-controlled and evolving engineering of ontologies. In: 16th European Conference on Artificial Intelligence - ECAI, pp. 393–397 (2004)
22.
Pribyl, P., Fábera, V., Faltus, V.: Domain-oriented ontology for ITS system. In: 2012 ELEKTRO, pp. 364–368 (2012)
23.
Sure, Y., Staab, S., Struder, R.: On-to-knowledge methodology. In: Handbook on Ontologies, pp. 117–132 (2004)CrossRef
24.
Tabares García, J.J., Jiménez Builes, J.A.: Ontology for the evaluation process in higher education. Revista Virtual Universidad Católica del Norte 42, 68–79 (2014)
25.
Tartir, S., Arpinar, I.B., Moore, M., Sheth, A.P., Aleman-meza, B.: OntoQA: metric-based ontology quality analysis. In: IEEE Workshop on Knowledge Acquisition from Distributed, Autonomous, Semantically Heterogeneous Data and Knowledge Sources, pp. 45–53. IEEE (2005)
Metadaten
Titel
Towards a Mathematical Knowledge Management System: Ontology to Model Linear Equations
verfasst von
Alan Ramírez-Noriega
Yobani Martínez-Ramírez
José Armenta
Sergio Miranda
J. Francisco Figueroa Pérez
José Mendivil-Torres
Samantha Jiménez
Copyright-Jahr
2018
Verlag
Springer International Publishing
Buch
Trends and Advances in Information Systems and Technologies

Print ISBN: 978-3-319-77702-3

Electronic ISBN: 978-3-319-77703-0

Copyright-Jahr: 2018

DOI
https://doi.org/10.1007/978-3-319-77703-0_51

Premium Partner

    Bildnachweise