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.

Regular papers

• 
  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 J. 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.

Posters

• 
  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.

last updated on Thu May 23 01:32:53 2013 by the dblp team
data released under the ODC-BY 1.0 license
see also our legal information page