![[CEUR Workshop Proceedings]](../CEUR-WS-logo.png){kind=logo}
© 1998 for the individual papers by the papers' authors. Copying permitted for private and scientific purposes. Re-publication of material on this page requires permission by the copyright owners.
|
|
Vol-11
© 1998 for the individual papers by the papers' authors. Copying permitted for private and scientific purposes. Re-publication of material on this page requires permission by the copyright owners. |
|
Description Logics and Logics
Description Logics and Modal Logics
(Invited Talk)
Maarten De Rijke
Description Logics and Guarded Fragments of First
Order Logic (Invited Talk)
Erich Grädel
Description Logics and the World Wide Web
DLs for DLs: Description Logics for Digital
Libraries
Chris Welty
Semi-structured Data with Constraints and
Incomplete Information
Diego Calvanese, Giuseppe De
Giacomo, Maurizio Lenzerini
Foundations
Matching in Description Logics: Preliminary
Results
Franz Baader, Alex Borgida, Deborah McGuinness
Structural Subsumption Considered
from an Automata-Theoretic Point of View
Franz Baader, Ralf
Küsters, lf Molitor
Expressiveness Revisited
Carlos
Areces, Maarten de Rijke
Least Common Subsumer Computation
w.r.t. cyclic ALN-Terminologies
Franz Baader, Ralf
Küsters
Learning Concepts in
C-CLASSIC(delta/epsilon)
Véronique Ventos, Pierre
Brézellec, Henri Soldano, Dominique Bouthinon
Systems Comparison
DL Systems Comparison (Summary
Relation)
Ian Horrocks, Peter F. Patel-Schneider
CRACK
Enrico Franconi
DLP
Peter F. Patel-Schneider
FaCT
Ian Horrocks
HAM-ALC
Volker Haarslev, Ralf Moeller, Anni-Yasmin Turhan
Kris
Ian Horrocks
NeoClassic
Peter F. Patel-Schneider
Systems
A Note on Encoding Inverse Roles and
Functional Restrictions in ALC Knowledge Bases
Diego
Calvanese, Giuseppe De Giacomo, Riccardo Rosati
A Description Logic with Transitive
and Inverse Roles and Role Hierarchies
Ian Horrocks, Ulrike
Sattler
Implementing an ALCRP(D) ABox Reasoner -
Progress Report
Volker Haarslev, Ralf Moeller, Anni-Yasmin
Turhan
DLP System Description
Peter
F. Patel-Schneider
Comparing Subsumption Optimizations
Ian Horrocks, Peter F. Patel-Schneider
Generating Random Benchmarks for Description
Logics
Quentin Elhaik, Marie-Christine Rousset, Bernard
Ycart
Making an ABox Persistent
Quentin
Elhaik, Marie-Christine Rousset
Applications
Planning in Description Logics: Deduction versus
Satisfiability Testing
Liviu Badea
Using Description Logics for Indexing Audiovisual
Documents
Jean Carrive, François Pachet, Remi
Ronfard
DL-based Support to Domain Engineering
Ernesto Compatangelo, Francesco M. Donini, Gianni Rumolo
Combining Expression and Content in Domains for
Dialog Managers
Bernd Ludwig, Günther Görz,
Heinrich Niemann
Extending Tableaux Calculus with Limited Regular
Expression for Role Path: an Application to Natural Language
Processing
François De Beuvron, David Rudloff, Michael
Schlick
Extensions
A Description Logic System for Learning in
Complex Domains
Jordi Alvarez Canal
Description Logic Unplugged
Uwe
Küssner
Learning Composite Concepts
Patrick
Lambrix, Pierpaolo Larocchia
Incorporating Default Characteristics and
Approximate Matching in Description Logics
Lin Padgham
A Note on the Representation and Manipulation
of Structures
Amedeo Napoli
