default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDDescription Logics 2006: Windermere, Lake District, UK
- Bijan Parsia, Ulrike Sattler, David Toman:
Proceedings of the 2006 International Workshop on Description Logics (DL2006), Windermere, Lake District, UK, May 30 - June 1, 2006. CEUR Workshop Proceedings 189, CEUR-WS.org 2006
Long papers
- Birte Glimm, Ian Horrocks, Ulrike Sattler:
Conjunctive Query Answering for Description Logics with Transitive Roles. - Franz Baader, Carsten Lutz, Boontawee Suntisrivaraporn:
Efficient Reasoning in EL+. - Hongkai Liu, Carsten Lutz, Maja Milicic, Frank Wolter:
DL Actions with GCIs: a Pragmatic Approach. - Yanhui Li, Baowen Xu, Jianjiang Lu, Dazhou Kang:
Discrete Tableau Algorithms for FSHI. - Diego Calvanese, Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, Riccardo Rosati:
Epistemic First-order Queries over Description Logic Knowledge Bases. - Magdalena Ortiz, Diego Calvanese, Thomas Eiter:
Data Complexity of Answering Unions of Conjunctive Queries in SHIQ. - Jan Hladik, Rafael Peñaloza:
PSPACE Automata for Description Logics. - Alexander K. Hudek, Grant E. Weddell:
Binary Absorption in Tableaux-Based Reasoning for Description Logics. - Alessandro Artale, Carsten Lutz, David Toman:
A Description Logic of Change.
Regular papers
- Dazhou Kang, Baowen Xu, Jianjiang Lu, Yanhui Li:
Reasoning for Fuzzy Description Logic with Comparison Expressions. - Giorgos Stoilos, Giorgos B. Stamou, Jeff Z. Pan:
Handling Imprecise Knowledge with Fuzzy Description Logic. - Chris Mellish, Jeff Z. Pan:
Finding Subsumers for Natural Language Presentation. - Achille Fokoue, Aaron Kershenbaum, Li Ma:
SHIN ABox Reduction. - Yu Ding, Volker Haarslev:
Tableau Caching for Description Logics with Inverse and Transitive Roles. - Ralf Möller, Volker Haarslev, Michael Wessel:
On the Scalability of Description Logic Instance Retrieval. - Ming Zuo, Volker Haarslev:
High Performance Absorption Algorithms for Terminological Reasoning. - Tom Gardiner, Ian Horrocks, Dmitry Tsarkov:
Automated Benchmarking of Description Logic Reasoners. - Bernardo Cuenca Grau, Ian Horrocks, Oliver Kutz, Ulrike Sattler:
Will my Ontologies Fit Together? - Zsolt Nagy, Gergely Lukácsy, Péter Szeredi:
Description logic reasoning using the PTTP approach. - Vladimir Kolovski, Bijan Parsia, Evren Sirin:
Extending the SHOIQ(D) Tableaux with DL-safe Rules: First Results. - Christian Halaschek-Wiener, Bijan Parsia, Evren Sirin, Aditya Kalyanpur:
Description Logic Reasoning for Dynamic ABoxes. - Aditya Kalyanpur, Bijan Parsia, Bernardo Cuenca Grau:
Beyond Asserted Axioms: Fine-Grain Justifications for OWL-DL Entailments. - Evren Sirin, Bijan Parsia:
Optimizations for Answering Conjunctive ABox Queries. - Shoham Ben-David, Richard J. Trefler, Grant E. Weddell:
Model checking the basic modalities of CTL with Description Logic. - Thomas Kleemann:
Towards Mobile Reasoning.
Posters
- Giorgos Stoilos, Giorgos B. Stamou:
Euclidian Roles in Description Logics. - Alissa Kaplunova, Atila Kaya, Ralf Möller:
Experiences with Load Balancing and Caching for Semantic Web Applications. - Ralf Möller, Sylvia Melzer:
How sensor data interpretation could benefit from description logics: A practical case study. - Irma Sofía Espinosa Peraldí, Ralf Möller:
Cost-Efficient Web Service compositions for querying processes over reasoning services. - Haiyan Che, Jigui Sun:
Static Knowledge Representation of Multi-Agent System's Specification by Description Logic. - Felix Müller, Michael Hanselmann, Thorsten Liebig, Olaf Noppens:
A Tableaux-based Mobile DL Reasoner - An Experience Report. - Kevin Lee, Thomas Andreas Meyer, Jeff Z. Pan, Richard Booth:
Computing Maximally Satisfiable Terminologies for the Description Logic ALC with Cyclic Definitions. - Evren Sirin, Bijan Parsia:
Pellet System Description. - Matteo Cristani, Nicoletta Gabrielli, Paolo Torelli:
Topological Reasoning in Basic Description. - Pablo R. Fillottrani, Enrico Franconi, Sergio Tessaris:
The new ICOM Ontology Editor.
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 2024-09-19 23:30 CEST 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:
