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 BibTeX

@proceedings{DBLP:conf/dlog/1998,
  editor    = {Enrico Franconi and
               Giuseppe De Giacomo and
               Robert M. MacGregor and
               Werner Nutt and
               Christopher A. Welty},
  title     = {Proceedings of the 1998 International Workshop on Description
               Logics (DL'98), IRST, Povo - Trento, Italy, June 6-8, 1998},
  booktitle = {Description Logics},
  publisher = {CEUR-WS.org},
  series    = {CEUR Workshop Proceedings},
  volume    = {11},
  year      = {1998},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Description Logics and Logics

Maarten de Rijke:
Description Logics and Modal Logics.
Electronic Edition (CEUR Workshop Proceedings) BibTeX
Erich Grädel:
Description Logics and Guarded Fragments of First Order Logic.
Electronic Edition (CEUR Workshop Proceedings) BibTeX

Description Logics and the World Wide Web

Christopher A. Welty:
DLs for DLs: Description Logics for Digital Libraries.
Electronic Edition (CEUR Workshop Proceedings) BibTeX
Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini:
Semi-structured Data with Constraints and Incomplete Information.
Electronic Edition (CEUR Workshop Proceedings) BibTeX

Foundations

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

Systems Comparison

Ian Horrocks, Peter F. Patel-Schneider:
DL Systems Comparison (Summary Relation).
Electronic Edition (CEUR Workshop Proceedings) BibTeX
Enrico Franconi:
CRACK.
Electronic Edition (CEUR Workshop Proceedings) BibTeX
Peter F. Patel-Schneider:
DLP.
Electronic Edition (CEUR Workshop Proceedings) BibTeX
Ian Horrocks:
FaCT.
Electronic Edition (CEUR Workshop Proceedings) BibTeX
Volker Haarslev, Ralf Möller, Anni-Yasmin Turhan:
HAM-ALC.
Electronic Edition (CEUR Workshop Proceedings) BibTeX
Ian Horrocks:
Kris.
Electronic Edition (CEUR Workshop Proceedings) BibTeX
Peter F. Patel-Schneider:
NeoClassic.
Electronic Edition (CEUR Workshop Proceedings) BibTeX

Systems

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

Applications

Liviu Badea:
Planning in Description Logics: Deduction versus Satisfiability Testing.
Electronic Edition (CEUR Workshop Proceedings) BibTeX
Jean Carrive, François Pachet, Rémi Ronfard:
Using Description Logics for Indexing Audiovisual Documents.
Electronic Edition (CEUR Workshop Proceedings) BibTeX
Ernesto Compatangelo, Francesco M. Donini, Giovanni Rumolo:
DL-based Support to Domain Engineering.
Electronic Edition (CEUR Workshop Proceedings) BibTeX
Bernd Ludwig, Günther Görz, Heinrich Niemann:
Combining Expression and Content in Domains for Dialog Managers.
Electronic Edition (CEUR Workshop Proceedings) BibTeX
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.
Electronic Edition (CEUR Workshop Proceedings) BibTeX

Extensions

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