Conferences in DBLP
Enrico Franconi , David Toman Fixpoint Extensions of Temporal Description Logics. [Citation Graph (0, 0)][DBLP ] Description Logics, 2003, pp:- [Conf ] Bo Hu , Srinandan Dasmahapatra , Nigel Shadbolt From Lexicon To Mammographic Ontology: Experiences and Lessons. [Citation Graph (0, 0)][DBLP ] Description Logics, 2003, pp:- [Conf ] Richard Hull E-Service Composition: Models and Formalisms. [Citation Graph (0, 0)][DBLP ] Description Logics, 2003, pp:- [Conf ] Naouel Karam , Michel Schneider Comparing Natural Language Documents: a DL Based Approach. [Citation Graph (0, 0)][DBLP ] Description Logics, 2003, pp:- [Conf ] Yevgeny Kazakov , Hans de Nivelle Subsumption of Concepts in FL0y for (Cyclic) Terminologies with Respect to Descriptive Semantics is PSPACE-complete. [Citation Graph (0, 0)][DBLP ] Description Logics, 2003, pp:- [Conf ] Oliver Kutz , Carsten Lutz , Frank Wolter , Michael Zakharyaschev E-connections of Description Logics. [Citation Graph (0, 0)][DBLP ] Description Logics, 2003, pp:- [Conf ] Patrick Lambrix , Anna Edberg , Carolyn Manis , He Tan Merging DAML+OIL Bio-ontologies. [Citation Graph (0, 0)][DBLP ] Description Logics, 2003, pp:- [Conf ] Sanjay Modgil Rule Based Computation of Updates to Terminologies. [Citation Graph (0, 0)][DBLP ] Description Logics, 2003, pp:- [Conf ] Ralf Möller , Ronald Cornet , Volker Haarslev Graphical Interfaces for Racer: Querying DAML+OIL and RDF Documents. [Citation Graph (0, 0)][DBLP ] Description Logics, 2003, pp:- [Conf ] John Mylopoulos Modeling Software. [Citation Graph (0, 0)][DBLP ] Description Logics, 2003, pp:- [Conf ] Carsten Lutz , Ulrike Sattler , Lidia Tendera Finite Model Reasoning in ALCQI is EXPTIME Logics. [Citation Graph (0, 0)][DBLP ] Description Logics, 2003, pp:- [Conf ] Carsten Lutz , Frank Wolter , Michael Zakharyaschev Resasoning about Concepts and Similarity. [Citation Graph (0, 0)][DBLP ] Description Logics, 2003, pp:- [Conf ] Jeff Z. Pan , Ian Horrocks RDFS(FA): A DL-ised Sub-language of RDFS. [Citation Graph (0, 0)][DBLP ] Description Logics, 2003, pp:- [Conf ] Carlo Meghini , Yannis Tzitzikas Query Evaluation over Networks of Logic-based Mediators (Position Paper). [Citation Graph (0, 0)][DBLP ] Description Logics, 2003, pp:- [Conf ] Stefan Schlobach , Ronald Cornet Explanation of Terminological Reasoning: A Preliminary Report. [Citation Graph (0, 0)][DBLP ] Description Logics, 2003, pp:- [Conf ] Lubomir Stanchev , Grant E. Weddell Index Selection for Embedded Control Applications using Description Logics. [Citation Graph (0, 0)][DBLP ] Description Logics, 2003, pp:- [Conf ] Umberto Straccia Distributed Search in the Semantic Web. [Citation Graph (0, 0)][DBLP ] Description Logics, 2003, pp:- [Conf ] Ragnhild Van Der Straeten , Jocelyn Simmonds , Tom Mens Detecting Inconsistencies between UML Models Using Description Logic. [Citation Graph (0, 0)][DBLP ] Description Logics, 2003, pp:- [Conf ] Eric I. Hsu , Deborah L. McGuinness Wine Agent: Semantic Web Testbed Application. [Citation Graph (0, 0)][DBLP ] Description Logics, 2003, pp:- [Conf ] Ian Horrocks , Peter F. Patel-Schneider Reducing OWL Entailment to Description Logic Satisfability. [Citation Graph (0, 0)][DBLP ] Description Logics, 2003, pp:- [Conf ] Carlos Areces , Patrick Blackburn , Bernadette Martínez Hernández , Maarten Marx Handling Boolean A Boxes. [Citation Graph (0, 0)][DBLP ] Description Logics, 2003, pp:- [Conf ] Sebastian Brandt Implementing Matching in ALE--First Results. [Citation Graph (0, 0)][DBLP ] Description Logics, 2003, pp:- [Conf ] Sebastian Brandt , Anni-Yasmin Turhan Computing Least Common Subsumers for FLE+ . [Citation Graph (0, 0)][DBLP ] Description Logics, 2003, pp:- [Conf ] Franz Baader Restricted Role-value-maps in a Description Logic with Existential Restrictions and Terminological Cycles. [Citation Graph (0, 0)][DBLP ] Description Logics, 2003, pp:- [Conf ] Bo Hu , Nigel Shadbolt Visualising a DL Knowledge Base with DeLogViz. [Citation Graph (0, 0)][DBLP ] Description Logics, 2003, pp:- [Conf ] Simona Colucci , Tommaso Di Noia , Eugenio Di Sciascio , Francesco M. Donini , Marina Mongiello Concept Abduction and Contraction in Description Logics. [Citation Graph (0, 0)][DBLP ] Description Logics, 2003, pp:- [Conf ] David DeHaan , David Toman , Grant E. Weddell Rewriting Aggregate Queries using Description Logic. [Citation Graph (0, 0)][DBLP ] Description Logics, 2003, pp:- [Conf ] Lei Li , Ian Horrocks Matchmarking Using an Instance Store: Some Preliminary Results. [Citation Graph (0, 0)][DBLP ] Description Logics, 2003, pp:- [Conf ] Francesca A. Lisi Data Minig in Hybrid Languages vis ILP. [Citation Graph (0, 0)][DBLP ] Description Logics, 2003, pp:- [Conf ] Shinyoung Lim Status Report on Description Logics related Project in Korea. [Citation Graph (0, 0)][DBLP ] Description Logics, 2003, pp:- [Conf ] Sean Bechhofer , Ralf Möller , Peter Crowther The DIG Description Logic Interface. [Citation Graph (0, 0)][DBLP ] Description Logics, 2003, pp:- [Conf ] Chan Le Duc , Nhan Le Thanh On the Problems of Representing Least Common Subsumer and Computing Approximation in DLs. [Citation Graph (0, 0)][DBLP ] Description Logics, 2003, pp:- [Conf ] Daniela Berardi , Diego Calvanese , Giuseppe De Giacomo Reasoning on UML Class Diagrams is EXPTIME-hard. [Citation Graph (0, 0)][DBLP ] Description Logics, 2003, pp:- [Conf ] Daniela Berardi , Diego Calvanese , Giuseppe De Giacomo , Maurizio Lenzerini , Massimo Mecella e-Service Composition by Description Logics Based Reasoning. [Citation Graph (0, 0)][DBLP ] Description Logics, 2003, pp:- [Conf ] François de Bertrand de Beuvron , Amadou Coulibaly Applying Description Logic to Product Behavioral Design within Advanced CAD Systems. [Citation Graph (0, 0)][DBLP ] Description Logics, 2003, pp:- [Conf ] Volker Haarslev , Ralf Möller Incremental Query Answering for Implementing Document Retrieval Services. [Citation Graph (0, 0)][DBLP ] Description Logics, 2003, pp:- [Conf ] Jan Hladik Reasoning about Nominals with FaCT and RACER. [Citation Graph (0, 0)][DBLP ] Description Logics, 2003, pp:- [Conf ] Dmitry Tsarkov , Ian Horrocks DL Reasoner vs. First-Order Prover. [Citation Graph (0, 0)][DBLP ] Description Logics, 2003, pp:- [Conf ]