• The KIPS Transactions:PartC
• /
• v.11C no.4
• /
• pp.471-484
• /
• 2004

Recently. many projects have been actively implementing IPsec on the various Operating Systems for security of IPv6 network. But there is no existing tool that checks the IPsec-based systems, which provide IPsec services, work Properly and provide their network security services well In the IPv6 network. In this paper, we design SERDL(Security Evaluation Rule Description Language) and rule execution tool for evaluating security of the IPv6 network, and we provide implementation details. The system Is divided into following parts : User Interface part, Rule Execution Module part, DBMS part and agent that gathering information needed for security test.

• Journal of Korea Multimedia Society
• /
• v.20 no.7
• /
• pp.1054-1064
• /
• 2017

With the development of cloud computing, internet technology and Internet of Things(IoT), most of applications are being smarter and changing from native application to SaaS (Software as a Service) application. New versatile SaaS applications are being released through various app portals (e.g. appstore, googleplay, T-Store, and so on). However, a user has a difficulty in searching, choosing an suitable application to him. It is also hard for him to know what functions of each SaaS application are useful. He wants to be recommended something inter-operated SaaS service according to his personality and his situation. Therefore, this paper presents a way of making mash-up of SaaS applications in order to provide the most convenient inter-operated SaaS service to user. This paper also presents SaaS Application Mash-up Framework (SAMF), complex context and rule matrix. The proposed SAMF is a main system that totally manage SaaS application mash-up service. Complex context and rule matrix are key components in order to recommend what SaaS applications are needed and how those SaaS applications are inter-operated. The SAMF collects complex contexts (User Description, Status Description, SaaS Service Description) in order to choose which SaaS applications are useful, analyze what functions to use, how to mash-up.

• Journal of Information Management
• /
• v.19 no.1
• /
• pp.95-122
• /
• 1988

From the lack of common rule for the description of the characters and terms in bibliographic databases, it was hard to share information with other organizations and to obtain relevant bits of information through online retrieval. In this paper, the authors suggest a rule for the transcription of symbols and letters, that are found in articles. but impossible to input through CRT terminals, into the symbols and letters which is capable of input and retrieval. And, in the 'Hangul orthography' and 'Description rule of the borrowed words' which are officially announced by the Ministry of Education, more than two ways are permited for the expression of terms. In that case, to improve retrieval efficiency and to prevent 'confusion in description, they are regulated.

• Proceedings of the Korea Inteligent Information System Society Conference
• /
• 2001.01a
• /
• pp.431-434
• /
• 2001

Knowledge discovery in databases(KDD) is the process for extracting valid, novel, potentially useful and understandable knowledge form real data. There are many academic and industrial activities with new technologies and application areas. Particularly, data mining is the core step in the KDD process, consisting of many algorithms to perform clustering, pattern recognition and rule induction functions. The main goal of these algorithms is prediction and description. Prediction means the assessment of unknown variables. Description is concerned with providing understandable results in a compatible format to human users. We introduce an efficient data mining algorithm considering predictive and descriptive capability. Reasonable pattern is derived from real world data by a revised neural network model and a proposed fuzzy rule extraction technique is applied to obtain understandable knowledge. The proposed neural network model is a hierarchical self-organizing system. The rule base is compatible to decision makers perception because the generated fuzzy rule set reflects the human information process. Results from real world application are analyzed to evaluate the system\`s performance.

• Cross-Cultural Studies
• /
• v.39
• /
• pp.485-499
• /
• 2015

Initially, the word 'usage' in the rule of Korean orthography was used to indicate the whole grammatical knowledge to separate between stems and inflectional affixes and nominals and case markers. Nowadays the word 'usage' in the rule of Korean orthograph is understood to indicate both 'usage' as the principles of the orthographic rule and 'grammar.' Even though 'usage' and 'grammar' can be understood as two different words, the discrepancy between them is not clear. In fact, if examining the rule of Korean orthography, it is not difficult to find that the principles of the orthography is written based on the grammar rules. Thus, the original principle is damaged because the rule of Korean orthography depends on the grammar rules too much. In addition, the rule of Korean orthography forces to change the grammar rules when describing them. Incorrect description of the grammar rules often causes the spelling mistakes. Therefore, it is necessary to divide two areas such as 'usage' and 'grammar' when dealing with 'the orthographic rules' and describing them.

• Journal of KIISE:Software and Applications
• /
• v.36 no.5
• /
• pp.411-419
• /
• 2009

In order to derive hidden Information (concept subsumption, concept satisfiability and realization) of OWL ontologies, a number of OWL reasoners have been introduced. Most of the reasoners were implemented to be based on tableau algorithm. However this approach has certain limitation. This paper presents architecture for Medusa. The Medusa is an extended DL-reasoner for SWRL(Semantic Web Rule Language) reasoning under well-founded semantics with ontologies specified in Description Logic. Description logic based ontology reasoners theoretically explore knowledge representation and its reasoning in concept languages. However these logics are not equipped with rule-based reasoning mechanisms for assertional knowledge base; specifically, rule and facts in logic programming, or interaction of rules and facts with terminology. In order to deal with the enriched reasoning, The Medusa provides combining DL-knowledge base and rule based reasoner. The described prototype uses $Prot{\acute{e}}g{\acute{e}}$ API[1] for controlling communication with the ontology reasoner.

• Proceedings of the KAIS Fall Conference
• /
• 2003.11a
• /
• pp.50-56
• /
• 2003

In the development of complex software system, it is important to use hierarchical use case model due to the complex scope of development procedure. The use case model is core factor of the OMG (Object Management Group)'s UML (Unified Modeling Language) diagrams. In this paper, we propose a novel method to check syntactic consistency automatically in use case models at the different level of abstraction. This method is a rule-based approach which utilizes actor tree, use case tree and use case description. The proposed method is simulated on ITS (Intelligent Transportation System) architecture for the verification.

• Geotechnical Engineering
• /
• v.10 no.3
• /
• pp.17-32
• /
• 1994

To model the anisotropic behavior of soils in the case of reverse loading, an anisotropic hardening description is proposed on the basis of generalized isotropic hardening(GIH) rule. There is a core of the GIH rule in the allowance of the concept that the center of homology of isotropic hardening can be any proper stress states inside a yield surface. The plastic deformations could be represented for the condition of reverse loading, and an explicit constitutive relationship was formulated by utilizing a simple hardening function. The proposed hardening description has been compared with other anisotropic hardening models. For verification three sets of triaxial test results have been predicted for the drained and undrained behavior of overconsolidated clays and Ko consolidated clays.

• Journal of the Korean Society for information Management
• /
• v.17 no.3
• /
• pp.147-170
• /
• 2000

RDF treats all resources independently, that's integrated description model for internet resources description, that provides the model to connect resources that related with the specific resources. This article performs theoretical review of RDF model and syntax specification and RDF schema specification that's a common rule of semanics, structure and syntax those provides search and access in the area of dispersed information environment of internet and Dublin Core that's description element for build metadata. And with this way it's materialized metadata design, schema, DTD of Dublin Core element for building RDF-based metadata that is XML application.

• Journal of the Korean Institute of Telematics and Electronics
• /
• v.24 no.6
• /
• pp.1080-1086
• /
• 1987

SLAGEN, a system for symbolic cell layout based on artificial intelligence approach, takes as input a transistor connection description of CMOS standard cells and environment information, and outputs a symbolic layout description. SLAGEN performas transistor grouping by a heuristic search method, in order to minimize the number of separations, and then performs group reordering and transistor reordering with an eye toward minimizing routing. Next, SLAGEN creates a rough initial routing in order to guarantee functionality and correctness, and then improve the initial routing by a rule-based approach.