Stop the war!Остановите войну!
for scientists:
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.
a service of 
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-04-22 20:00 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:
