Conferences in DBLP
Brian R. Gaines Understanding Ontologies in Scholarly Discipline. [Citation Graph (0, 0)][DBLP ] Conf ] Eldar Karabaev , Carsten Lutz Mona as a DL Reasoner. [Citation Graph (0, 0)][DBLP ] Conf ] Holger Knublauch , Mark A. Musen , Alan L. Rector Editing Description Logic Ontologies with the Protégé OWL Plugin. [Citation Graph (0, 0)][DBLP ] Conf ] Cartik R. Kothari , David J. Russomanno Specifying the Disjoint Nature of Object Properties in DL. [Citation Graph (0, 0)][DBLP ] Conf ] Francis Kwong Explaining Description Logic Reasoning. [Citation Graph (0, 0)][DBLP ] Conf ] Thorsten Liebig , Holger Pfeifer , Friedrich W. von Henke Reasoning Services for an OWL Authoring Tool: An Experience Report . [Citation Graph (0, 0)][DBLP ] Conf ] Toni Mancini Finite Satisfiability of UML Class Diagrams by Constraint Programming. [Citation Graph (0, 0)][DBLP ] Conf ] Jeff Z. Pan , Ian Horrocks Extending DL Reasoning Support for the OWL Datatyping (or "Why Datatype Groups?"). [Citation Graph (0, 0)][DBLP ] Conf ] Deborah L. McGuinness , Pavel Shvaiko , Fausto Giunchiglia , Paulo Pinheiro da Silva Towards Explaining Semantic Matching. [Citation Graph (0, 0)][DBLP ] Conf ] Stefan Schulz DL Requirements from Medicine and Biology. [Citation Graph (0, 0)][DBLP ] Conf ] Luciano Serafini , Andrei Tamilin Local Tableaux for Reasoning in Distributed Description Logics. [Citation Graph (0, 0)][DBLP ] Conf ] Evren Sirin , Bijan Parsia Pellet: An OWL DL Reasoner. [Citation Graph (0, 0)][DBLP ] Conf ] David Toman , Grant E. Weddell Attribute Inversion in Description Logic with Path Functional Dependencies . [Citation Graph (0, 0)][DBLP ] Conf ] Dmitry Tsarkov , Ian Horrocks Efficient Reasoning with Range and Domain Constraints. [Citation Graph (0, 0)][DBLP ] Conf ] Ken Kaneiwa Description Logic and Order-sorted Logic. [Citation Graph (0, 0)][DBLP ] Conf ] Ian Horrocks , Lei Li , Daniele Turi , Sean Bechhofer The Instance Store: DL Reasoning with Large Numbers of Individuals. [Citation Graph (0, 0)][DBLP ] Conf ] Jan Hladik , Jörg Model Tableau Systems for SHIO and SHIQ. [Citation Graph (0, 0)][DBLP ] Conf ] Sebastian Brandt On Subsumption and Instance Problem in ELH w.r.t. General TBoxes. [Citation Graph (0, 0)][DBLP ] Conf ] Alessandro Artale Reasoning on Temporal Conceptual Schemas with Dynamic Constraints. [Citation Graph (0, 0)][DBLP ] Conf ] Marco Cadoli , Diego Calvanese , Giuseppe De Giacomo Towards Implementing Finite Model Reasoning in Description Logics. [Citation Graph (0, 0)][DBLP ] Conf ] Andrea Calì , Diego Calvanese , Simona Colucci , Tommaso Di Noia , Francesco M. Donini A Description Logic Based Approach for Matching User Profiles. [Citation Graph (0, 0)][DBLP ] Conf ] Diego Calvanese , Giuseppe De Giacomo , Maurizio Lenzerini , Riccardo Rosati , Guido Vetere DL-Lite: Practical Reasoning for Rich Dls. [Citation Graph (0, 0)][DBLP ] Conf ] Simona Colucci , Tommaso Di Noia , Eugenio Di Sciascio , Francesco M. Donini , Marina Mongiello A Uniform Tableaux-Based Approach to Concept Abduction and Contraction in ALN. [Citation Graph (0, 0)][DBLP ] Conf ] Ronald Cornet , Ameen Abu-Hanna Using Non-Primitive Concept Definitions for Improving DL-based Knowledge Bases. [Citation Graph (0, 0)][DBLP ] Conf ] Franz Baader , Baris Sertkaya , Anni-Yasmin Turhan Computing the Least Common Subsumer w.r.t. a Background Terminology. [Citation Graph (0, 0)][DBLP ] Conf ] Paolo Dongilli , Enrico Franconi , Sergio Tessaris Semantics Driven Support for Query Formulation. [Citation Graph (0, 0)][DBLP ] Conf ] Daniela Berardi Description Logics for e-Service Composition. [Citation Graph (0, 0)][DBLP ] Conf ] Bernardo Cuenca Grau , Bijan Parsia From SHOQ(D) Toward E-connections. [Citation Graph (0, 0)][DBLP ] Conf ] Volker Haarslev , Ying Lu , Nematollaah Shiri OntoXpl: Exploration of OWL Ontologies. [Citation Graph (0, 0)][DBLP ] Conf ] Volker Haarslev , Ralf Möller , Ragnhild Van Der Straeten , Michael Wessel Extended Query Facilities for Racer and an Application to Software-Engineering Problems. [Citation Graph (0, 0)][DBLP ] Conf ] Anni-Yasmin Turhan , Christian Kissig Sonic: System Description. [Citation Graph (0, 0)][DBLP ] Conf ] 