Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDDescription Logics 2002: Toulouse, France
- Ian Horrocks, Sergio Tessaris:
Proceedings of the 2002 International Workshop on Description Logics (DL2002), Toulouse, France, April 19-21, 2002. CEUR Workshop Proceedings 53, CEUR-WS.org 2002
Invited Talks
- Patrick Blackburn:
Hybrid Logic and Description Logic. Description Logics 2002 - Andrei Voronkov:
First-Order Theorem Provers: the Next Generation. - Maurizio Lenzerini:
Incompleteness and inconsistency in information integration.
Theory
- Alexander Borgida, Luciano Serafini:
Distributed Description Logics: First results. - Lilia Georgieva, Ullrich Hustadt, Renate A. Schmidt:
On the relationship between decidable fragments, non-classical logics, and description logics. - Maarten Marx:
Narcissists, Stepmothers and Spies. - Alissa Kaplunova, Volker Haarslev, Ralf Möller:
Adding ternary complex roles to ALCRP(D). - Jeff Z. Pan, Ian Horrocks:
Reasoning in the SHOQ(Dn) Description Logic. - Franz Baader, Ralf Küsters:
Unification in a Description Logic with Inconsistency and Transitive Closure of Roles.
Reasoning Mechanisms
- Jan Hladik:
Implementation and Evaluation of a Tableau Algorithm for the Guarded Fragment. - Volker Haarslev, Ralf Möller:
Optimization Strategies for Instance Retrieval. - Volker Haarslev, Ralf Möller:
Practical Reasoning in RACER with a Concrete Domain for Linear Inequations. - Ian Horrocks:
Backtracking and Qualified Number Restrictions: Some Preliminary Results. - Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini:
2ATAs make DLs easy.
Applications of DLs
- Peter F. Patel-Schneider:
Two Proposals for a Semantic Web Ontology Language. - Carsten Lutz, Ulrike Sattler:
A proposal for describing services with DLs. - Rim Al Hulou, Amedeo Napoli:
Combining XML and DL for describing and querying documents. - Alan L. Rector:
Analysis of propagation along transitive roles: Formalisation of the GALEN experience with Medical Ontologies. - Michael Wessel:
On Spatial Reasoning with Description Logics - Position Paper. - Sebastian Brandt, Ralf Küsters, Anni-Yasmin Turhan:
Approximating ALCN-Concept Descriptions. - Mohand-Saïd Hacid, Alain Léger, Christophe Rey, Farouk Toumani:
Computing Concept Covers: a Preliminary Report. - Carsten Lutz:
Reasoning about Entity Relationship Diagrams with Complex Attribute Dependencies. - Ragnhild Van Der Straeten:
Using Description Logic in Object-Oriented Software Development. - Huizhu Liu, David Toman, Grant E. Weddell:
Fine Grained Information Integration with Description Logics.
Joint Session with KRDB
- François Goasdoué, Marie-Christine Rousset:
Compilation and Approximation of Conjunctive Queries by Concept Descriptions. - Martin Peim, Enrico Franconi, Norman W. Paton, Carole A. Goble:
Querying Objects with Description Logics. - Martin Peim, Enrico Franconi, Norman W. Paton:
Estimating Soundness and Completeness over Queries Over Description Logics. - Mathieu Roger, Ana Simonet, Michel Simonet:
Toward Updates in Description Logics.
Abstracts
- Daniela Berardi:
Statement of interest. - Fabio Grandi:
Decidability of Expressive Description Logics with Role Compositions. - Gilles Nachouki, Mohamed Quafafou:
Description Logic in Semantics Querying. - Nikolaj Oldager:
Algebraic Lattices and Description Logics. - Mathieu Roger:
Research Interests.
a service of 
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 2024-04-18 20:18 CEST 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:
