• International journal of advanced smart convergence
• /
• v.7 no.4
• /
• pp.66-74
• /
• 2018

While new information technology advances have made information access and acquisition methods much more diverse and easier, there are side effects that allow illegal access using diverse and high-performance tools. In order to cope with such threats, there are access control methods in database technology, and various studies are being conducted to extend traditional access control to cope with new computing environments. In this paper, we propose an extended access control with uncertain context-awareness. It enables appropriate security policy enforcement even if the contextual constraints specified by the security policy does not match those accompanied by access request query. We extract semantic implications from context tree, and define the argument that can quantitatively measure the semantic difference between two nodes in the context tree. It is used to semantically enforce the security policy, and to prevent the excessive authorization caused by the implication.

• The KIPS Transactions:PartB
• /
• v.13B no.2 s.105
• /
• pp.139-148
• /
• 2006

In the collaborative product design environment, the communication between designers is important to capture design intents and to share a common view among the different but semantically similar terms. The Semantic Web supports integrated and uniform access to information sources and services as well as intelligent applications by the explicit representation of the semantics buried in ontology. Ontologies provide a source of shared and precisely defined terms that can be used to describe web resources and improve their accessibility to automated processes. Therefore, employing ontologies on assembly modeling makes assembly knowledge accurate and machine interpretable. In this paper, we propose a framework of semantic assembly modeling using ontologies to share design information. An assembly modeling ontology plays as a formal, explicit specification of a shared conceptualization of assembly design modeling. In this paper, implicit assembly constraints are explicitly represented using OWL (Web Ontology Language) and SWRL (Semantic Web Rule Language). The assembly ontology also captures design rationale including joint intent and spatial relationships.

• Language and Information
• /
• v.19 no.1
• /
• pp.119-146
• /
• 2015

Within the field of Korean linguistics, it has been observed that subjective adjectival predicate constructions are characteristic of imposing 'coreference constraint' on the higher and lower subjects, while evidential -te- constructions imposing 'non-coreference constraint' on them. I interpret these constraints as dependency constraints between higher and lower judge-sensitive semantic predicates, and investigate the interactions among subjective adjectival predicates, evidential -te-, and modal -keyss- in Korean. The paper ultimately argues for the necessity to add a new indexical element, the judge of evaluation(Lasersohn 2005, Stephenson 2007), to the traditional set of indices that were confined to the world and the time.

• Language and Information
• /
• v.5 no.1
• /
• pp.35-53
• /
• 2001

As a subtype of English relative clause constructions, free relative constructions like what John ate in I ate what John ate exhibit complicated syntactic and semantic properties. In particular, the constructions have mixed properties of nominal and verbal: they have the internal syntax of sentence and the external syntax of noun phrase. This paper provides a constraint-based approach to these mixed constructions, and shows that simple constructional constraints are enough to capture their complexities. The paper begins by surveying the properties of the constructions. In discusses two types(Specific and nonspecific) of free relatives, their ,lexical restrictions nominal properties and behavior with respect to extraposition, piped piping and stacking Following these it sketches the basic framework of the HPSG(Head-driven Phrase Structure Grammar) which is of relevance in this paper. As the main part, the paper presents a constraint- based analysis in which tight interactions between grammatical constructions and a rich network of inheritance relations play important roles in accounting for the basic as well as complex properties of the constructions is question.

• International Journal of Fuzzy Logic and Intelligent Systems
• /
• v.3 no.1
• /
• pp.32-36
• /
• 2003

An equivalent schema matching among several different source schemas is very important for information integration or mining on the XML based World Wide Web. Finding most similar source schema corresponding mediated schema is a major bottleneck because of the arbitrary nesting property and hierarchical structures of XML DTD schemas. It is complex and both very labor intensive and error prune job. In this paper, we present the first complex matching of XML schema, i.e. XML DTD. The proposed method captures not only schematic information but also integrity constraints information of DTD to match different structured DTD. We show the integrity constraints based hierarchical schema matching is more semantic than the schema matching only to use schematic information and stored data.

• Language and Information
• /
• v.13 no.1
• /
• pp.77-92
• /
• 2009

Geis (1973) has provided various properties of the subjects and by + Gerund Phrase (GerP) in English causative constructions. Among them, the two main issues of Geis's analysis are as follows: unlike Lakoff (1965; 1966), the subject of English causative constructions, including causative-inchoative verbs such as liquefy, first of all, should be acts or events, not persons, and the by + GerP in the construction is a complement of the causative verbs. In addition to these issues, Geis has provided various data exhibiting other idiosyncratic properties and proposed some transformational rules such as the Agent Creation Rule and rule orderings to explain them. Against Geis's claim, I propose that English causative verbs require either Proper nouns or GerP subjects and that the by + GerP in the constructions as a Verbal Modifier needs Gerunds, whose understood Affective-agent subject is identical to the subject of causative verbs with respect to the semantic index value. This enables us to solve the two main issues. At the same time, the other properties Geis mentioned also can be easily accounted for in Head-driven Phrase Structure Grammar (HPSG) by positing a few lexical constraints. On this basis, it is shown that given the few lexical constraints and existing grammatical tools in HPSG, the constraint-based analysis proposed here gives a simpler explanation of the properties of English causative constructions provided by Geis without transformational rules and rule orderings.

• Journal of English Language & Literature
• /
• v.55 no.1
• /
• pp.129-152
• /
• 2009

The paper aims to prove symmetries of the left and right edges of a morphological unit through the analysis of English blends. Blends are the words derived from two existing words by snipping the middle parts out and putting the rest together, such as smog (

• 한국IT서비스학회:학술대회논문집
• /
• 2008.05a
• /
• pp.559-564
• /
• 2008

XBRL은 재무 보고를 비롯한 다양한 비즈니스 보고에서 활용되고 있는 XML 기반 언어로서, 개념들과 이들간의 관계를 정의하여 활용할 수 있다. 비즈니스 보고 프로세스에서 절대적으로 중요한 것이 문법적이고 의미적인 수준에서 보고내용의 일치성과 완전성을 점검하여 제공하는 것이다. XBRL 문서를 제출 받아 이용하는 측에서도 제공받은 것들의 내용을 점검하는 것이 필수적이다. 이 논문에서는 현재 표준화가 진행중인 XBRL Formula를 중심으로, 의미 수준에서 XBRL 문서의 의미제약을 표현하고, 이를 서비스 품질 향상에 이용할 수 있도록 지원하는데 있어서, 대표적인 문제점과 해결방안에 대하여 토의한다.

• KIPS Transactions on Computer and Communication Systems
• /
• v.4 no.9
• /
• pp.283-288
• /
• 2015

Scientists gain benefits from on-demand scalable resource provisioning, and various computing environments by using cloud computing resources for their applications. However, many cloud computing service providers offer their cloud resources according to their own policies. The descriptions of resource specification are diverse among vendors. Subsequently, it becomes difficult to find suitable cloud resources according to the characteristics of an application. Due to limited understanding of resource availability, scientists tend to choose resources used in previous experiments or over-performed resources without considering the characteristics of their applications. The need for standardized notations on diverse cloud resources without the constraints of complicated specification given by providers leads to active studies on intercloud to support interoperability in hybrid cloud environments. However, projects related to intercloud studies are limited as they are short of expertise in application characteristics. We define an intercloud resource classification and propose semantic resource recommendation based on statistical analysis to provide semantic cloud resource services for an application in hybrid cloud computing environments. The scheme proves benefits on resource availability and cost-efficiency with choosing semantically similar cloud resources using cluster analysis while considering application characteristics.

• Journal of the Korean Institute of Intelligent Systems
• /
• v.19 no.2
• /
• pp.236-241
• /
• 2009

Information integration for distributed and heterogeneous data sources is still an open challenging, and schema matching is critical in this process. This paper presents and approach to automatic elements matching between XML application schemas using similarity measure and relaxation labeling. The semantic modeling of XML application schema has also been presented. The similarity measure method considers element categories and their properties. In an effort to achieve an optimal matching, contextual constraints are used in the relaxation labeling method. Based on the semantic modeling of XML application schemas, the compatible constraint coefficients are devised in terms of the structures and semantic relationships as defined in the semantic model. To examine the effectiveness of the proposed methods, an algorithm for XML schema matching has been developed, and corresponding computational experiments show changes of calculated values.