The SCEAS System
Navigation Menu

Conferences in DBLP

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

  1. Concept Projection in Algebras for Computing Certain Answer Descriptions. [Citation Graph (, )][DBLP]

  2. An Argumentative Semantics for Paraconsistent Reasoning in Description Logic ALC. [Citation Graph (, )][DBLP]

  3. Quasi-Classical Semantics for Expressive Description Logics. [Citation Graph (, )][DBLP]

  4. A Semantic Algebra for Modularized Description Logics Knowledge Bases. [Citation Graph (, )][DBLP]

  5. Global Caching, Inverse Roles and Fixpoint Logics. [Citation Graph (, )][DBLP]

  6. Consequence-Driven Reasoning for Horn SHIQ Ontologies. [Citation Graph (, )][DBLP]

  7. An Extension of Regularity Conditions for Complex Role Inclusion Axioms. [Citation Graph (, )][DBLP]

  8. Reasoning About Typicality in ALC and EL. [Citation Graph (, )][DBLP]

  9. On Correspondences between Probabilistic First-Order and Description Logics. [Citation Graph (, )][DBLP]

  10. Adding Weight to DL-Lite. [Citation Graph (, )][DBLP]

  11. Fair Cycle Detection using Description Logic Reasoning. [Citation Graph (, )][DBLP]

  12. An Only Knowing Approach to Defeasible Description Logics (Extended Abstract). [Citation Graph (, )][DBLP]

  13. A Matter of Principles: Towards the Largest DLP Possible. [Citation Graph (, )][DBLP]

  14. Reintroducing CEL as an OWL 2 EL Reasoner. [Citation Graph (, )][DBLP]

  15. A Framework for Reasoning with Expressive Continuous Fuzzy Description Logics. [Citation Graph (, )][DBLP]

  16. Building Ontologies Collaboratively Using ContentCVS. [Citation Graph (, )][DBLP]

  17. Belief Contraction in the Description Logic EL. [Citation Graph (, )][DBLP]

  18. OntoComP System Description. [Citation Graph (, )][DBLP]

  19. Exploiting Partial Information in Taxonomy Construction. [Citation Graph (, )][DBLP]

  20. A Comparison of Query Rewriting Techniques for DL-lite. [Citation Graph (, )][DBLP]

  21. Soundness Preserving Approximation for TBox Reasoning in R. [Citation Graph (, )][DBLP]

  22. Importing Ontologies with Hidden Content. [Citation Graph (, )][DBLP]

  23. OWL Reasoning in the Real World: Searching for Godot. [Citation Graph (, )][DBLP]

  24. A Conflict-based Operator for Mapping Revision. [Citation Graph (, )][DBLP]

  25. A Tableaux-based Method for Computing Least Common Subsumers for Expressive Description Logics. [Citation Graph (, )][DBLP]

  26. Algebraic Tableau Algorithm for ALCOQ. [Citation Graph (, )][DBLP]

  27. Axiom Pinpointing is Hard. [Citation Graph (, )][DBLP]

  28. Forgetting and Uniform Interpolation in Extensions of the Description Logic EL. [Citation Graph (, )][DBLP]

  29. Optimizing Reasoning with Qualified Number Restrictions in SHQ. [Citation Graph (, )][DBLP]

  30. Validating Process Refinement with Ontologies. [Citation Graph (, )][DBLP]

  31. Formalizing Multimedia Interpretation based on Abduction over Description Logic Aboxes. [Citation Graph (, )][DBLP]

  32. Explaining by Example: Model Exploration for Ontology Comprehension. [Citation Graph (, )][DBLP]

  33. Lemmas for Justifications in OWL. [Citation Graph (, )][DBLP]

  34. Modelling Object Typicality in Description Logics. [Citation Graph (, )][DBLP]

  35. A System for Retrieving Top-k Candidates to Job Positions. [Citation Graph (, )][DBLP]

  36. DL-Lite without UNA. [Citation Graph (, )][DBLP]

  37. Unification in the Description Logic EL. [Citation Graph (, )][DBLP]

  38. Combined FO Rewritability for Conjunctive Query Answering in DL-Lite. [Citation Graph (, )][DBLP]

  39. Open and Closed World Assumptions in Data Exchange. [Citation Graph (, )][DBLP]

  40. Exponential Speedup in UL Subsumption Checking relative to general TBoxes for the Constructive Semantics. [Citation Graph (, )][DBLP]

  41. Query Answering over DL ABoxes: How to Pick the Relevant Symbols. [Citation Graph (, )][DBLP]

  42. Conjunctive Query Entailment: Decidable in Spite of O, I, and Q. [Citation Graph (, )][DBLP]

  43. A Resolution Based Description Logic Calculus. [Citation Graph (, )][DBLP]

  44. Using Description Logics in Relation Based Access Control. [Citation Graph (, )][DBLP]

  45. Which Kind of Module Should I Extract? [Citation Graph (, )][DBLP]

  46. Reasoning With Weighted Ontologies. [Citation Graph (, )][DBLP]

  47. Model-Based Most Specific Concepts in Some Inexpressive Description Logics. [Citation Graph (, )][DBLP]

  48. A Tableaux-based calculus for Abduction in Expressive Description Logics: Preliminary Results. [Citation Graph (, )][DBLP]

  49. Effective Query Rewriting with Ontologies over DBoxes (Extended Abstract). [Citation Graph (, )][DBLP]

  50. Relativizing Concept Descriptions to Comparison Classes. [Citation Graph (, )][DBLP]

  51. Testing Provers on a Grid - Framework Description. [Citation Graph (, )][DBLP]

  52. Completeness Guaranteed Approximations for OWL-DL Query Answering. [Citation Graph (, )][DBLP]

  53. Filling the Gap between OWL 2 QL and QuOnto: ROWLKit. [Citation Graph (, )][DBLP]

  54. Generalized Closed World Reasoning in Description Logics with Extended Domain Closure. [Citation Graph (, )][DBLP]

  55. Extending DL-Lite Sometime in the Future. [Citation Graph (, )][DBLP]

  56. Revision of DL-Lite Knowledge Bases. [Citation Graph (, )][DBLP]

  57. Terminating Tableaux for SOQ with Number Restrictions on Transitive Roles. [Citation Graph (, )][DBLP]

  58. A Combination of Boolean Games with Description Logics for Automated Multi-Attribute Negotiation. [Citation Graph (, )][DBLP]

  59. What Happened to Bob? Semantic Data Mining of Context Histories. [Citation Graph (, )][DBLP]

  60. On Higher-Order Description Logics. [Citation Graph (, )][DBLP]

  61. Tractable Query Answering over Ontologies with Datalog+/-. [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