Description Logics 2005: Edinburgh, Scotland, UK

Long papers

• Franz Baader, Carsten Lutz, Eldar Karabaev, Manfred Theißen:
  A new n-ary existential quantifier in description logics.
  Electronic Edition (link) BibTeX
• Franz Baader, Maja Milicic, Carsten Lutz, Ulrike Sattler, Frank Wolter:
  Integrating Description Logics and Action Formalisms: First Results.
  Electronic Edition (link) BibTeX
• Mikhail Sheremet, Dmitry Tishkovsky, Frank Wolter, Michael Zakharyaschev:
  'Closer' representation and reasoning.
  Electronic Edition (link) BibTeX
• Carsten Lutz, Maja Milicic:
  A Tableau Algorithm for DLs with Concrete Domains and GCIs.
  Electronic Edition (link) BibTeX
• Diego Calvanese, Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, Riccardo Rosati:
  Data Complexity of Query Answering in Description Logics.
  Electronic Edition (link) BibTeX
• Sergio Tessaris, Enrico Franconi:
  Rules and Queries with Ontologies: a Unifying Logical Framework.
  Electronic Edition (link) BibTeX
• David Toman, Grant E. Weddell:
  On Path-functional Dependencies as First-class Citizens in Description Logics.
  Electronic Edition (link) BibTeX
• Michael Wessel, Ralf Möller:
  A High Performance Semantic Web Query Answering Engine.
  Electronic Edition (link) BibTeX

Regular papers

• Michael Dürig, Thomas Studer:
  Probabilistic ABox Reasoning: Preliminary Results.
  Electronic Edition (link) BibTeX
• Hélène Jaudoin, Jean-Marc Petit, Christophe Rey, Michel Schneider, Farouk Toumani:
  Query rewriting using views in presence of value constraints.
  Electronic Edition (link) BibTeX
• Aditya Kalyanpur, Bijan Parsia, Evren Sirin:
  Black Box Techniques for Debugging Unsatisfiable Concepts.
  Electronic Edition (link) BibTeX
• Bernardo Cuenca Grau, Bijan Parsia, Evren Sirin, Aditya Kalyanpur:
  Automatic Partitioning of OWL Ontologies Using E-Connections.
  Electronic Edition (link) BibTeX
• Alexander Borgida, Thomas Walsh, Haym Hirsh:
  Towards Measuring Similarity in Description Logics.
  Electronic Edition (link) BibTeX
• Ullrich Hustadt, Boris Motik:
  Description Logics and Disjunctive Datalog – The Story so Far.
  Electronic Edition (link) BibTeX
• Volker Haarslev, Ralf Möller, Michael Wessel:
  Description Logic Inference Technology: Lessions Learned in the Trenches.
  Electronic Edition (link) BibTeX
• Antoon Goderis, Ulrike Sattler, Carole A. Goble:
  Applying Description Logics for Workflow Reuse and Repurposing.
  Electronic Edition (link) BibTeX
• Jan Hladik:
  A Generator for Description Logic Formulas.
  Electronic Edition (link) BibTeX
• Dmitry Tsarkov, Ian Horrocks:
  Optimised Classification for Taxonomic Knowledge Bases.
  Electronic Edition (link) BibTeX
• CuiMing Chen, Volker Haarslev, JiaoYue Wang:
  LAS: Extending Racer by a Large ABox Store.
  Electronic Edition (link) BibTeX
• Yu Ding, Volker Haarslev:
  Towards Efficient Reasoning for Description Logics with Inverse Roles.
  Electronic Edition (link) BibTeX

Posters

• Krzysztof Goczyla, Teresa Grabowska, Wojciech Waloszek, Michal Zawadzki:
  Hybrid Architecture of DL Knowledge Base in KaSeA.
  Electronic Edition (link) BibTeX
• Krzysztof Goczyla, Teresa Grabowska, Wojciech Waloszek, Michal Zawadzki:
  Cartographic Approach to Knowledge Representation and Management in KaSeA.
  Electronic Edition (link) BibTeX
• Chen Zhao, NuerMaimaiti Heilili, Shengping Liu, Zuoquan Lin:
  Using Description Logic to Formalize Role-Based Access Control Model.
  Electronic Edition (link) BibTeX
• Birte Glimm, Ian Horrocks:
  Handling Cyclic Conjunctive Queries.
  Electronic Edition (link) BibTeX
• Jeff Z. Pan:
  A Scheme for Integrating Datatype Groups into Description Logics.
  Electronic Edition (link) BibTeX
• Thomas Kleemann:
  Matchmaking augmented with general Knowledge.
  Electronic Edition (link) BibTeX
• Taufiq Rochaeli, Claudia Eckert:
  Attack Goal Generation Using Description Logic-based Knowledge Representation.
  Electronic Edition (link) BibTeX
• Giorgos Flouris, Dimitris Plexousakis, Grigoris Antoniou:
  Updating DLs Using the AGM Theory: A Preliminary Study.
  Electronic Edition (link) BibTeX
• Lilia Georgieva, Patrick Maier:
  Towards Using Description Logics for Symbolic Shape Analysis.
  Electronic Edition (link) BibTeX
• Alena Lukasová:
  Reasoning with Semantic Tableau Binary Trees in Description Logic.
  Electronic Edition (link) BibTeX
• Jan Galinski, Atila Kaya, Ralf Möller:
  Development of a server to support the formal semantic web query language OWL-QL.
  Electronic Edition (link) BibTeX
• Sujatha R. Upadhyaya, Saleena N, P. Sreenivasa Kumar:
  Knowledge Table Driven Ontology Enhancement.
  Electronic Edition (link) BibTeX
• Xi Deng, Volker Haarslev, Nematollaah Shiri:
  A Resolution Based Framework to Explain Reasoning in Description Logics.
  Electronic Edition (link) BibTeX
• Kruthi Bhoopalam, Volker Haarslev:
  Fire – Extending Racer by an Engine for SWRL Rules.
  Electronic Edition (link) BibTeX