2005 International Workshop on Description Logics - DL2005
« back to main page
Accepted Papers and Posters
Accepted as long paper:
- Carsten Lutz and Maja Milicic. A Tableau Algorithm for DLs with Concrete Domains and GCIs
- Sergio Tessaris and Enrico Franconi. Rules and Queries with Ontologies: a Unifying Logical Framework
- Franz Baader, Carsten Lutz, Eldar Karabaev and Manfred Theißen. A new n-ary existential quantifier in description logics
- Franz Baader, Maja Milicic, Carsten Lutz, Ulrike Sattler and Frank Wolter. Integrating Description Logics and Action Formalisms: First Results
- David Toman and Grant Weddell. On Path-functional Dependencies as First-class Citizens in Description Logics
- Michael Wessel and Ralf Möller. A High Performance Semantic Web Query Answering Engine
- Diego Calvanese, Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini and Riccardo Rosati. Data Complexity of Query Answering in Description Logics
- Michael Sheremet, Dmitry Tishkovsky, Frank Wolter and Michael Zakharyaschev. `Closer' representation and reasoning
Accepted as regular paper:
- Umberto Straccia. Fuzzy ALC with Fuzzy Concrete Domains
- Michael Duerig and Thomas Studer. Probabilistic ABox Reasoning: Preliminary Results
- Helene Jaudoin, Jean-Marc Petit, Rey Christophe, Michel Schneider and Farouk Toumani. A KDD framework for query rewriting in presence of value constraints
- Aditya Kalyanpur, Bijan Parsia and Evren Sirin. Black Box Techniques for Debugging Unsatisfiable Concepts
- Bernardo Cuenca Grau, Bijan Parsia, Evren Sirin and Aditya Kalyanpur. Automatic Partitioning of OWL Ontologies Using E-Connections
- Alex Borgida, Thomas Walsh and Haym Hirsh. Thoughts on Defining Similarity for Description Logics
- Thorsten Liebig and Michael Halfmann. Explaining Subsumption in ALEHFR+ TBoxes
- Ullrich Hustadt and Boris Motik. Description Logics and Disjunctive Datalog - The Story so Far
- Volker Haarslev, Ralf Möller and Michael Wessel. Description Logic Inference Technology: Lessions Learned in the Trenches
- Antoon Goderis, Ulrike Sattler and Carole Goble. Applying description logics for workflow reuse and repurposing
- Jan Hladik. A Generator for Description Logic Formulas
- Alessandro Artale, Carsten Lutz and David Toman. A Description Logic of Change
- Dmitry Tsarkov and Ian Horrocks. Optimised Classification for Taxonomic Knowledge Bases
- Steffen Hölldobler, Nguyen Hoang Nga and Tran Dinh Khang. The Fuzzy Description Logic ALC_FLH
- CuiMing Chen, Volker Haarslev and JiaoYue Wang. LAS: Extending Racer by a Large Abox Store
- Yu Ding and Volker Haarslev. Towards Efficient Reasoning for Description Logics with Inverse Roles
Accepted as poster:
- Heiner Stuckenschmidt and Luciano Serafini. Reasoning about Ontology Mappings - A mostly informal investigation
- Krzysztof Goczyla, Teresa Grabowska, Wojciech Waloszek and Michal Zawadzki. Hybrid Architecture of DL Knowledge Base in KaSeA
- Krzysztof Goczyla, Teresa Grabowska, Wojciech Waloszek and Michal Zawadzki. Cartographic Approach to Knowledge Representation and Management in KaSea
- Chen Zhao, Nuermaimaiti Heilili, Shengping Liu and Zuoquan Lin. Using Description Logic to Formalize Role-Based Access Control Model
- Birte Glimm and Ian Horrocks. Handling Cyclic Conjunctive Queries
- Jeff Z. Pan. A Scheme for Integrating Datatype Groups into Concept Languages
- Gerhard Friedrich and Kostyantyn Shchekotykhin. Diagnosis of DL Knowledge Bases
- Eduard Gilberto Puerto Cuadros, Luis Ignacio Lizcano Bueno and Raul Ernesto Gutierrez de Piñares. A satisfiability algorithm and the structure of a classifier of concepts for descriptive logic ALCQ
- Thomas Kleemann. Matchmaking augmented with general Knowledge
- Yanbing Wang and Yuzhong Qu. Axiom preservation among interpretations of SHOIQ
- Taufiq Rochaeli and Claudia Eckert. Attack Goal Generation Using Description Logic-based Knowledge Representation
- Giorgos Flouris, Dimitris Plexousakis and Grigoris Antoniou. Updating DLs Using the AGM Theory: A Preliminary Study
- Lilia Georgieva and Patrick Maier. Towards Using Description Logics for Symbolic Shape Analysis
- Alena Lukasova. Reasoning with Semantic Tableau Binary Trees in Description Logic
- Jan Galinski, Atila Kaya and Ralf Möller. Development of a server to support the formal semantic web query language OWL-QL
- Chiara Ghidini and Luciano Serafini. Abstracting Description Logics -- some preliminary ideas --
- Sujatha Upadhayaya, Saleena N and Sreenivasa Puligundla. Knowledge Table Driven Ontology Enhancement
- Xi Deng, Volker Haarslev and Nematollaah Shiri. A Resolution Based Framework to Explain Reasoning in Description Logics
- Kruthi Bhoopalam and Volker Haarslev. Fire - Extending Racer by an Engine for SWRL Rules
« back to main page
Dirk Walther, 02 June 2005