default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDDescription Logics 2005: Edinburgh, Scotland, UK
- Ian Horrocks, Ulrike Sattler, Frank Wolter:
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.
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.
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2025-02-21 19:40 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
