Ontologies, and in particular upper ontologies, are foundational to the establishment of the Semantic Web. Upper ontologies are used as equivalence formalisms between domain speci...
Winston Anderson, Laurette Pretorius, Albert E. Ko...
This paper presents FABLE, a core formalism for a programming language in which programmers may specify security policies and reason that these policies are properly enforced. In ...
In this paper we develop an approach to tackle the problem of verb selection for learners of English as a second language (ESL) by using features from the output of Semantic Role ...
Xiaohua Liu, Bo Han, Kuan Li, Stephan Hyeonjun Sti...
Research in formal description of programming languages over the past four decades has led to some significant achievements. These include formal syntax and semantics for complete...
Spreadsheet tools are often used in business and private scenarios in order to collect and store data, and to explore and analyze these data by executing functions and aggregation...