Abstract is missing.
- Experiences in Hybridification : Enhancement of a term Subsumption Language to Cover Plural and Quantified TermsJürgen Allgayer. 5-11
- Cyclic, Transitive, and Concrete Extensions of Concept LanguagesFranz Baader. 12-16
- A Conceptual Clustering Algorithm for Semantic Data ModelsHoward W. Beck. 17-22
- Subsumption for Database Schema DesignSonia Bergamaschi, Claudio Sartori. 23-27
- Interests and Issues in Description (Terminological) LogicsRonald J. Brachman. 28-32
- Intensional Semantics and Relationships between Epistemology and OntologyAmedeo Cappelli. 33-38
- Tractable Concept LanguagesFrancesco M. Donini, Maurizio Lenzerini, Daniele Nardi, Werner Nutt. 39-42
- Extending Hybridity within the YAK Knowledge Representation SystemEnrico Franconi. 43-46
- A Non-Standard Approach to terminological Knowledge: The ITL SystemNicola Guarino. 47-50
- A Probabilistic Extension for Terminological LogicsJochen Heinsohn. 51-55
- An Approach to the Integration of Term Description Languages and ClausesRüdiger Klein. 60-71
- Reification in SB-ONEAlfred Kobsa. 72-74
- Statement of Interest, Dagstuhl WorkshopRobert M. MacGregor. 75-77
- Large Knowledge Base ManagementEric Mays. 78-79
- The CLASSIC Knowledge Representation System: Implementation, Applications, and BeyondDeborah L. McGuinness. 80-86
- The Complexity of Concept Languages (Extended Abstract)Francesco M. Donini, Maurizio Lenzerini, Daniele Nardi, Werner Nutt. 87-90
- Position Paper - Terminological Logics WorkshopLin Padgham. 91-92
- Handling Computational Difficulties with Reasoning in Terminological LogicsPeter F. Patel-Schneider. 93-96
- Modeling and ReasoningJoachim Quantz. 97-100
- From Terminological Logics to Modal LogicsKlaus Schild. 101-104
- Integrating Time into Terminological LogicsAlbrecht Schmiedel. 105-108
- Terminological Knowledge Representation: A Proposal for a Terminological LogicFranz Baader, Hans-Jürgen Bürckert, Jochen Heinsohn, Bernhard Hollunder, Jürgen Müller, Bernhard Nebel, Werner Nutt, Hans-Jürgen Profitlich. 120-128