![[CEUR Workshop Proceedings]](../CEUR-WS-logo.png){kind=logo}
© 2005 for the individual papers by the papers' authors. Copying permitted for private and scientific purposes. Re-publication of material on this page requires permission by the copyright owners.
|
|
Vol-147
© 2005 for the individual papers by the papers' authors. Copying permitted for private and scientific purposes. Re-publication of material on this page requires permission by the copyright owners. |
|
Edinburgh, Scotland, UK
July 26–28, 2005
Edited by
Ian Horrocks(1),
Ulrike Sattler(1),
Frank Wolter(2)
(1) University of Manchester, School of Computer Science, Kilburn Building, Oxford Road, Manchester M13 9PL, UK
(2) University of Liverpool, Department of Computer Science, Chadwick Building, Peach Street, Liverpool L69 7ZF, UK
A new n-ary existential quantifier in description logics
Franz Baader, Carsten Lutz, Eldar Karabaev, and Manfred Theißen
Integrating Description Logics and Action Formalisms: First Results
Franz Baader, Maja Milicic, Carsten Lutz, Ulrike Sattler, and Frank Wolter
.Closer. representation and reasoning
M. Sheremet, D. Tishkovsky, F. Wolter, and M. Zakharyaschev
A Tableau Algorithm for DLs with Concrete Domains and GCIs
Carsten Lutz and Maja Milicic
Data Complexity of Query Answering in Description Logics
Diego Calvanese, Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, and Riccardo Rosati
Rules and Queries with Ontologies: a Unifying Logical Framework
Sergio Tessaris and Enrico Franconi
On Path-functional Dependencies as First-class Citizens in Description Logics
David Toman and Grant Weddell
A High Performance Semantic Web Query Answering Engine
Michael Wessel and Ralf Möller
Fuzzy ALC with Fuzzy Concrete Domains
Umberto Straccia
Probabilistic ABox Reasoning: Preliminary Results
Michael Dürig and Thomas Studer
Query rewriting using views in presence of value constraints
Helene Jaudoin, Jean-Marc Petit, Rey Christophe, Michel Schneider, and Farouk Toumani
Black Box Techniques for Debugging Unsatisfiable Concepts
Aditya Kalyanpur, Bijan Parsia, and Evren Sirin
Automatic Partitioning of OWL Ontologies Using E-Connections
Bernardo Cuenca Grau, Bijan Parsia, Evren Sirin, and Aditya Kalyanpur
Towards Measuring Similarity in Description Logics
Alex Borgida, Thomas Walsh, and Haym Hirsh
Explaining Subsumption in ALEHFR+ TBoxes
Thorsten Liebig and Michael Halfmann
Description Logics and Disjunctive Datalog – The Story so Far
Ullrich Hustadt and Boris Motik
Description Logic Inference Technology: Lessions Learned in the Trenches
Volker Haarslev, Ralf Möller, and Michael Wessel
Applying Description Logics for Workflow Reuse and Repurposing
Antoon Goderis, Ulrike Sattler, and Carole Goble
A Generator for Description Logic Formulas
Jan Hladik
Optimised Classification for Taxonomic Knowledge Bases
Dmitry Tsarkov and Ian Horrocks
The Fuzzy Description Logic ALCFLH
Steffen Hölldobler, Nguyen Hoang Nga, and Tran Dinh Khang
LAS: Extending Racer by a Large ABox Store
CuiMing Chen, Volker Haarslev, and JJiaoYue Wang
Towards Efficient Reasoning for Description Logics with Inverse Roles
Yu Ding and Volker Haarslev
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
Krzysztof Goczyla, Teresa Grabowska, Wojciech Waloszek, and Michal Zawadzki
Using Description Logic to Formalize Role-Based Access Control Model
Chen Zhao, Nuermaimaiti Heilili, Shengping Liu, and Zuoquan Lin
Handling Cyclic Conjunctive Queries
Birte Glimm and Ian Horrocks
A Scheme for Integrating Datatype Groups into Description Logics
Jeff Pan
A satisfiability algorithm and the structure
of a classifier of concepts for descriptive logic ALCQ
Eduard Gilberto Puerto Cuadros, Luis Ignacio Lizcano Bueno, and Raul Ernesto Gutiérrez de Piņares
Matchmaking augmented with general Knowledge
Thomas Kleemann
Attack Goal Generation Using Description Logic-based Knowledge Representation
Taufig Rochaeli and Claudia Eckert
Updating DLs Using the AGM Theory: A Preliminary Study
Giorgos Flouris, Dimitris Plexousakis, and Grigoris Antoniou
Towards Using Description Logics for Symbolic Shape Analysis
Lilia Georgieva and Patrick Maier
Reasoning with Semantic Tableau Binary Trees in Description Logic
Alena Lukasova
Development of a server to support the formal semantic web query language OWL-QL
Jan Galinski, Atila Kaya, and Ralf Möller
Knowledge Table Driven Ontology Enhancement
Sujatha R. Upadhyaya, Saleena N, and P. Sreenivasa Kumar
A Resolution Based Framework to Explain Reasoning in Description Logics
Xi Deng, Volker Haarslev, and Nematollaah Shiri
Fire – Extending Racer by an Engine for SWRL Rules
Kruthi Bhoopalam and Volker Haarslev
