Information Modelling and Knowledge Bases IV: Concepts, Methods and SystemsHannu Kangassalo, Hannu Jaakkola IOS Press, 1993 - 440 páginas |
Conteúdo
Information Condensation in Conceptual Modelling | 1 |
A Fundamental Fact which Conceptual Modeller has to Face | 14 |
Application of Articulation Aid to Design | 56 |
Abstraction Techniques in Semantic Modelling | 65 |
Automatic Semantic Schema Classification | 87 |
Graphical Primitives for Querying Heterogeneous Databases | 106 |
T Catarci G Santucci | 125 |
Towards Lexical Knowledge Base Construction by Cooperation | 159 |
Questions Queries and Functions | 256 |
Rules and Exceptions | 271 |
A Logic Programming Approach to Database Integrity Constraints | 287 |
B Kovács T U Zahle | 305 |
Equivalence and Nonequivalence Transformations | 319 |
Using Partial Deduction for Automatic Propagation | 339 |
Petri Net Modeling of a Distributed Database Environment | 353 |
J Henno | 366 |
LSystems and Logic Grammars | 171 |
Selfsubstitution in Modal Unification | 180 |
A Goal Driven Approach to Knowledge Extraction for Architectural | 196 |
Problems with the Understanding and Representation | 207 |
Evaluatory Comparison of Three IS and ISD Reference Frameworks | 217 |
VIII | 229 |
Domain Modelling for Technical Documentation Retrieval | 388 |
Several Realizability Concepts in Reactive Objects | 407 |
Relationships between Dynamic Objects | 425 |
439 | |
Termos e frases comuns
algebra algorithm analysis application approach Artificial Intelligence attributes basic bijection C₁(S clause concept classes conceptual modelling construction corresponding d₁ d₂ data base data model database deductive defined definition describe domain DS4-tableau elabknow entities Entity-Relationship Model environment example exception handling exists expressed Figure finite formal formula frameworks function graphical abstraction Information Modelling information systems instance integrity constraints interaction interpretation Kangassalo knowledge base knowledge representation L-systems label Lemma logic grammars logic programming mapping methodologies methods model graph natural language natural numbers Object-Oriented objects OODB operations paper Peano postulates Petri net predicate system primary key primitive problem Proc procedure Prolog PS₁ recursive relationships relevant representation represented result retrieval satisfiable schema schemata SD-Form semantics model semantic abstraction semantic network sentences specification structure techniques temporal logic Theorem theory transformation Tup1 tuple Tuple2 values