default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDDescription Logics 1998: Trento, Italy
- Enrico Franconi, Giuseppe De Giacomo, Robert M. MacGregor, Werner Nutt, Christopher A. Welty:
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.
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. - 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).
Systems Comparison
- Ian Horrocks, Peter F. Patel-Schneider:
DL Systems Comparison (Summary Relation). - Enrico Franconi:
CRACK. - Peter F. Patel-Schneider:
DLP. - Ian Horrocks:
FaCT. - Volker Haarslev, Ralf Möller, Anni-Yasmin Turhan:
HAM-ALC. - 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. - 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.
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. - 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.
Extensions
- 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.
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2025-02-27 22:51 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
