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-WS.org 1998 CEUR Workshop Proceedings
Description Logics and Logics
- Maarten de Rijke: Description Logics and Modal Logics.
- Erich Grädel: Description Logics and Guarded Fragments of First Order Logic.
Description Logics and the World Wide Web
- 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.
Foundations
- 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.
- Véronique Ventos, Pierre Brézellec, Henry Soldano, Dominique Bouthinon: Learning Concepts in C-CLASSIC(delta/epsilon).
Systems Comparison
- Enrico Franconi: CRACK.
- Peter F. Patel-Schneider: DLP.
- Ian Horrocks: FaCT.
- Ian Horrocks: Kris.
- Peter F. Patel-Schneider: NeoClassic.
Systems
- 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.
- Quentin Elhaik, Marie-Christine Rousset, Bernard Ycart: Generating Random Benchmarks for Description Logics.
Applications
- 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.
- 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.
Extensions
- Jordi Alvarez: A Description Logic System for Learning in Complex Domains.
- Uwe Küssner: Description Logic Unplugged.
- Lin Padgham: Incorporating Default Characteristics and Approximate Matching in Description Logics.
- Amedeo Napoli: A Note on the Representation and Manipulation of Structures.
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-06-18T214307 by the dblp team