Table of Contents

• LAS: Extending Racer by a Large ABox StoreCuiMing Chen, Volker Haarslev, JiaoYue Wang. [doi]
• Towards Measuring Similarity in Description LogicsAlexander Borgida, Thomas Walsh, Haym Hirsh. [doi]
• Automatic Partitioning of OWL Ontologies Using ::::E::::-ConnectionsBernardo Cuenca Grau, Bijan Parsia, Evren Sirin, Aditya Kalyanpur. [doi]
• Reasoning with Semantic Tableau Binary Trees in Description LogicAlena Lukasová. [doi]
• A Resolution Based Framework to Explain Reasoning in Description LogicsXi Deng, Volker Haarslev, Nematollaah Shiri. [doi]
• A High Performance Semantic Web Query Answering EngineMichael Wessel, Ralf Möller. [doi]
• Small Scale Peer-to-Peer Publish/SubscribeVinod Muthusamy, Hans-Arno Jacobsen. [doi]
• Black Box Techniques for Debugging Unsatisfiable ConceptsAditya Kalyanpur, Bijan Parsia, Evren Sirin. [doi]
• Hybrid Architecture of DL Knowledge Base in KaSeAKrzysztof Goczyla, Teresa Grabowska, Wojciech Waloszek, Michal Zawadzki. [doi]
• Knowledge Table Driven Ontology EnhancementSujatha R. Upadhyaya, Saleena N, P. Sreenivasa Kumar. [doi]
• Handling Cyclic Conjunctive QueriesBirte Glimm, Ian Horrocks. [doi]
• A Generator for Description Logic FormulasJan Hladik. [doi]
• Closer representation and reasoningMikhail Sheremet, Dmitry Tishkovsky, Frank Wolter, Michael Zakharyaschev. [doi]
• Fire – Extending Racer by an Engine for SWRL RulesKruthi Bhoopalam, Volker Haarslev. [doi]
• Description Logics and Disjunctive Datalog – The Story so FarUllrich Hustadt, Boris Motik. [doi]
• Towards a Distributed Architecture for Value Added Services to Digital LibrariesMaurizio Marchese, Aliaksei Yanchuk, Fausto Giunchiglia. [doi]
• Peer-to-Peer Discovery of Semantic AssociationsMatthew Perry, Maciej Janik, Cartic Ramakrishnan, Conrad Ibañez, Ismailcem Budak Arpinar, Amit P. Sheth. [doi]
• On Path-functional Dependencies as First-class Citizens in Description LogicsDavid Toman, Grant E. Weddell. [doi]
• A Tableau Algorithm for DLs with Concrete Domains and GCIsCarsten Lutz, Maja Milicic. [doi]
• Grass-roots Class AlignmentBaoshi Yan. [doi]
• Data Complexity of Query Answering in Description LogicsDiego Calvanese, Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, Riccardo Rosati. [doi]
• pNear: combining Content Clustering and Distributed Hash TablesRonny Siebes. [doi]
• Attack Goal Generation Using Description Logic-based Knowledge RepresentationTaufiq Rochaeli, Claudia Eckert. [doi]
• Exploiting interaction contexts in P2P ontology mappingPaolo Besana, Dave Robertson, Michael Rovatsos. [doi]
• Development of a server to support the formal semantic web query language OWL-QLJan Galinski, Atila Kaya, Ralf Möller. [doi]
• Cartographic Approach to Knowledge Representation and Management in KaSeAKrzysztof Goczyla, Teresa Grabowska, Wojciech Waloszek, Michal Zawadzki. [doi]
• Typed Protocols for Peer-to-Peer Service CompositionChristopher D. Walton. [doi]
• Integrating Description Logics and Action Formalisms: First ResultsFranz Baader, Maja Milicic, Carsten Lutz, Ulrike Sattler, Frank Wolter. [doi]
• Query rewriting using views in presence of value constraintsHélène Jaudoin, Jean-Marc Petit, Christophe Rey, Michel Schneider, Farouk Toumani. [doi]
• Using Description Logic to Formalize Role-Based Access Control ModelChen Zhao, NuerMaimaiti Heilili, Shengping Liu, Zuoquan Lin. [doi]
• A new ::::n::::-ary existential quantifier in description logicsFranz Baader, Carsten Lutz, Eldar Karabaev, Manfred Theißen. [doi]
• Updating DLs Using the AGM Theory: A Preliminary StudyGiorgos Flouris, Dimitris Plexousakis, Grigoris Antoniou. [doi]
• Applying Description Logics for Workflow Reuse and RepurposingAntoon Goderis, Ulrike Sattler, Carole A. Goble. [doi]
• Matchmaking augmented with general KnowledgeThomas Kleemann. [doi]
• A Scheme for Integrating Datatype Groups into Description LogicsJeff Z. Pan. [doi]
• Description Logic Inference Technology: Lessions Learned in the TrenchesVolker Haarslev, Ralf Möller, Michael Wessel. [doi]
• Towards Efficient Reasoning for Description Logics with Inverse RolesYu Ding, Volker Haarslev. [doi]
• Probabilistic ABox Reasoning: Preliminary ResultsMichael Dürig, Thomas Studer. [doi]
• Optimised Classification for Taxonomic Knowledge BasesDmitry Tsarkov, Ian Horrocks. [doi]
• Rules and Queries with Ontologies: a Unifying Logical FrameworkSergio Tessaris, Enrico Franconi. [doi]
• Towards Using Description Logics for Symbolic Shape AnalysisLilia Georgieva, Patrick Maier. [doi]