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