'Infinite use of finite means': the creative aspect of the lexicon of English as seen through some samples of engineering jargon / Yuthandy Maniam by Yuthandy Maniam

“…Section 2 goes a step further to analyze the nature of the semantic relations underlying the formal relations described in Section 1. …”
Get full text

Heuristic Ranking in Tightly Coupled Probabilistic Description Logics by Lukasiewicz, T, Martinez, V, Orsi, G, Simari, G

“…In particular, Web search companies are recently realizing that their products need to evolve towards having richer semantic search capabilities. Description logics (DLs) have been adopted as the formal underpinnings for Semantic Web languages used in describing ontologies. …”

Heuristic Ranking in Tightly Coupled Probabilistic Description Logics by Lukasiewicz, T, Martinez, M, Orsi, G, Simari, G

“…In particular,Web search companies are recently realizing that their products need to evolve towards having richer semantic search capabilities. Description logics (DLs) have been adopted as the formal underpinnings for Semantic Web languages used in describing ontologies. …”

Structural competition in grammar by Katzir, Roni (Roni A.)

Get full text

The Translation of Idiomatic Expressions in ‘The Adventures of Huckleberry Finn’ Novel from English into Indonesian by Lutfia Hanim

“…The translator also applies communicative translation which is more natural in the target language.…”
Get full text

Heuristic ranking in tightly coupled probabilistic description logics by Lukasiewicz, T, Martinez, M, Orsi, G, Simari, G

“…In particular,Web search companies are recently realizing that their products need to evolve towards having richer semantic search capabilities. Description logics (DLs) have been adopted as the formal underpinnings for Semantic Web languages used in describing ontologies. …”

An Integrated First-Order Theory of Points and Intervals over Linear Orders (Part I) by Willem Conradie, Salih Durhan, Guido Sciavicco

“…A recent result by Balbiani, Goranko, and Sciavicco presented an explicit two-sorted point-interval temporal framework in which time instants (points) and time periods (intervals) are considered on a par, allowing the perspective to shift between these within the formal discourse. We consider here two-sorted first-order languages based on the same principle, and therefore including relations, as first studied by Reich, among others, between points, between intervals, and inter-sort. …”
Get full text

An Integrated First-Order Theory of Points and Intervals over Linear Orders (Part II) by Willem Conradie, Salih Durhan, Guido Sciavicco

“…A recent result by Balbiani, Goranko, and Sciavicco presented an explicit two-sorted point-interval temporal framework in which time instants (points) and time periods (intervals) are considered on a par, allowing the perspective to shift between these within the formal discourse. We consider here two-sorted first-order languages based on the same principle, and therefore including relations, as first studied by Reich, among others, between points, between intervals, and inter-sort. …”
Get full text

The Logic of Pronominal Resumption by Asudeh, A

“…The first assumption is that natural language is resource-sensitive (the Resource Sensitivity Hypothesis); this is captured through the use of a resource logic for semantic composition. …”

Normalization strategy of logical knowledge representation for text document. by Abdul Kadir, Rabiah, Tengku Sembok, Tengku Mohd, Ahmad, Fatimah, Azman, Azreen

“…The research is concerned with the problem of generating sophisticated knowledge representation for the purpose of understanding the natural language. Due to that, a simplification form of logical-oriented model of knowledge representation called Pragmatic Skolem Clauses (PSC) is proposed to represent the semantic formalism for the computational linguistic. …”
Get full text

Knowledge-based reactive planning and replanning by Djemai, Ramzi, Vassilev, Vassil, Ouazzane, Karim, Dey, Maitreyee

“…This paper proposes an innovative approach that harnesses the power of the Semantic Web Rule Language (SWRL) based on Web Ontology Language (OWL) to enhance existing evacuation planning methods through data-rich modelling. …”
Get full text

Steam-oriented Computation in Recursive Data Flow Schemas by Weng, Kung-Song

“…The attractiveness of this approach lies in the inherently determinate nature of data flow schemas and the possiblity of formalizing the semantics of the language within the formalism suggested by Scott and Strachey. …”
Get full text

Coping with Syntactic Ambiguity or How to Put the Block in the Box on the Table by Church, Kenneth, Patil, Ramesh

“…There may be hundreds, perhaps thousands of syntatic parse trees for certain very natural sentences of English. This fact has been a major problem confronting natural language processing because it indicates that it may require a long time to construct a list of all the parse trees, and furthermore, it isn't clear what to do with the list once it has ben constructed. …”
Get full text

QED: A Framework and Dataset for Explanations in Question Answering by Matthew Lamm, Jennimaria Palomaki, Chris Alberti, Daniel Andor, Eunsol Choi, Livio Baldini Soares, Michael Collins

“…A QED explanation specifies the relationship between a question and answer according to formal semantic notions such as referential equality, sentencehood, and entailment. …”
Get full text

Expressive Probabilistic Description Logics by Lukasiewicz, T

“…<p>The work in this paper is directed towards sophisticated formalisms for reasoning under probabilistic uncertainty in ontologies in the Semantic Web. …”

Saltbiçim İşlemleri ve Taban Biçimleme by Aysun Kunduracı

“…However, the derivative includes one more formal item, -I with the output okuyu-, right before -CI suffixation. …”
Get full text

Learning structured video descriptions: Automated video knowledge extraction for video understanding tasks by Vasile, D, Lukasiewicz, T

“…While most of the current solutions to vision-to-language problems are inspired from machine translation methods, aiming to directly map visual features to text, several recent results on image and video understanding have proven the importance of specifically and formally representing the semantic content of a visual scene, before reasoning over it and mapping it to natural language. …”

Actant Patterns of the Artistic World by Galina Oleinikova

“…At present, in studies devoted to the literary text, the latter is considered not from a historical, bibliographic or psychological point of view, but as a phenomenon of language from a formal and semantic point of view. …”
Get full text

Transforming BPMN Processes to SBVR Process Rules with Deontic Modalities by Tomas Skersys, Paulius Danenas, Egle Mickeviciute, Rimantas Butleris

“…Indeed, the Business Process Model and Notation (BPMN) is now arguably the most popular process modeling language. At the same time, the Semantics of Business Vocabulary and Business Rules (SBVR), which is a novel and formally sound standard for the specification of virtually any kind of knowledge using controlled natural language, is also gaining its grounds. …”
Get full text

APPLICATION OF DATA ANALYSIS METHODS FOR AUTOMATION OF ONTOLOGY FORMATION by O. N. Yurkova

“…When creating contemporary artificial intelligence systems or their components, developers and researchers often face the need to formalise a certain subject area in order to automate the processing of phrases, word collocations and sentences entering the system in natural language form. Currently, the most popular approach to the formal description of a subject area is to construct an ontology.Results. …”
Get full text