Proceedings of the International Workshop on Terminological Logics
Dagstuhl, Germany, 1991
Bernhard Nebel, Kai von Luck, Christof Peltason
(Eds.):
Proceedings of the International Workshop on Terminological Logics,
DFKI-D-91-13,
1991. Also published as KIT Report and IWBS Report 184
- Jürgen
Allgayer:
Experiences in 'Hybridification': Enhancement of a term Subsumption Language
to Cover Plural and Quantified Terms.
5-11
- Franz
Baader:
Cyclic, Transitive, and Concrete Extensions of Concept Languages.
12-16
- Howard
W. Beck:
A Conceptual Clustering Algorithm for Semantic Data Models.
17-22
- Sonia Bergamaschi, Claudio Sartori:
Subsumption for Database Schema Design.
23-27
- Ronald J. Brachman:
Interests and Issues in Description (Terminological) Logics.
28-32
- Amedeo Cappelli:
Intensional Semantics and Relationships between Epistemology and Ontology.
33-38
- Francesco M. Donini, Maurizio Lenzerini, Daniele Nardi, Werner Nutt:
Tractable Concept Languages.
39-42
- Enrico Franconi:
Extending Hybridity within the YAK Knowledge Representation System.
43-46
- Nicola Guarino:
A Non-Standard Approach to terminological Knowledge: The ITL System.
47-50
- Jochen Heinsohn:
A Probabilistic Extension for Terminological Logics.
51-55
- Carsten Kindermann:
On Conceptual Indexing in Terminological Systems.
56-59
- Rüdiger Klein:
An Approach to the Integration of Term Description Languages and Clauses.
60-71
- Alfred Kobsa:
Reification in SB-ONE.
72-74
- Robert M. MacGregor:
Statement of Interest, Dagstuhl Workshop.
75-77
- Eric Mays:
Large Knowledge Base Management.
78-79
- Deborah L. McGuinness:
The CLASSIC Knowledge Representation System: Implementation, Applications, and
Beyond.
80-86
- Francesco M. Donini, Maurizio Lenzerini, Daniele Nardi, Werner Nutt:
The Complexity of Concept Languages (Extended Abstract).
87-90
- Lin Padgham:
Position Paper - Terminological Logics Workshop.
91-92
- Peter F. Patel-Schneider:
Handling Computational Difficulties with Reasoning in Terminological Logics.
93-96
- Joachim Quantz:
Modeling and Reasoning.
97-100
- Klaus Schild:
From Terminological Logics to Modal Logics.
101-104
- Albrecht Schmiedel:
Integrating Time into Terminological Logics.
105-108
- Roland Seiffert:
Sorted Feature terms and Relational Dependencies.
109-116
- William R. Swartout:
Using Terminological Logics in a Problem Solver.
117-119
- Franz Baader, Hans-Jürgen Bürckert, Jochen Heinsohn, Bernhard
Hollunder, Jürgen Müller, Bernhard Nebel, Werner Nutt, Hans-Jürgen
Profitlich:
Terminological Knowledge Representation: A Proposal for a Terminological
Logic.
120-128