FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W6829905> ?p ?o ?g. }

• W6829905 endingPage "207" @default.
• W6829905 startingPage "203" @default.
• W6829905 abstract "Objects In a conceptual model for knowledge bases the data and knowledge are represented formally as “items”. The foundation of this model is a “basis” consisting of data items. “Objects” are “item building” operators that are applied to the basis to build the information items and knowledge items in the conceptual model. Objects may be decomposed. In this way the knowledge in the resulting conceptual model is simplified. Knowledge object decomposition removes hidden and unwanted relationships from the knowledge base. In [9] items are defined formally, and objects are introduced informally to build the conceptual model. Here objects and their decomposition are defined. The type of an m-adic item is determined both by whether it is a data item, an information item or a knowledge item and by the value of m. The type is denoted respectively by Dm, Im and Km. Items may also have unspecified, or free, type which is denoted by Xm. Formally, given a unique name A , a j-tuple (i1, i2,..., ij), j variables (Q1, Q2,..., Qj) of type (X1 i 1, X2 i 2,..., Xj ij) respectively where each Xk represents a type such as X , D , I or K , an n-tuple (m1, m2,..., mn), n ≥ j, M = Σι mi, n not necessarily distinct variables (P1, P2,..., Pn) such that (ax: 1≤x≤n)(sy)(Px = Qy and mx = iy): Introduction The majority of conceptual models treat the “rule base” component [1] separately from the “database” component, [2] and [3]. This enables well established design methodologies to be employed, but the use of two separate models means that the interrelationship between the things in these two models cannot be represented, integrated and manipulated naturally [4]. Further, neither of these separate models is therefore able to address completely the maintenance [5] of the whole knowledge base [6]. • E is a j-argument typed λ-calculus expression of type (X1 i1, X2 i2,..., Xj i j ): λQ1:X1 1Q2:X2 2...Qj:Xj i j •λy1...y 1 m1 ...yn mn P1 (y1,...,y 1 m1 ) o P2 2 1,...,y 2 m2 ) o o Pn n 1,...,y n mn ) The first step in a design methodology [7] is the construction of a requirements model, and the second step is the construction of a conceptual model that specifies how the system will do what it is required to do. The conceptual model is expressed in terms of items and objects. The third step in that design methodology is the construction of an external model [8] that shows how the knowledge in the conceptual model may deliver the functionality required. The external model is also expressed in terms of items and objects. o J(y1...y 1 m1 ...yn mn )]•• where SB is the semantics of item B, and if J is a “separable” predicate as defined on the following page then it should be shown in its separated form. SB is a λcalculus expression that recognises the members of the value set of item B as defined in [9]. • F is a j-argument typed λ-calculus expression of type (X1 i1, X2 i2,..., Xj i j ): The conceptual model described in [9] is built by applying “objects” as operators to data “items” in the model “basis”. Items and objects enable a uniform approach to be taken to knowledge representation. Items and objects are viewed either formally as λ-calculus expressions or informally as schema. The λ-calculus view provides a sound theoretical basis for the work; it is not intended for practical use. So the approach has both theoretical and practical significance. If the object operators are decomposed then hidden and unwanted relationships in the knowledge are removed and so the resulting conceptual model is simplified. λQ1:X1 1Q2:X2 2...Qj:Xj i j •λy1...y 1 m1 ...yn mn P1 (y1,...,y 1 m1 ) o P2 2 1,...,y 2 m2 ) o o Pn n 1,...,y n mn ) o K(y1,...y 1 m1 ...yn mn )]•• where VB denotes the value constraints of item B, and K is essentially an m-argument predicate where min(M,2) ≤ m ≤ M. VB is a λ-calculus expression that is satisfied by the members of the value set of item B as defined in [9]. From: Proceedings of the Twelfth International FLAIRS Conference. Copyright © 1999, AAAI (www.aaai.org). All rights reserved." @default.
• W6829905 created "2016-06-24" @default.
• W6829905 creator A5087506309 @default.
• W6829905 date "1999-05-01" @default.
• W6829905 modified "2023-09-22" @default.
• W6829905 title "Knowledge Object Decomposition" @default.
• W6829905 cites W108616100 @default.
• W6829905 cites W1510981026 @default.
• W6829905 cites W1588478719 @default.
• W6829905 cites W1594099509 @default.
• W6829905 cites W1599728301 @default.
• W6829905 cites W1903908681 @default.
• W6829905 cites W194776733 @default.
• W6829905 cites W2138709157 @default.
• W6829905 cites W2914901645 @default.
• W6829905 cites W2999886563 @default.
• W6829905 hasPublicationYear "1999" @default.
• W6829905 type Work @default.
• W6829905 sameAs 6829905 @default.
• W6829905 citedByCount "2" @default.
• W6829905 crossrefType "proceedings-article" @default.
• W6829905 hasAuthorship W6829905A5087506309 @default.
• W6829905 hasConcept C118615104 @default.
• W6829905 hasConcept C118930307 @default.
• W6829905 hasConcept C121332964 @default.
• W6829905 hasConcept C124101348 @default.
• W6829905 hasConcept C12426560 @default.
• W6829905 hasConcept C124681953 @default.
• W6829905 hasConcept C134306372 @default.
• W6829905 hasConcept C13606891 @default.
• W6829905 hasConcept C154945302 @default.
• W6829905 hasConcept C168167062 @default.
• W6829905 hasConcept C18903297 @default.
• W6829905 hasConcept C23123220 @default.
• W6829905 hasConcept C2524010 @default.
• W6829905 hasConcept C2777299769 @default.
• W6829905 hasConcept C2781238097 @default.
• W6829905 hasConcept C33923547 @default.
• W6829905 hasConcept C41008148 @default.
• W6829905 hasConcept C42058472 @default.
• W6829905 hasConcept C4554734 @default.
• W6829905 hasConcept C77088390 @default.
• W6829905 hasConcept C80444323 @default.
• W6829905 hasConcept C86803240 @default.
• W6829905 hasConcept C97355855 @default.
• W6829905 hasConceptScore W6829905C118615104 @default.
• W6829905 hasConceptScore W6829905C118930307 @default.
• W6829905 hasConceptScore W6829905C121332964 @default.
• W6829905 hasConceptScore W6829905C124101348 @default.
• W6829905 hasConceptScore W6829905C12426560 @default.
• W6829905 hasConceptScore W6829905C124681953 @default.
• W6829905 hasConceptScore W6829905C134306372 @default.
• W6829905 hasConceptScore W6829905C13606891 @default.
• W6829905 hasConceptScore W6829905C154945302 @default.
• W6829905 hasConceptScore W6829905C168167062 @default.
• W6829905 hasConceptScore W6829905C18903297 @default.
• W6829905 hasConceptScore W6829905C23123220 @default.
• W6829905 hasConceptScore W6829905C2524010 @default.
• W6829905 hasConceptScore W6829905C2777299769 @default.
• W6829905 hasConceptScore W6829905C2781238097 @default.
• W6829905 hasConceptScore W6829905C33923547 @default.
• W6829905 hasConceptScore W6829905C41008148 @default.
• W6829905 hasConceptScore W6829905C42058472 @default.
• W6829905 hasConceptScore W6829905C4554734 @default.
• W6829905 hasConceptScore W6829905C77088390 @default.
• W6829905 hasConceptScore W6829905C80444323 @default.
• W6829905 hasConceptScore W6829905C86803240 @default.
• W6829905 hasConceptScore W6829905C97355855 @default.
• W6829905 hasLocation W68299051 @default.
• W6829905 hasOpenAccess W6829905 @default.
• W6829905 hasPrimaryLocation W68299051 @default.
• W6829905 hasRelatedWork W13853381 @default.
• W6829905 hasRelatedWork W1553424512 @default.
• W6829905 hasRelatedWork W1570909368 @default.
• W6829905 hasRelatedWork W1577967548 @default.
• W6829905 hasRelatedWork W1582085724 @default.
• W6829905 hasRelatedWork W1594099509 @default.
• W6829905 hasRelatedWork W1832793528 @default.
• W6829905 hasRelatedWork W204487759 @default.
• W6829905 hasRelatedWork W2095436502 @default.
• W6829905 hasRelatedWork W2099544059 @default.
• W6829905 hasRelatedWork W2111282038 @default.
• W6829905 hasRelatedWork W2133515165 @default.
• W6829905 hasRelatedWork W2136104224 @default.
• W6829905 hasRelatedWork W2355493958 @default.
• W6829905 hasRelatedWork W2360498343 @default.
• W6829905 hasRelatedWork W2367629516 @default.
• W6829905 hasRelatedWork W2372003984 @default.
• W6829905 hasRelatedWork W2376381053 @default.
• W6829905 hasRelatedWork W2999886563 @default.
• W6829905 hasRelatedWork W72086225 @default.
• W6829905 isParatext "false" @default.
• W6829905 isRetracted "false" @default.
• W6829905 magId "6829905" @default.
• W6829905 workType "article" @default.