Conferences in DBLP
Alessandro Artale , Enrico Franconi , Milenko Mosurovic , Frank Wolter , Michael Zakharyaschev The DLRUS Temporal Description Logic. [Citation Graph (0, 0)][DBLP ] Conf ] Volker Haarslev , Martina Timmann , Ralf Möller Combining Tableaux and Algebraic Methods for Reasoning with Qualified Number Restrictions. [Citation Graph (0, 0)][DBLP ] Conf ] Ian Horrocks , Peter F. Patel-Schneider The Generation of DAML+OIL. [Citation Graph (0, 0)][DBLP ] Conf ] Oliver Kutz , Frank Wolter , Michael Zakharyaschev A Note on Concepts and Distances. [Citation Graph (0, 0)][DBLP ] Conf ] Carsten Lutz , Ulrike Sattler , Frank Wolter Description Logics and the Two-Variable Fragment. [Citation Graph (0, 0)][DBLP ] Conf ] Deborah L. McGuinness Description Logics Emerge from Ivory Towers. [Citation Graph (0, 0)][DBLP ] Conf ] Sergio Tessaris Querying expressive DLs. [Citation Graph (0, 0)][DBLP ] Conf ] David Toman , Grant E. Weddell On Attributes, Roles, and Dependencies in Description Logics and the Ackermann Case of the Decision Problem. [Citation Graph (0, 0)][DBLP ] Conf ] Anni-Yasmin Turhan , Ralf Molitor Using Lazy Unfolding for the Computation of Least Common Subsumers. [Citation Graph (0, 0)][DBLP ] Conf ] Volker Haarslev , Ralf Möller Optimizing Reasoning in Description Logics with Qualified Number Restrictions. [Citation Graph (0, 0)][DBLP ] Conf ] Volker Haarslev , Ralf Möller Description of the RACER System and its Applications. [Citation Graph (0, 0)][DBLP ] Conf ] Diego Calvanese , Giuseppe De Giacomo , Maurizio Lenzerini Ontology of Integration and Integration of Ontologies. [Citation Graph (0, 0)][DBLP ] Conf ] Franz Baader , Ralf Küsters Unification in a Description Logic with Transitive Closure of Roles. [Citation Graph (0, 0)][DBLP ] Conf ] Franz Baader , Anni-Yasmin Turhan TBoxes do not Yield a Compact Representation of Least Common Subsumers. [Citation Graph (0, 0)][DBLP ] Conf ] Sean Bechhofer , Ian Horrocks , Carole A. Goble , Robert Stevens OilEd: a Reason-able Ontology Editor for the Semantic Web. [Citation Graph (0, 0)][DBLP ] Conf ] Jérôme Euzenat Preserving Modularity in XML Encoding of Description Logics. [Citation Graph (0, 0)][DBLP ] Conf ] Alexander Borgida Diachronic Description Logics. [Citation Graph (0, 0)][DBLP ] Conf ] Fabio Grandi On Expressive Number Restrictions in Description Logics. [Citation Graph (0, 0)][DBLP ] Conf ] Christian Günsel , Marco Wittmann Towards an Implementation of the Temporal Description Logic TLALC. [Citation Graph (0, 0)][DBLP ] Conf ] Michael Wessel Obstacles on the Way to Qualitative Spatial Reasoning with Description Logics: Some Undecidability Results. [Citation Graph (0, 0)][DBLP ] Conf ] 