Abstract is missing.
- Toward Updates in Description LogicsMathieu Roger, Ana Simonet, Michel Simonet. [doi]
- Statement of interestDaniela Berardi. [doi]
- Unification in a Description Logic with Inconsistency and Transitive Closure of RolesFranz Baader, Ralf Küsters. [doi]
- Two Proposals for a Semantic Web Ontology LanguagePeter F. Patel-Schneider. [doi]
- Fine Grained Information Integration with Description LogicsHuizhu Liu, David Toman, Grant E. Weddell. [doi]
- Using Description Logic in Object-Oriented Software DevelopmentRagnhild Van Der Straeten. [doi]
- Combining XML and DL for describing and querying documentsRim Al Hulou, Amedeo Napoli. [doi]
- Optimization Strategies for Instance RetrievalVolker Haarslev, Ralf Möller. [doi]
- Towards a representation system for possibilistic relationsPatrick Bosc, Olivier Pivert. [doi]
- Description Logic in Semantics QueryingGilles Nachouki, Mohamed Quafafou. [doi]
- On Spatial Reasoning with Description Logics - Position PaperMichael Wessel. [doi]
- Algebraic Lattices and Description LogicsNikolaj Oldager. [doi]
- Specifying Event Logics for Active DatabasesIluju Kiringa. [doi]
- Implementation and Evaluation of a Tableau Algorithm for the Guarded FragmentJan Hladik. [doi]
- Backtracking and Qualified Number Restrictions: Some Preliminary ResultsIan Horrocks. [doi]
- Estimating Soundness and Completeness over Queries Over Description LogicsMartin Peim, Enrico Franconi, Norman W. Paton. [doi]
- Incompleteness and inconsistency in information integrationMaurizio Lenzerini. [doi]
- Decidability of Expressive Description Logics with Role CompositionsFabio Grandi. [doi]
- Reasoning about Entity Relationship Diagrams with Complex Attribute DependenciesCarsten Lutz. [doi]
- Practical Reasoning in RACER with a Concrete Domain for Linear InequationsVolker Haarslev, Ralf Möller. [doi]
- First-Order Theorem Provers: the Next GenerationAndrei Voronkov. [doi]
- Distributed Description Logics: First resultsAlexander Borgida, Luciano Serafini. [doi]
- Hybrid Logic and Description LogicPatrick Blackburn.
- 2ATAs make DLs easyDiego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini. [doi]
- Document Content Authoring and Hybrid Knowledge BasesMarc Dymetman. [doi]
- On the relationship between decidable fragments, non-classical logics, and description logicsLilia Georgieva, Ullrich Hustadt, Renate A. Schmidt. [doi]
- Computing Concept Covers: a Preliminary ReportMohand-Saïd Hacid, Alain Léger, Christophe Rey, Farouk Toumani. [doi]
- Source inconsistency and incompleteness in data integrationDomenico Lembo, Maurizio Lenzerini, Riccardo Rosati. [doi]
- Conjunctive Query Containment in the Presence of Disjunctive Integrity ConstraintsFang Wei, Georg Lausen. [doi]
- Analysis of propagation along transitive roles: Formalisation of the GALEN experience with Medical OntologiesAlan L. Rector. [doi]
- Querying Objects with Description LogicsMartin Peim, Enrico Franconi, Norman W. Paton, Carole A. Goble. [doi]
- Compilation and Approximation of Conjunctive Queries by Concept DescriptionsFrançois Goasdoué, Marie-Christine Rousset. [doi]
- A proposal for describing services with DLsCarsten Lutz, Ulrike Sattler. [doi]
- Narcissists, Stepmothers and SpiesMaarten Marx. [doi]
- Research InterestsMathieu Roger. [doi]
- Approximating ALCN-Concept DescriptionsSebastian Brandt, Ralf Küsters, Anni-Yasmin Turhan. [doi]
- Adding ternary complex roles to ALCRP(D)Alissa Kaplunova, Volker Haarslev, Ralf Möller. [doi]
- n) Description LogicJeff Z. Pan, Ian Horrocks. [doi]