Description Logics 1998: Trento, Italy

Enrico Franconi, Giuseppe De Giacomo, Robert M. MacGregor, Werner Nutt, Christopher A. Welty (Eds.): Proceedings of the 1998 International Workshop on Description Logics (DL'98), IRST, Povo - Trento, Italy, June 6-8, 1998. CEUR Workshop Proceedings 11 CEUR-WS.org 1998

Description Logics and Logics

Maarten de Rijke:
Description Logics and Modal Logics.
Erich Grädel:
Description Logics and Guarded Fragments of First Order Logic.

Christopher A. Welty:
DLs for DLs: Description Logics for Digital Libraries.
Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini:
Semi-structured Data with Constraints and Incomplete Information.

Franz Baader, Alexander Borgida, Deborah L. McGuinness:
Matching in Description Logics: Preliminary Results.
Franz Baader, Ralf Küsters, Ralf Molitor:
Structural Subsumption Considered from an Automata-Theoretic Point of View.
Carlos Areces, Maarten de Rijke:
Expressiveness Revisited.
Franz Baader, Ralf Küsters:
Least Common Subsumer Computation w.r.t. cyclic ALN-Terminologies.
Véronique Ventos, Pierre Brézellec, Henry Soldano, Dominique Bouthinon:
Learning Concepts in C-CLASSIC(delta/epsilon).

Diego Calvanese, Giuseppe De Giacomo, Riccardo Rosati:
A Note on Encoding Inverse Roles and Functional Restrictions in ALC Knowledge Bases.
Ian Horrocks, Ulrike Sattler:
A Description Logic with Transitive and Inverse Roles and Role Hierarchies.
Volker Haarslev, Ralf Möller, Anni-Yasmin Turhan:
Implementing an ALCRP(D) ABox Reasoner - Progress Report.
Peter F. Patel-Schneider:
DLP System Description.
Ian Horrocks, Peter F. Patel-Schneider:
Comparing Subsumption Optimizations.
Quentin Elhaik, Marie-Christine Rousset, Bernard Ycart:
Generating Random Benchmarks for Description Logics.
Quentin Elhaik, Marie-Christine Rousset:
Making an ABox Persistent.

Liviu Badea:
Planning in Description Logics: Deduction versus Satisfiability Testing.
Jean Carrive, François Pachet, Rémi Ronfard:
Using Description Logics for Indexing Audiovisual Documents.
Ernesto Compatangelo, Francesco M. Donini, Giovanni Rumolo:
DL-based Support to Domain Engineering.
Bernd Ludwig, Günther Görz, Heinrich Niemann:
Combining Expression and Content in Domains for Dialog Managers.
François de Bertrand de Beuvron, David Rudloff, Michael Schlick:
Extending Tableaux Calculus with Limited Regular Expression for Role Path: an Application to Natural Language Processing.

Jordi Alvarez:
A Description Logic System for Learning in Complex Domains.
Uwe Küssner:
Description Logic Unplugged.
Patrick Lambrix, Pierpaolo Larocchia:
Learning Composite Concepts.
Lin Padgham:
Incorporating Default Characteristics and Approximate Matching in Description Logics.
Amedeo Napoli:
A Note on the Representation and Manipulation of Structures.

Last update Thu May 24 04:16:27 2012 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page