Description Logics 2005: Edinburgh, Scotland, UK

Ian Horrocks, Ulrike Sattler, Frank Wolter (Eds.): Proceedings of the 2005 International Workshop on Description Logics (DL2005), Edinburgh, Scotland, UK, July 26-28, 2005. CEUR Workshop Proceedings 147 CEUR-WS.org 2005

Long papers

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

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

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