The SCEAS System
Navigation Menu

Conferences in DBLP

Description Logics Workshops (dlog)
2003 (conf/dlog/2003)

  1. Enrico Franconi, David Toman
    Fixpoint Extensions of Temporal Description Logics. [Citation Graph (0, 0)][DBLP]
    Description Logics, 2003, pp:- [Conf]
  2. Bo Hu, Srinandan Dasmahapatra, Nigel Shadbolt
    From Lexicon To Mammographic Ontology: Experiences and Lessons. [Citation Graph (0, 0)][DBLP]
    Description Logics, 2003, pp:- [Conf]
  3. Richard Hull
    E-Service Composition: Models and Formalisms. [Citation Graph (0, 0)][DBLP]
    Description Logics, 2003, pp:- [Conf]
  4. Naouel Karam, Michel Schneider
    Comparing Natural Language Documents: a DL Based Approach. [Citation Graph (0, 0)][DBLP]
    Description Logics, 2003, pp:- [Conf]
  5. 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]
  6. Oliver Kutz, Carsten Lutz, Frank Wolter, Michael Zakharyaschev
    E-connections of Description Logics. [Citation Graph (0, 0)][DBLP]
    Description Logics, 2003, pp:- [Conf]
  7. Patrick Lambrix, Anna Edberg, Carolyn Manis, He Tan
    Merging DAML+OIL Bio-ontologies. [Citation Graph (0, 0)][DBLP]
    Description Logics, 2003, pp:- [Conf]
  8. Sanjay Modgil
    Rule Based Computation of Updates to Terminologies. [Citation Graph (0, 0)][DBLP]
    Description Logics, 2003, pp:- [Conf]
  9. 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]
  10. John Mylopoulos
    Modeling Software. [Citation Graph (0, 0)][DBLP]
    Description Logics, 2003, pp:- [Conf]
  11. Carsten Lutz, Ulrike Sattler, Lidia Tendera
    Finite Model Reasoning in ALCQI is EXPTIME Logics. [Citation Graph (0, 0)][DBLP]
    Description Logics, 2003, pp:- [Conf]
  12. Carsten Lutz, Frank Wolter, Michael Zakharyaschev
    Resasoning about Concepts and Similarity. [Citation Graph (0, 0)][DBLP]
    Description Logics, 2003, pp:- [Conf]
  13. Jeff Z. Pan, Ian Horrocks
    RDFS(FA): A DL-ised Sub-language of RDFS. [Citation Graph (0, 0)][DBLP]
    Description Logics, 2003, pp:- [Conf]
  14. Carlo Meghini, Yannis Tzitzikas
    Query Evaluation over Networks of Logic-based Mediators (Position Paper). [Citation Graph (0, 0)][DBLP]
    Description Logics, 2003, pp:- [Conf]
  15. Stefan Schlobach, Ronald Cornet
    Explanation of Terminological Reasoning: A Preliminary Report. [Citation Graph (0, 0)][DBLP]
    Description Logics, 2003, pp:- [Conf]
  16. Lubomir Stanchev, Grant E. Weddell
    Index Selection for Embedded Control Applications using Description Logics. [Citation Graph (0, 0)][DBLP]
    Description Logics, 2003, pp:- [Conf]
  17. Umberto Straccia
    Distributed Search in the Semantic Web. [Citation Graph (0, 0)][DBLP]
    Description Logics, 2003, pp:- [Conf]
  18. 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]
  19. Eric I. Hsu, Deborah L. McGuinness
    Wine Agent: Semantic Web Testbed Application. [Citation Graph (0, 0)][DBLP]
    Description Logics, 2003, pp:- [Conf]
  20. Ian Horrocks, Peter F. Patel-Schneider
    Reducing OWL Entailment to Description Logic Satisfability. [Citation Graph (0, 0)][DBLP]
    Description Logics, 2003, pp:- [Conf]
  21. 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]
  22. Sebastian Brandt
    Implementing Matching in ALE--First Results. [Citation Graph (0, 0)][DBLP]
    Description Logics, 2003, pp:- [Conf]
  23. Sebastian Brandt, Anni-Yasmin Turhan
    Computing Least Common Subsumers for FLE+. [Citation Graph (0, 0)][DBLP]
    Description Logics, 2003, pp:- [Conf]
  24. 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]
  25. Bo Hu, Nigel Shadbolt
    Visualising a DL Knowledge Base with DeLogViz. [Citation Graph (0, 0)][DBLP]
    Description Logics, 2003, pp:- [Conf]
  26. 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]
  27. David DeHaan, David Toman, Grant E. Weddell
    Rewriting Aggregate Queries using Description Logic. [Citation Graph (0, 0)][DBLP]
    Description Logics, 2003, pp:- [Conf]
  28. Lei Li, Ian Horrocks
    Matchmarking Using an Instance Store: Some Preliminary Results. [Citation Graph (0, 0)][DBLP]
    Description Logics, 2003, pp:- [Conf]
  29. Francesca A. Lisi
    Data Minig in Hybrid Languages vis ILP. [Citation Graph (0, 0)][DBLP]
    Description Logics, 2003, pp:- [Conf]
  30. Shinyoung Lim
    Status Report on Description Logics related Project in Korea. [Citation Graph (0, 0)][DBLP]
    Description Logics, 2003, pp:- [Conf]
  31. Sean Bechhofer, Ralf Möller, Peter Crowther
    The DIG Description Logic Interface. [Citation Graph (0, 0)][DBLP]
    Description Logics, 2003, pp:- [Conf]
  32. 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]
  33. 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]
  34. 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]
  35. 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]
  36. Volker Haarslev, Ralf Möller
    Incremental Query Answering for Implementing Document Retrieval Services. [Citation Graph (0, 0)][DBLP]
    Description Logics, 2003, pp:- [Conf]
  37. Jan Hladik
    Reasoning about Nominals with FaCT and RACER. [Citation Graph (0, 0)][DBLP]
    Description Logics, 2003, pp:- [Conf]
  38. Dmitry Tsarkov, Ian Horrocks
    DL Reasoner vs. First-Order Prover. [Citation Graph (0, 0)][DBLP]
    Description Logics, 2003, pp:- [Conf]
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002