Proceedings of the 1992 Workshop on Issues in Description Logics: Users
Meet Developers
Boston, MA, USA
MacGregor, R., McGuinness, D.L., Mays, E., Russ, T.
(Eds.):
Issues in Description Logics: Users Meet Developers, AAAI Fall Symposium
Series, Cambridge, MA, October 1992.
- Franz Baader, Werner Nutt: Are Complete an Expressiv Terminological
Systems Feasible? 1-5
- Mira Balaban: F-Logic as a Basis for a General Description Logic. 6-10
- Sonia Bergamaschi, Stefano Lodi, Claudio Sartori: Representational
Extensions of DLs. 11-13
- Alex Borgida: Structural Subsumption: What Is It and Why Is It Important?
14-18
- Ron Brachman: Knowledge Representation Theory Meets Reality: Some Brief
Lessons from the CLASSIC Experience. 19-26
- Bob Dionne: Structural Subsumption as a Basis for Intensional
Semantics. 27-30
- Enrico Franconi: Collective Entities and Relations in Concept
Languages. 31-35
- Manfred Gehrke: Particles of the Part Whole Relation. 38-38
- Nicola Guarino: Kinds of Relations: Some Methodological Principles
for Using Description Logics. 39-44
- Philipp Hanschke: How to Benefit from Terminological Logics? 45-48
- Diane Litman: Integrating DL and Plan-based Paradigms. 49-52
- Bob MacGregor: What's Needed to Make a Description Logic a Good KR
Citizen? 53-55
- Deborah McGuinness: Making Description Logic Based Knowledge
Representation Systems More Usable. 56-58
- Bill Mark: 10 Years Don't Mean Nothing? 59-60
- Amedeo Napoli: Representation of Partial Order Relations and Procedures
in Object-based Representation Systems. 61-63
- Lin Padgham, Bernhard Nebel: Combining Classification and Nonmonotonic
Inheritance Reasoning: A First Step. 64-71
- Peter Patel-Schneider: Defaults and Descriptions. 72-73
- Peter Patel-Schneider: Partial Reasoning in Knowledge Representation
Systems Based on Description Logics. 74-75
- Bernhard Pfahringer: The Logical Way to Build a DL-based KR System. 76-77
- Joachim Quantz: A Step Towards Second Order. 78-82
- Thomas Russ: Adding Time to a Knowledge Representation Language. 83-85
- Andrea Schaerf: On the Role of Subsumption Algorithms in Concept
Description Languages. 86-97
- Albrecht Schmiedel: For a More Expressive Query Language. 98-102
- Robert Weida: Issues in Description Logics. 103-106