Number: | 1 |
Title: | Analysis of propagation along transitive roles: Formalisation of the GALEN experience with Medical Ontologies |
Author: | Alan Rector |
Number: | 3 |
Title: | Narcissists, Stepmothers and Spies |
Author: | Maarten Marx |
Number: | 4 |
Title: | Unification in a Description Logic with Inconsistency and Transitive Closure of Roles |
Author: | Franz Baader and Ralf Kuesters |
Number: | 5 |
Title: | Two Proposals for a Semantic Web Ontology Language |
Author: | Peter F. Patel-Schneider |
Number: | 6 |
Title: | Reasoning about Entity Relationship Diagrams with Complex Attribute Dependencies |
Author: | Carsten Lutz |
Number: | 7 |
Title: | Implementing a Tableau Algorithm for the Guarded Fragment |
Author: | Jan Hladik |
Number: | 10 |
Title: | Computing concept covers: a preliminary report |
Author: | M.S. Hacid, A. Leger, C. Rey and F.Toumani |
Number: | 11 |
Title: | Approximating ALCN-Concept Descriptions |
Author: | Sebastian Brandt, Ralf Küsters, and Anni-Yasmin Turhan |
Number: | 12 |
Title: | Optimization Strategies for Instance Retrieval: Research Note |
Author: | Volker Haarslev and Ralf Möller |
Number: | 13 |
Title: | Using Description Logic in Object-Oriented Software Development |
Author: | Ragnhild Van Der Straeten |
Number: | 14 |
Title: | Distributed Description Logics: First results |
Author: | A. Borgida and L. Serafini |
Number: | 15 |
Title: | 2ATAs make DLs easy |
Author: | Diego Calvanese, Giuseppe De Giacomo, and Maurizio Lenzerini |
Number: | 16 |
Title: | A proposal for describing services with DLs |
Author: | Carsten Lutz and Ulrike Sattler |
Number: | 17 |
Title: | Practical Reasoning in RACER with a Concrete Domain for Linear Inequations |
Author: | Volker Haarslev, Ralf Moeller |
Number: | 18 |
Title: | Combining XML and DL fo content-based manipulation of documents |
Author: | Rim Alhulou and Amedeo Napoli |
Number: | 20 |
Title: | Using DL for a Case-Based Explanation System |
Author: | Jean-Luc Metzger |
Number: | 21 |
Title: | Adding ternary complex roles to ALCRP(D). Draft version. |
Author: | A. Kaplunova and V. Haarslev and R. Möller |
Number: | 23 |
Title: | Fine Grained Information Integration with Description Logics |
Author: | Huizhu Liu, David Toman, and Grant Weddell |
Number: | 24 |
Title: | Compilation and approximation of conjunctive queries by concept descriptions. |
Author: | Francois Goasdoue and Marie-Christine Rousset |
Number: | 25 |
Title: | Backtracking and Qualified Number Restrictions: Some Preliminary Results |
Author: | Ian Horrocks |
Number: | 26 |
Title: | On the relationship between decidable fragments, non-classical logics, and description logics |
Author: | Lilia Georgieva, Ullrich Hustadt, Renate A. Schmidt |
Number: | 27 |
Title: | Reasoning in the SHOQ(Dn) Description Logic |
Author: | Jeff Z. Pan and Ian Horrocks |
Number: | 28 |
Title: | Querying Objects with Description Logics |
Author: | Martin Peim, Enrico Franconi, Norman W. Paton and Carole A. Goble |
Number: | 29 |
Title: | On Spatial Reasoning with Description Logics -- Position Paper |
Author: | Michael Wessel |