Conferences in DBLP

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

1. 
   Checking DL-Lite Modularity with QBF Solvers. [Citation Graph (, )][DBLP]
   
   
2. 
   Paraconsistent Reasoning for Expressive and Tractable Description Logics. [Citation Graph (, )][DBLP]
   
   
3. 
   Logical Difference and Module Extraction with CEX and MEX. [Citation Graph (, )][DBLP]
   
   
4. 
   SRIQ and SROIQ are Harder than SHOIQ. [Citation Graph (, )][DBLP]
   
   
5. 
   ContraBovemRufum: A System for Probabilistic Lexicographic Entailment. [Citation Graph (, )][DBLP]
   
   
6. 
   The Projection Problem for EL Actions. [Citation Graph (, )][DBLP]
   
   
7. 
   Actions over a Constructive Semantics for ALC. [Citation Graph (, )][DBLP]
   
   
8. 
   Planning of Axiom Absorption. [Citation Graph (, )][DBLP]
   
   
9. 
   Using DL to Support a very Large Healthcare Terminology: Successes and Challenges. [Citation Graph (, )][DBLP]
   
   
10. 
    LTL over Description Logic Axioms. [Citation Graph (, )][DBLP]
    
    
11. 
    Towards Higher-Order DL-Lite. [Citation Graph (, )][DBLP]
    
    
12. 
    A Proof-Theoretic Subsumption Reasoner for Hybrid EL-TBoxes. [Citation Graph (, )][DBLP]
    
    
13. 
    Taming the Infinite Chase: Query Answering under Expressive Relational Constraints. [Citation Graph (, )][DBLP]
    
    
14. 
    Consistency Checking for Extended Description Logics. [Citation Graph (, )][DBLP]
    
    
15. 
    Towards Constructive DL for Abstraction and Refinement. [Citation Graph (, )][DBLP]
    
    
16. 
    Automata-based Pinpointing for DLs. [Citation Graph (, )][DBLP]
    
    
17. 
    Explanation in DL-Lite. [Citation Graph (, )][DBLP]
    
    
18. 
    On Ordering and Indexing Metadata for the Semantic Web. [Citation Graph (, )][DBLP]
    
    
19. 
    Visualization of Description Logic Models. [Citation Graph (, )][DBLP]
    
    
20. 
    Essential and Mandatory Part-Whole Relations in Conceptual Data Models. [Citation Graph (, )][DBLP]
    
    
21. 
    Deciding SHOQ^cap Knowledge Base Consistency using Alternating Automata. [Citation Graph (, )][DBLP]
    
    
22. 
    A UML-Based Method for Deciding Finite Satisfiability in Description Logics. [Citation Graph (, )][DBLP]
    
    
23. 
    Decidable Reasoning over Timestamped Conceptual Models. [Citation Graph (, )][DBLP]
    
    
24. 
    Rewriting Rules into SROIQ Axioms. [Citation Graph (, )][DBLP]
    
    
25. 
    The Representation of Structured Objects in DLs using Description Graphs. [Citation Graph (, )][DBLP]
    
    
26. 
    Towards Parallel Classifcation of TBoxes. [Citation Graph (, )][DBLP]
    
    
27. 
    Ontology Refinement through Role Assertion Analysis: Example in Pharmacogenomics. [Citation Graph (, )][DBLP]
    
    
28. 
    Explaining User Errors in Knowledge Base Completion. [Citation Graph (, )][DBLP]
    
    
29. 
    Identifying Objects Over Time with Description Logics. [Citation Graph (, )][DBLP]
    
    
30. 
    Prime Implicate Normal Form for ALC Concepts. [Citation Graph (, )][DBLP]
    
    
31. 
    Subsumption Propagation between Remote Ontologies in Distributed Description Logic. [Citation Graph (, )][DBLP]
    
    
32. 
    Unifying Industry-grade Class-based Conceptual Data Modeling Languages with CMcom. [Citation Graph (, )][DBLP]
    
    
33. 
    The SAT-Tableau Calculus. [Citation Graph (, )][DBLP]
    
    
34. 
    Description Logics-Based Modelling for Precise Information Retrieval. [Citation Graph (, )][DBLP]
    
    
35. 
    Bridging Heterogeneous Representations of Binary Relations: First Results. [Citation Graph (, )][DBLP]
    
    
36. 
    All Elephants are Bigger than All Mice. [Citation Graph (, )][DBLP]
    
    
37. 
    Supporting the Design of Ontologies for Data Access. [Citation Graph (, )][DBLP]
    
    
38. 
    Locality and Subsumption Testing in EL and Some of its Extensions. [Citation Graph (, )][DBLP]
    
    
39. 
    Partitioning OWL Knowledge Bases - Revisited and Revised. [Citation Graph (, )][DBLP]
    
    
40. 
    Safe and Economic Re-Use of Ontologies: A Logic-Based Methodology and Tool Support. [Citation Graph (, )][DBLP]
    
    
41. 
    Next Steps for Description Logics of Minimal Knowledge and Negation as Failure. [Citation Graph (, )][DBLP]
    
    
42. 
    DL-SR: a Lite DL with Expressive Rules: Preliminary Results. [Citation Graph (, )][DBLP]
    
    
43. 
    Mathematical Theory Makes Formal Concept Analysis Versatile. [Citation Graph (, )][DBLP]
    
    
44. 
    Classifying Fuzzy Subsumption in Fuzzy-EL+. [Citation Graph (, )][DBLP]
    
    
45. 
    Realization Problem for Formal Concept Analysis. [Citation Graph (, )][DBLP]
    
    
46. 
    Distributed Resolution for ALC. [Citation Graph (, )][DBLP]
    
    
47. 
    The Revival of Structural Subsumption in Tableau-based Reasoners. [Citation Graph (, )][DBLP]
    
    
48. 
    Optimizing the Nominal Introduction Rule in (Hyper)Tableau Calculi. [Citation Graph (, )][DBLP]
    
    
49. 
    Partial and Informative Common Subsumers of Concepts Collections in Description Logics. [Citation Graph (, )][DBLP]
    
    
50. 
    A Hybrid Tableau Algorithm for ALCQ. [Citation Graph (, )][DBLP]
    
    
51. 
    Two Upper Bounds for Conjunctive Query Answering in SHIQ. [Citation Graph (, )][DBLP]
    
    
52. 
    Fuzzy Description Logics for Bilateral Matchmaking in e-Marketplaces. [Citation Graph (, )][DBLP]
    
    
53. 
    A Kernel Revision Operator for Terminologies. [Citation Graph (, )][DBLP]
    
    
54. 
    Conjunctive Query Answering in SH using Knots. [Citation Graph (, )][DBLP]
    
    
55. 
    XPath: (P)DL on Trees. [Citation Graph (, )][DBLP]
    
    
56. 
    A Survey of Revision Approaches in Description Logics. [Citation Graph (, )][DBLP]