The SCEAS System
Navigation Menu

Conferences in DBLP

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

  1. Franz Baader, Ulrike Sattler
    Number Restrictions on Complex Roles in Description Logics: A Preliminary Report. [Citation Graph (0, 0)][DBLP]
    Description Logics, 1996, pp:3-14 [Conf]
  2. Alexander Borgida, Deborah L. McGuinness
    Asking Queries about Frames. [Citation Graph (0, 0)][DBLP]
    Description Logics, 1996, pp:15-24 [Conf]
  3. Diego Calvanese
    Finite Model Reasoning in Description Logics. [Citation Graph (0, 0)][DBLP]
    Description Logics, 1996, pp:25-36 [Conf]
  4. Giuseppe De Giacomo, Maurizio Lenzerini
    TBox and ABox Reasoning in Expressive Description Logics. [Citation Graph (0, 0)][DBLP]
    Description Logics, 1996, pp:37-48 [Conf]
  5. Fausto Giunchiglia, Roberto Sebastiani
    An SAT-based Decision Procedure for ALC. [Citation Graph (0, 0)][DBLP]
    Description Logics, 1996, pp:49-59 [Conf]
  6. Nestor Rychtyckyj
    DLMS: An Evaluation of KL-ONE in the Automobile Industry. [Citation Graph (0, 0)][DBLP]
    Description Logics, 1996, pp:60-69 [Conf]
  7. Alessandro Artale, Enrico Franconi, Nicola Guarino
    Open Problems with Part-Whole Relations. [Citation Graph (0, 0)][DBLP]
    Description Logics, 1996, pp:70-73 [Conf]
  8. Franz Baader, Ulrike Sattler
    Knowledge Representation in Process Engineering. [Citation Graph (0, 0)][DBLP]
    Description Logics, 1996, pp:74-78 [Conf]
  9. Catriel Beeri, Alon Y. Levy, Marie-Christine Rousset
    Switching Terminologies - Creating a New View of An Old World: Preliminary Report. [Citation Graph (0, 0)][DBLP]
    Description Logics, 1996, pp:79-83 [Conf]
  10. Jesús Bermúdez, Arantza Illarramendi, José Miguel Blanco, Alfredo Goñi
    Incorporating New Languages into DL Systems. [Citation Graph (0, 0)][DBLP]
    Description Logics, 1996, pp:84-86 [Conf]
  11. Alexander Borgida, Charles L. Isbell, Deborah L. McGuinness
    Reasoning with Black Boxes: Handling Test Concepts in CLASSIC. [Citation Graph (0, 0)][DBLP]
    Description Logics, 1996, pp:87-91 [Conf]
  12. Daniel J. Buehrer, Yi-Huang Liu, Ting-Yue Hong, Jeng-Jong Jou
    Class Algebra as a Description Logic. [Citation Graph (0, 0)][DBLP]
    Description Logics, 1996, pp:92-96 [Conf]
  13. Marco Cadoli, Luigi Palopoli, Maurizio Lenzerini
    Datalog and Description Logics: Expressive Power - Preliminary Report. [Citation Graph (0, 0)][DBLP]
    Description Logics, 1996, pp:97-101 [Conf]
  14. Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini
    Representing SGML Documents in Description Logics. [Citation Graph (0, 0)][DBLP]
    Description Logics, 1996, pp:102-106 [Conf]
  15. Giuseppe De Giacomo, Francesco M. Donini, Fabio Massacci
    Exptime Tableaux for ALC. [Citation Graph (0, 0)][DBLP]
    Description Logics, 1996, pp:107-110 [Conf]
  16. Quentin Elhaik, Marie-Christine Rousset, Marie-Claude Gaudel
    A Proposal for a Glass-Box Approach for Subsumption Checking. [Citation Graph (0, 0)][DBLP]
    Description Logics, 1996, pp:111-115 [Conf]
  17. Yolanda Gil, Pedro A. González
    Subsumption-Based Matching: Bringing Semantics to Goals. [Citation Graph (0, 0)][DBLP]
    Description Logics, 1996, pp:116-118 [Conf]
  18. Fausto Giunchiglia, Marco Roveri, Roberto Sebastiani
    A New Method for Testing Decision Procedures in Modal and Terminological Logics. [Citation Graph (0, 0)][DBLP]
    Description Logics, 1996, pp:119-123 [Conf]
  19. Volker Haarslev
    Using Description Logic for Reasoning about Diagrammatical Notations. [Citation Graph (0, 0)][DBLP]
    Description Logics, 1996, pp:124-128 [Conf]
  20. Makoto Haraguchi
    Towards a Legal Reasoning System based on Description Logics: A Position Paper. [Citation Graph (0, 0)][DBLP]
    Description Logics, 1996, pp:129-131 [Conf]
  21. Ian Horrocks, Alan L. Rector
    Using a Description Logic with Concept Inclusions. [Citation Graph (0, 0)][DBLP]
    Description Logics, 1996, pp:132-135 [Conf]
  22. Gerd Kamp, Holger Wache
    Using Description Logics for Consistency-based Diagnosis. [Citation Graph (0, 0)][DBLP]
    Description Logics, 1996, pp:136-140 [Conf]
  23. Daniel Kudenko, Haym Hirsh
    Representing Sequences in Description Logics Using Suffix Trees. [Citation Graph (0, 0)][DBLP]
    Description Logics, 1996, pp:141-145 [Conf]
  24. Patrick Lambrix, Lin Padgham
    A Description Logic for Composite Objects for Domain Modeling in an Agent-Oriented Application. [Citation Graph (0, 0)][DBLP]
    Description Logics, 1996, pp:146-149 [Conf]
  25. Ounissa Larab, Aïcha-Nabila Benharkat
    Resolving Semantic Heterogeneity in Databases with a Terminological Model: Correspondence Refinement. [Citation Graph (0, 0)][DBLP]
    Description Logics, 1996, pp:150-154 [Conf]
  26. Mathieu Latourrette, Michel Simonet
    An Approach to Subsumption in a DL with Implication. [Citation Graph (0, 0)][DBLP]
    Description Logics, 1996, pp:155-159 [Conf]
  27. Thorsten Liebig, Dietmar Rösner
    Description Logic as Core Machinery for the Automatic Generation of Multilingual Technical Documents. [Citation Graph (0, 0)][DBLP]
    Description Logics, 1996, pp:160-164 [Conf]
  28. Houria Mihoubi, Ana Simonet, Michel Simonet
    A Translation Scheme for Domain Ontologies Based on Model Ontologies of KBS. [Citation Graph (0, 0)][DBLP]
    Description Logics, 1996, pp:165-169 [Conf]
  29. Ralf Möller
    Object-Oriented Programming Support for CLASSIC. [Citation Graph (0, 0)][DBLP]
    Description Logics, 1996, pp:170-174 [Conf]
  30. Amedeo Napoli
    A Proposal for a Layered Architecture for a Hybrid Object-Based Representation System. [Citation Graph (0, 0)][DBLP]
    Description Logics, 1996, pp:175-181 [Conf]
  31. Jeroen Nijhuis
    The Use of Description Logics in the Condorcet Conceptual Information Retrieval System. [Citation Graph (0, 0)][DBLP]
    Description Logics, 1996, pp:180-181 [Conf]
  32. Frank J. Oles, Eric Mays, Robert A. Weida
    The Algebraic Essence of K-Rep. [Citation Graph (0, 0)][DBLP]
    Description Logics, 1996, pp:182-184 [Conf]
  33. Riccardo Rosati
    On the Semantics of Epistemic Description Logics. [Citation Graph (0, 0)][DBLP]
    Description Logics, 1996, pp:185-188 [Conf]
  34. Piet-Hein Speel
    Can Description Logics Be Used in Real-Life Knowledge-Based Systems? [Citation Graph (0, 0)][DBLP]
    Description Logics, 1996, pp:189-191 [Conf]
  35. Véronique Ventos
    A Deductive Study of the C-CLASSICde Description Logic. [Citation Graph (0, 0)][DBLP]
    Description Logics, 1996, pp:192-196 [Conf]
  36. Robert A. Weida, Eric Mays, Robert Dionne, Meir Laker, Brian White, Chihong Liang, Frank J. Oles
    The K-Rep System Architecture. [Citation Graph (0, 0)][DBLP]
    Description Logics, 1996, pp:197-199 [Conf]
  37. Christopher A. Welty
    An HTML Interface for Classic. [Citation Graph (0, 0)][DBLP]
    Description Logics, 1996, pp:200-202 [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