The Implementation of a ReALIS-based Method of Static Intensional Interpretation

Márton Károly, Gábor Alberti

2013

Abstract

This paper is grounded in the joint work within our project to implement a static (and, later, dynamic) interpretation of sentences, using the theory of ?eALIS. It outlines definitions and implementations of truth-evaluating extensional and intensional predicates, with an aim to present the Prolog-based core (i.e. the future server-side) of the program. This program has been partially demonstrated in recent publications; it is now mature enough to have a (presumably Java/JSP-based) graphical interface deployed to it. In this paper we still use a bottom-up approach because the theoretical complexity of ?eALIS does not concur with a too early finalization of the architecture. Most notably, the world model data in ?eALIS, equipped with the semantic postulates, share a great many features with the program code itself. This causes problems when planning the user interface. As for future work, the most important goals are, on the one hand, to implement verbal semantics (while sticking to the bottom-up approach) and, on the other hand, to finalize the architecture, the use-cases, the components and the deployment (switching to a top-down approach).

Paper Citation

in Harvard Style

Károly M. and Alberti G. (2013). The Implementation of a ReALIS-based Method of Static Intensional Interpretation . In Proceedings of the International Conference on Knowledge Engineering and Ontology Development - Volume 1: KEOD, (IC3K 2013) ISBN 978-989-8565-81-5, pages 393-398. DOI: 10.5220/0004627503930398

in Bibtex Style

@conference{keod13,
author={Márton Károly and Gábor Alberti},
title={The Implementation of a ReALIS-based Method of Static Intensional Interpretation},
booktitle={Proceedings of the International Conference on Knowledge Engineering and Ontology Development - Volume 1: KEOD, (IC3K 2013)},
year={2013},
pages={393-398},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0004627503930398},
isbn={978-989-8565-81-5},
}

in EndNote Style

TY - CONF
JO - Proceedings of the International Conference on Knowledge Engineering and Ontology Development - Volume 1: KEOD, (IC3K 2013)
TI - The Implementation of a ReALIS-based Method of Static Intensional Interpretation
SN - 978-989-8565-81-5
AU - Károly M.
AU - Alberti G.
PY - 2013
SP - 393
EP - 398
DO - 10.5220/0004627503930398