Article citationsMore>>

Guarino, N. and Welty, C. (2000) A Formal Ontology of Properties. In: Dieng, R., Ed., Proceedings of 12th International Conference on Knowledge Engineering and Knowledge Management, Springer Verlag, Berlin, 97-112.
https://doi.org/10.1007/3-540-39967-4_8

has been cited by the following article:

• TITLE: Computer Integration within Problem Solving Process

  AUTHORS: Teodor Rus

  KEYWORDS: Computer, Ontology, Problem-Solving, Problem-Domain, Software-Tool

  JOURNAL NAME: Journal of Software Engineering and Applications, Vol.15 No.4, April 7, 2022

  ABSTRACT: The complexity of current software tools increases with the complexity of problem solving tasks they are designed to assist and are mainly dedicated to computer educated people. On the other hand current computer technology is deeply involved in people’s everyday life. This gap deepens and stresses software technology and computer education. The purpose of this paper is to discuss the feasibility of a new computer based problem solving methodology based on software tools that can be manipulated through the use of natural language. By computational emancipation the natural language becomes a family of non-ambiguous languages. This means that every problem solver uses a non-ambiguous natural language, termed here as Domain Algorithmic Language, DAL. Here we show how to develop software tools dedicated to the problem domain and illustrate the methodology we propose with the software tools required by teaching high school algebra.