The SCEAS System
Navigation Menu

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]

System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
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 [] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002