Issues in Description Logics: Users Meet Developers, Boston, MA, USA, October 1992 - researchr publication

researchr

You are not signed in
Sign in
Sign up

Robert M. MacGregor, Deborah L. McGuinness, Eric Mays, Thomas A. Russ, editors, Issues in Description Logics: Users Meet Developers, Boston, MA, USA, October 1992. AAAI Fall Symposium Series, AAAI Press, 1992.

Conference: dlog1992

Abstract is missing.

Are Complete an Expressiv Terminological Systems Feasible?Franz Baader, Werner Nutt. 1-5

F-Logic as a Basis for a General Description LogicMira Balaban. 6-10

Representational Extensions of DLsSonia Bergamaschi, Stefano Lodi, Claudio Sartori. 11-13

Structural Subsumption: What Is It and Why Is It Important?Alexander Borgida. 14-18

Knowledge Representation Theory Meets Reality: Some Brief Lessons from the CLASSIC ExperienceRonald J. Brachman. 19-26

Structural Subsumption as a Basis for Intensional SemanticsRobert Dionne. 27-30

Collective Entities and Relations in Concept LanguagesEnrico Franconi. 31-35

Particles of the Part Whole RelationManfred Gehrke. 38-38

Kinds of Relations: Some Methodological Principles for Using Description LogicsNicola Guarino. 39-44

How to Benefit from Terminological Logics?Philipp Hanschke. 45-48

Integrating DL and Plan-based ParadigmsDiane J. Litman. 49-52

What s Needed to Make a Description Logic a Good KR Citizen?Robert M. MacGregor. 53-55

Making Description Logic Based Knowledge Representation Systems More UsableDeborah L. McGuinness. 56-58

10 Years Don t Mean Nothing?Bill Mark. 59-60

Representation of Partial Order Relations and Procedures in Object-based Representation SystemsAmedeo Napoli. 61-63

Combining Classification and Nonmonotonic Inheritance Reasoning: A First StepLin Padgham, Bernhard Nebel. 64-71

Defaults and DescriptionsPeter F. Patel-Schneider. 72-73

Partial Reasoning in Knowledge Representation Systems Based on Description LogicsPeter F. Patel-Schneider. 74-75

The Logical Way to Build a DL-based KR SystemBernhard Pfahringer. 76-77

A Step Towards Second OrderJoachim Quantz. 78-82

Adding Time to a Knowledge Representation LanguageThomas A. Russ. 83-85

On the Role of Subsumption Algorithms in Concept Description LanguagesAndrea Schaerf. 86-97

For a More Expressive Query LanguageAlbrecht Schmiedel. 98-102

Issues in Description LogicsRobert A. Weida. 103-106

runs on WebDSL