• English Language & Literature Teaching
• /
• v.18 no.3
• /
• pp.175-190
• /
• 2012

The purpose of this article is to explain the meanings and uses of the English auxiliaries will morpho-syntactically, and answer the question of whether will is a tense auxiliary or a modal one. Some writers even exclude will completely from the semantics of the modal auxiliaries. They argue that the semantics of will is fundamentally non-modal and has only a few modal-like uses. There are some people who treat will to be semantically separate from the other modal auxiliaries. In the light of modal will, the semantics of will basically remains anchored in volition because the lack of required speaker subjectivity, but has undergone so much semantic bleaching that it may also express future time without volition. On the other hand, the semantics of will in the exclusionist view is erroneous and that its semantics is in fact closely related to the semantics of the other modals. This view reinforces the argument that the morpho-syntactic kinship of will, can, may and must also reflects semantic kinship. It is suggested that all the modal auxiliaries show that the correspondence relation is non-verified but potential. And the specific place that will holds is that the correspondence is unverified at the time of utterance but will turn out to become verified. The overall conclusion is that idiosyncratic morpho-syntax shared by the modals reflects the semantics and pragmatics of the English modal auxiliaries and is forced also to include will.

• The KIPS Transactions:PartD
• /
• v.10D no.3
• /
• pp.399-406
• /
• 2003

The widespreading of XML as a standard for semi-structured documents on the Web opens up challenging opportunities for Web query language. And UML is a graphical language to represent the result of object-oriented analysis and design. In this paper, we introduce an UML-based graphical query language for XML documents. The use of a visual formalism for representing the syntax and semantics of queries enables an intuitive expression of queries, even when they are rather complex. And, it is matched a series of processes to store and retrieve XML documents to OODBMS with the use of an uniform visualization for representing both the content of XML documents (and of their DTD) and the syntax and semantics of queries.

• Asia pacific journal of information systems
• /
• v.12 no.2
• /
• pp.99-118
• /
• 2002

In this paper, we propose a visual relational database query language, VRQL, by modifying and extending the recently proposed $VOQL^*$. Like $VOQL^*$, VRQL, based on ven Diagram and graph, naturally reflects the structure of schemas in queries and has recursive formal semantics. However, VRQL has relationally complete expressiveness, while $VOQL^*$ is only a conjunctive query language. In the logical definition part of VRQL, which is the relational version of $VOQL^*$, most features of $VOQL^*$ are retained, and the semantics of queries are based on the tuple relational calculus. In the procedural definition part of VRQL, by introducing the concept of VRQL view and set operations, the expressiveness of VRQL is increased to the level equivalent to that of the relational algebra. Due to the introduction of VRQL views, existing queries or temporary queries used in the process of creating queries can be represented with views, so that complex queries may be represented more conveniently. Set operations, used with VRQL views, enable us to represent various queries, beyond the expressiveness of conjunctive query languages.

• Language and Information
• /
• v.14 no.2
• /
• pp.103-129
• /
• 2010

In this paper, I show that anaphora across speakers shows both dynamic and static sides. To capture them all formally, I will adopt semantics based on the assumption that variables range over individual concepts that connect epistemic alternatives. As information increases, a variable can take a different range of possible individual concepts. This is captured by the notion of virtual individual (= vi), a set of individual concepts which are indistinguishable in an information state. The use of a pronoun involves two information states, one for the antecedent, which is always part of the common ground, and the other for the pronoun. Information increase changes vis for variables in the common ground. A pronoun can be used felicitously if there is a unique virtual individual in the information state for the antecedent which does not split in two or more distinctive virtual individuals in the information state for the pronoun. The felicity condition for cross-speaker anaphora can be satisfied in declaratives involving modality, interrogatives and imperatives in a rather less demanding way, because in these cases the utterance does not necessarily require non-trivial personal information for proper use of a pronoun.

• Language and Information
• /
• v.10 no.2
• /
• pp.1-20
• /
• 2006

This paper is concerned with the distribution and interpretation of yekan and its cognates. Syntactically they require negation, but semantically the sentences in which they occur are positive ones that make monotone increasing inferences possible. This syntax-semantics discrepancy can be best accounted for by showing that yekan and its cousins must be strictly c-commanded by metalinguistic negation at the surface structure and that the positive meaning of the sentences they are part of is derived from the cancellation of the pragmatic upper-bounding implicatum associated with them. These also enable us to explain why they do not occur in the environments where typical NPIs do and why only certain forms of negation license them.

• Journal of Science of Art and Design
• /
• v.3
• /
• pp.225-247
• /
• 2001

The analysis of art work that is objective and theoretical needs the help of the cognitive psychology, for the pictorial semiotics requires psychology. The first step to the analysis of art work is about the visual elements and their relations. But the semiotics is lack of the method of the analysis of art work and the some authors don't have treated or been interested in psychological analysis. The main problem of visual semiotics is the density of pictorial representation. It makes the semantic of art work impossible at the very early process of analysis. But the density is not only a matter of visual representation, verbal language also has this problem. The point is that art work functions more art than denotation, but verbal language does more denotation than art. This difference makes difficult to apply the method of language or semiotics to visual art. The possibility of pictorial syntax or perceptual semantics should begin considering the unification of perception and semantics. In principles these two field can be unified. At atomism and holism these are parallel. Therefore perceptual semantics is possible The cognitive psychology can help to formulation of perceptual semantics. At first, the visual representation is incremental and it can be divided at three steps. In these steps each sensation, perception and cognition level has their own role. Perceptual representation of art work should be specified at these three levels. And each of these levels, the special properties of art work should be drawn and examined in the possibility of semiotics. The investigation of psychological levels and semiotic level should be circulated. It will help to formulate the method of analysis of art work.

• Journal of KIISE:Software and Applications
• /
• v.36 no.7
• /
• pp.509-522
• /
• 2009

The W3C Ontology Working Group has recently developed OWL as an ontology language for the Semantic Web. OWL, however, fails to perform the process of reasoning about temporal knowledge because it lacks full-pleadged semantics for temporal language. Entities in the real world are changing as time passes, while new facts are being introduced as new events occur. KBs without temporal information are incomplete and incorrect. In this paper, we propose an extended temporal ontology language called TL-OWL which provides an abstract syntax and semantics for representing and reasoning about temporal information in the Semantic Web.

• Proceedings of the Korean Society for Language and Information Conference
• /
• 1996.02a
• /
• pp.337-346
• /
• 1996

• The KIPS Transactions:PartA
• /
• v.11A no.3
• /
• pp.149-156
• /
• 2004

As software is large and sophisticate, in order to increase the productivity and efficiency of programs in programming development environments, it is necessary to support the integrated system that offers user interface integrated editing, compiling, debugging, and running steps. The key tool in such environments is an incremental translation. In this paper, in order to increase the productivity and reusability of software, the goal is to construct the integrated incremental interpretation system that supports friendly user interface with editor, debugger, and incremental interpreter. We define the new object-oriented language, IMPLO(IMPerative Language with Object) using EBNF notation, and construct the integrated incremental interpretation system using incremental interpreter of the language. To do so, we extend attribute grammars for specifying static semantics and present new action equations to describe the dynamic semantics. We executed the incremental interpretation by using analyzing the dynamic semantics and then implemented integrated incremental interpretation system with editor and debugger in C, Lex and Yacc using X windows on SUN. We obtain about 50％ speedups in case of incremental execution time for example programs.

• The Transactions of the Korea Information Processing Society
• /
• v.6 no.6
• /
• pp.1447-1457
• /
• 1999

Visual Object Query language(VOQL) proposed recently is a visual object-oriented database query language which can effectively represent queries on complex structured data, since schema information is visually included in query expressions. VOQL, which is a graph-based query language with inductively defined semantics, can concisely represent various text-based path expressions by graph, and clearly convey the semantics of complex path expressions. however, the existing VOQL assumes that all the attributes are multi-valued, and cannot visualize the concept of binding of object variables. therefore, VPAL query expressions are not intuitive, so that it is difficult to extend the existing VOQL theoretically. In this paper, we propose VOQL that improved on these problems. The improved VOQL visualizes the result of a single-valued attribute and that of a multi-valued attribute as a visual element and a subblob, respectively, and specifies the binding of object variables by introducing visual variables, so that the improved VOQL intuitively and clearly represents the semantics of queries.