Knowledge Representation with MultiNet / Part I: |
Introduction / 1: |
Historical Roots / 2: |
Basic Concepts / 3: |
General Remarks / 3.1: |
Classificatory Knowledge / 3.2: |
Sorts and Features / 3.2.1: |
Multidimensional Layer Attributes / 3.2.2: |
Immanent vs. Situational Components of Meaning / 3.2.3: |
Classification of Questions / 3.2.4: |
Structural Means of Representation / 3.3: |
Relations and Functions / 3.3.1: |
Inferential Relationships - Axiomatic Rules / 3.3.2: |
Semantic Characterization of Objects / 4: |
The Hierarchical Order of Objects / 4.1: |
Material Characterization of Objects / 4.2: |
Qualitative Characterization of Objects / 4.3: |
Assignment of Properties to Objects / 4.3.1: |
Attribute-Value Characterizations / 4.3.3: |
Instances, Attributes, and Values / 4.3.3.1: |
Generic Concepts and Their Attributes / 4.3.3.2: |
Possession, Attachment, and Association / 4.4: |
Possession / 4.4.1: |
Assignment of Objects to Objects (Attachment) / 4.4.2: |
Association / 4.4.3: |
Different Manifestations of Objects / 4.5: |
Semantic Characterization of Situations / 5: |
The General Structure of Situations / 5.1: |
Events [Dynamic Situations] / 5.2: |
Participants and C-Roles [Valency Frames] / 5.2.1: |
Conceptual Subordination of Situations / 5.2.2: |
Circumstances / 5.2.3: |
States [Static Situations] / 5.3: |
The Comparison of Entities / 6: |
Typical Relations of Comparison / 6.1: |
The Semantic Treatment of Comparison / 6.2: |
The Absolute or Positive / 6.2.1: |
The Comparative / 6.2.2: |
The Superlative / 6.2.3: |
The Spatio-temporal Characterization of Entities / 7: |
General Remarks on Space and Time / 7.1: |
Local Relations / 7.2: |
Temporal Relations / 7.3: |
Situations and Times / 7.4: |
Modality and Negation / 8: |
The Modal Characterization of Situations / 8.1: |
Negation / 8.2: |
Modalities in a Narrower Sense / 8.3: |
Quantification and Pluralities / 9: |
The Role of Layer Information in Semantic Representations / 10: |
Degree of Generalization: GENER / 10.1: |
Facticity: FACT / 10.3: |
Determination of Reference: REFER / 10.4: |
Variability: VARIA / 10.5: |
Relations Between Situations / 11: |
Semantic Interpretation of Conjunctions / 11.1: |
Subordinating Conjunctions (Subordinators) / 11.1.1: |
Coordinative Conjunctions (Coordinators) / 11.1.3: |
Conditions and Reasons / 11.2: |
Language Phenomena and Representational Means / 11.2.1: |
Causality / 11.2.2: |
Conditional Relations / 11.2.3: |
Counterfactuals / 11.3: |
Contextual Restrictions and Situational Embedding / 11.4: |
The Rhetorical Structure Theory (RST) / 11.5: |
Lexicon and Knowledge Representation / 12: |
Linguistic Knowledge and World Knowledge / 12.1: |
The Semantic Component of the Lexicon / 12.2: |
Question Answering and Inferences / 13: |
Logical Principles / 13.1: |
Classes of Questions and Inferential Answer Finding / 13.2: |
Associatively Guided Question Answering / 13.3: |
Software Tools for the Knowledge Engineer / Sample Applications / 14: |
Knowledge Management as an Engineering Task / 14.1: |
MWR - the Workbench for the Knowledge Engineer / 14.2: |
NatLink - A Semantic Interpreter for MultiNet / 14.3: |
LIA - the Workbench for the Computer Lexicographer / 14.4: |
VILAB - The Virtual Laboratory / 14.5: |
Comparison Between MultiNet and Other Semantic Formalisms / 15: |
Introductory Remarks / 15.1: |
MultiNet and Other Network Representations / 15.2: |
Structured Inheritance Networks / 15.2.1: |
The Semantic Network Processing System (SNePS) / 15.2.2: |
Sowa's Conceptual Structures (SCS) / 15.2.3: |
Scripts and the Conceptual Dependency Theory / 15.2.4: |
MultiNet and Logic-Oriented Semantic Formalisms / 15.3: |
The Discourse Representation Theory / 15.3.1: |
Description Logics / 15.3.3: |
The Generalized Quantifier Theory / 15.3.4: |
Comparison Between MultiNet and Frame Representations / 15.4: |
The Knowledge Representation Language KRL / 15.4.1: |
The Knowledge Base Project CYC / 15.4.3: |
The Representational Means of MultiNet / Part II: |
Overview and Representational Principles / 16: |
MultiNet Within the Context of Knowledge Processing / 16.1: |
The Paradigm of Multilayered Extended Semantic Networks / 16.2: |
Conventions of Description / 16.3: |
Means for Expressing Classification and Stratification / 17: |
Layers / 17.1: |
General Remarks on the Typology of Layer Attributes / 17.2.1: |
Degree of Generality (Attribute GENER) / 17.2.2: |
Determination of Reference (Attribute REFER) / 17.2.3: |
Variabihty (Attribute VARIA) / 17.2.4: |
Facticity (Attribute FACT) / 17.2.5: |
Quantification (QUANT) vs. Cardinality (CARD) / 17.2.6: |
Type of Extensionality (Attribute ETYPE) / 17.2.7: |
The Classification of Nominal Concepts / 17.2.8: |
Encapsulation of Concepts / 17.3: |
Overview / 18: |
Relations / 18.2: |
AFF: C-Role - Affected Object / 18.2.1: |
AGT: C-Role - Agent / 18.2.2: |
ANLG2/3: Similarity Between Entities / 18.2.3: |
ANTE: Relation of Temporal Succession / 18.2.4: |
ANTO: Antonymy Relation / 18.2.5: |
ARG1/2/3: Argument Specification at the Metalevel / 18.2.6: |
ASSOC: Association / 18.2.7: |
ATTCH: Attachment of Objects / 18.2.8: |
ATTR: Assignment of Attributes to Objects / 18.2.9: |
AVRT: C-Role - Averting from an Object / 18.2.10: |
BENE: C-Role - Beneficiary / 18.2.11: |
CAUS: Causality, Relation Between Cause and Effect / 18.2.12: |
CHEA: Sortal Change: Event - Abstract Concept / 18.2.13: |
CHPA: Sortal Change: Property - Abstract Concept / 18.2.14: |
CHPE: Sortal Change: Property - Event / 18.2.15: |
CHPS: Sortal Change: Property - State / 18.2.16: |
CHSA: Sortal Change: State - Abstract State / 18.2.17: |
CHSP1/2/3: Sortal Change Between Situational Concepts and Properties / 18.2.18: |
CIRC: Relation Between a Situation and a Concomitant Situation / 18.2.19: |
CNVRS: Lexical Relation Between Converse Concepts / 18.2.20: |
COMPL: Complementarity / 18.2.21: |
CONC: Relation Expressing a Concession / 18.2.22: |
COND: Conditional Relation / 18.2.23: |
CONF: Relation Expressing the Conformity with an Abstract Frame / 18.2.24: |
CONTR: Relation of Contrast / 18.2.25: |
CORR: Qualitative or Quantitative Correspondence / 18.2.26: |
CSTR: C-Role - Causator / 18.2.27: |
CTXT: Relation Specifying a Restricting Context / 18.2.28: |
DIRCL: Local Destination or Direction / 18.2.29: |
DISTG/2/3: Relations Specifying a Difference / 18.2.30: |
DPND: Dependency Relation / 18.2.31: |
DUR: Relation Specifying a Temporal Extension / 18.2.32: |
ELMT: Element Relation / 18.2.33: |
EQU: Equivalence Relation / 18.2.34: |
EXP: C-Role - Experiencer of an Event / 18.2.35: |
EXT: Relation Between Intension and Extension / 18.2.36: |
FIN: Temporal End / 18.2.37: |
GOAL: Generalized Goal / 18.2.38: |
HSIT: Constituents of a Hypersituation / 18.2.39: |
IMPL: Implication Relation Between Situations / 18.2.40: |
INIT: Initial Situation or Entity / 18.2.41: |
INSTR: C-Role - Instrument / 18.2.42: |
JUST: Justification of a Situation / 18.2.43: |
LEXT: Relation Specifying a Local Extent / 18.2.44: |
LOC: Location of a Situation / 18.2.45: |
MAJ/MAJE: 'Greater than (or Equal to)'-Relation / 18.2.46: |
MANNR: Relation Specifying the Manner / 18.2.47: |
MCONT: C-Role - Relation Between a Mental Process and Its Content / 18.2.48: |
MERO: Meronymy Relation / 18.2.49: |
METH: C-Role - Method / 18.2.50: |
MEXP: C-Role - Mental Experiencer / 18.2.51: |
MIN/MINE: 'Smaller than (or Equal to)'-Relation / 18.2.52: |
MODE: Generalized Mode of a Situation / 18.2.53: |
MODL: Relation Specifying the Modality of a Situation / 18.2.54: |
NAME: Assignment of a Name to an Object / 18.2.55: |
OBJ: C-Role - Neutral Object as Participant / 18.2.56: |
OPPOS: C-Role - Relation Specifying an Opposition / 18.2.57: |
ORIG: Mental or Informational Origin / 18.2.58: |
ORIGL: Relation Specifying the Local Origin / 18.2.59: |
ORIGM: Relation Specifying the Material Origin / 18.2.60: |
ORNT: C-Role - Orientation to an Object / 18.2.61: |
PARS: Relation Between Part and Whole / 18.2.62: |
POSS: Relation of Possession / 18.2.63: |
PRED/PREDR/PREDS: Predicative Concept Governing a Plurality / 18.2.64: |
PROP: Relation Between Object and Property / 18.2.65: |
PROPR: Relation Between a Plurality and a Semantically Relational Property / 18.2.66: |
PURP: Relation Specifying a Purpose / 18.2.67: |
QMOD: Quantitative Modification / 18.2.68: |
REAS: General Reason for a Situation / 18.2.69: |
RPRS: Representational Form or Manifestation of an Object / 18.2.70: |
RSLT: C-Role - Result / 18.2.71: |
SCAR: C-Role - Carrier of a State (Passive) / 18.2.72: |
SETOF: Relation Between the Extensional of a Plurality and the Governing Predicative Concept / 18.2.73: |
SITU: Situational Embedding or Abstract Location / 18.2.74: |
SOURC: Generalized Source or Origin / 18.2.75: |
SSPE: C-Role - Entity Specifying a State / 18.2.76: |
STRT: Relation Specifying the Temporal Beginning / 18.2.77: |
SUB: Subordination of Concepts Representing Objects / 18.2.78: |
SUBO: Generalized Subordination Relation / 18.2.79: |
SUBM/SUBME: Subsumption of Sets (Set Inclusion) / 18.2.80: |
SUBR: Metarelation for the Description of Relations / 18.2.81: |
SUBS: Subordination of Situations / 18.2.82: |
SUBST: Relation Specifying a Substitute for an Entity / 18.2.83: |
SUPPL: Supplement Relation / 18.2.84: |
SYNO: Synonymy Relation / 18.2.85: |
TEMP: Relation Specifying a Temporal Frame / 18.2.86: |
VAL: Relation Between Attribute and Value / 18.2.87: |
VALR: Relation Between Attributes and Their Value Restriction / 18.2.88: |
VIA: Relation Specifying a Spatial Path / 18.2.89: |
Functions / 18.3: |
ALTN1/2: Construction of Alternative Pluralities / 18.3.1: |
COMP: Function for the Comparison of Properties / 18.3.2: |
DIFF: Set Difference / 18.3.3: |
FLP[subscript J]: Functions Generating Locations / 18.3.4: |
INTSC: Intersection of Sets / 18.3.5: |
ITMS/ITMS-I: Function for Enumerating Sets and Its Counterpart at the Intensional Level / 18.3.6: |
MODP: Function for the Modification of Properties / 18.3.7: |
MODQ: Function for the Modification of Quantities / 18.3.8: |
MODS: Modification of a Situational Concept / 18.3.9: |
NON: Family of Functions Specifying Negation / 18.3.10: |
OP[subscript J]: Arithmetic Operations / 18.3.11: |
ORD: Function Defining Ordinal Numbers / 18.3.12: |
PMOD: Modification of Objects by Associative Properties / 18.3.13: |
QUANT: Function Generating Quantities / 18.3.14: |
SUPL: Function Characterizing the Superlative / 18.3.15: |
TUPL: Function Generating Tuples / 18.3.16: |
UNION: Union of Sets / 18.3.17: |
VEL1/2: Disjunctive Composition of Situations / 18.3.18: |
Table of Abbreviations / A: |
Overview of the Representational Means / B: |
Semantic Templates for the Meaning of Relations / C: |
Characterization of Arcs with Regard to Their Knowledge Type / D: |
Classes of Typical Axioms / E: |
R-Axioms (Categorical Knowledge) / E.1: |
R-Axioms (Default Knowledge) / E.2: |
R-Axioms (Definitions of Relations) / E.3: |
Axioms Concerning the Preextensional Level / E.4: |
B-Axioms (Categorical Knowledge) / E.5: |
R-Axioms and B-Axioms (Spatio-temporal Relations) / E.6: |
Axiom Schemata (B-Axioms) / E.7: |
Axiom Schemata (R-Axioms) / E.8: |
Bibliography |
List of Figures |
Index |