Theory of K-Calculuses as a Powerful and Flexible Mathematical Framework for Building Ontologies and Designing Natural Language Processing Systems

Authors:
Vladimir A. Fomichov
Affiliations:
-
Venue:
FQAS '02 Proceedings of the 5th International Conference on Flexible Query Answering Systems
Year:
2002

Citing 3
Cited 1

Episodic logic meets Little Red Riding Hood: a comprehensive natural representation for language understanding

Natural language processing and knowledge representation
Conceptual Graphs: Draft Proposed American National Standard

ICCS '99 Proceedings of the 7th International Conference on Conceptual Structures: Standards and Practices
Representing discourse in context

Representing discourse in context

Standard k-languages as a powerful and flexible tool for building contracts and representing contents of arbitrary e-negotiations

EC-Web'05 Proceedings of the 6th international conference on E-Commerce and Web Technologies

Quantified Score

Hi-index	0.00

Visualization

Abstract

The necessity of developing more powerful and convenient formal means (in comparison with the widely used ones) for describing structured meanings of natural language (NL) texts and building ontologies is grounded. The basic principles of an original mathematical approach to this problem are outlined; this approach is given by the the theory of K-calculuses and K-languages (the KCL-theory) elaborated by the author. The considered examples of building semantic representations of the NL-texts, of constructing definitions of concepts, and of finding an answer to a question of the end user pertain to biology, medicine, ecology, and business. The advantages of the KCL-theory in comparison with Discourse Representation Theory, Theory of Conceptual Graphs, and Episodic Logic are stated. It is reported about a number of successful applications of the KCL-theory to the design of NL-processing systems. The metaphor "a kitchen combine" is used for underlining that the KCL-theory provides a broad spectrum of new opportunities for the design of NL-processing systems and building ontologies.