The SCEAS System
Navigation Menu

Conferences in DBLP

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


  1. Contextualization of a DL Knowledge Base. [Citation Graph (, )][DBLP]


  2. A Well-founded Semantics for Hybrid MKNF Knowledge Bases. [Citation Graph (, )][DBLP]


  3. Adding ABoxes to a Description Logic with Uniqueness Constraints via Path Agreements. [Citation Graph (, )][DBLP]


  4. Practical Conforming Datatype Groups. [Citation Graph (, )][DBLP]


  5. Some Further Thoughts on Expressiveness and Tractability. [Citation Graph (, )][DBLP]


  6. A Constructive Semantics for ALC. [Citation Graph (, )][DBLP]


  7. Data Complexity in the EL family of DLs. [Citation Graph (, )][DBLP]


  8. A Boolean Lattice Based Improved Fuzzy Description Logic in Web Computing. [Citation Graph (, )][DBLP]


  9. Dynamic Description Logic: Embracing Actions into Description Logic. [Citation Graph (, )][DBLP]


  10. Action Based ABox Update: an Example from the Chemical Compound Formulation. [Citation Graph (, )][DBLP]


  11. Planning in Action Formalisms based on DLs: First Results. [Citation Graph (, )][DBLP]


  12. Retrospective on Clio: Schema Mapping and Data Exchange in Practice. [Citation Graph (, )][DBLP]


  13. SEMilarity: Towards a Model-Driven Approach to Similarity. [Citation Graph (, )][DBLP]


  14. Consistent Query Answering over Description Logic Ontologies. [Citation Graph (, )][DBLP]


  15. Approximate Subsumption for Complex Description Logics. [Citation Graph (, )][DBLP]


  16. Automated Evaluation of Description Logic Reasoning Systems. [Citation Graph (, )][DBLP]


  17. Explaining Subsumption and Patching Non-Subsumption with Tableaux Methods. [Citation Graph (, )][DBLP]


  18. Ontology Reuse: Better Safe than Sorry. [Citation Graph (, )][DBLP]


  19. Towards a Foundation for Knowledge Management: Multimedia Interpretation as Abduction. [Citation Graph (, )][DBLP]


  20. OntoVQL: A Graphical Query Language for OWL Ontologies. [Citation Graph (, )][DBLP]


  21. Ontological Modelling for Neurovascular Disease Study: Issues in the Adoption of Description Logic. [Citation Graph (, )][DBLP]


  22. Actions and Programs over Description Logic Ontologies. [Citation Graph (, )][DBLP]


  23. Blocking Automata for PSPACE DLs. [Citation Graph (, )][DBLP]


  24. A Proof Theory for DL-Lite. [Citation Graph (, )][DBLP]


  25. Combining Two Formalism for Reasoning about Concepts. [Citation Graph (, )][DBLP]


  26. Speeding up Approximation with Nicer Concepts. [Citation Graph (, )][DBLP]


  27. A Hypertableau Calculus for SHIQ. [Citation Graph (, )][DBLP]


  28. DL-based Alternating-offers Protocol for Automated Multi-issue Bilateral Negotiation. [Citation Graph (, )][DBLP]


  29. Structural Theory of Science as a Systematic Framework for the Design of DL's and CD's for E-science. [Citation Graph (, )][DBLP]


  30. Model Checking of Restricted CTL* Formulas using ALCK. [Citation Graph (, )][DBLP]


  31. MASTRO-I: Efficient Integration of Relational Data through DL Ontologies. [Citation Graph (, )][DBLP]


  32. Distributed Description Logics Revisited. [Citation Graph (, )][DBLP]


  33. Integrated Distributed Description Logics. [Citation Graph (, )][DBLP]


  34. On Relating Heterogeneous Elements from Different Ontologies. [Citation Graph (, )][DBLP]


  35. Inverse Roles Make Conjunctive Queries Hard. [Citation Graph (, )][DBLP]


  36. Modularity in DL-Lite. [Citation Graph (, )][DBLP]


  37. Induction of Optimal Semi-distances for Individuals based on Feature Sets. [Citation Graph (, )][DBLP]


  38. On Importing Knowledge from DL Ontologies: Some Intuitions and Problems. [Citation Graph (, )][DBLP]


  39. Description Logics in the Calculus of Structures. [Citation Graph (, )][DBLP]


  40. DLMedia: an Ontology Mediated Multimedia Information Retrieval System. [Citation Graph (, )][DBLP]


  41. Expressive Querying over Fuzzy DL-Lite Ontologies. [Citation Graph (, )][DBLP]


  42. Semantic Difference in ALN. [Citation Graph (, )][DBLP]


  43. From Description Logics to Logic Functors, and Back. [Citation Graph (, )][DBLP]


  44. Consequence Finding in ALC. [Citation Graph (, )][DBLP]


  45. Pinpointing in the Description Logic EL. [Citation Graph (, )][DBLP]


  46. An ExpTime Tableau Decision Procedure for ALCQI. [Citation Graph (, )][DBLP]


  47. Prospects for and Issues with Mapping the Object-Role Modeling language into DLRifd. [Citation Graph (, )][DBLP]


  48. Knowledge Representation Meets Databases - a View of the Symbiosys. [Citation Graph (, )][DBLP]


  49. The Minimal Finite Model Visualization as an Ontology Debugging Tool. [Citation Graph (, )][DBLP]


  50. Deciding ALBO with Tableau. [Citation Graph (, )][DBLP]


  51. Description Logic vs. Order-Sorted Feature Logic. [Citation Graph (, )][DBLP]


  52. Optimizing Tableau Reasoning in ALC Extended with Uncertainty. [Citation Graph (, )][DBLP]


  53. Extracting Ontologies from Relational Databases. [Citation Graph (, )][DBLP]


  54. A Possibilistic Extension of Description Logics. [Citation Graph (, )][DBLP]


  55. Integrating Semantic Annotations in Bayesian Causal Models. [Citation Graph (, )][DBLP]


  56. A New Mapping from ALCI to ALC. [Citation Graph (, )][DBLP]


  57. Modal Logic Applied to Query Answering and the Case for Variable Modalities. [Citation Graph (, )][DBLP]


  58. Expressing DL-Lite Ontologies with Controlled English. [Citation Graph (, )][DBLP]


  59. Conjunctive Queries for EL with Composition of Roles. [Citation Graph (, )][DBLP]


  60. Tools for the QuOnto System - Conversion between OWL and DL-Lite with Protégé-OWL Plug-in. [Citation Graph (, )][DBLP]


  61. On Conjunctive Query Answering in EL. [Citation Graph (, )][DBLP]


  62. Paraconsistent Resolution for Four-valued Description Logics. [Citation Graph (, )][DBLP]


  63. Partitioning ABoxes Based on Converting DL to Plain Datalog. [Citation Graph (, )][DBLP]


  64. On Ordering Descriptions in a Description Logic. [Citation Graph (, )][DBLP]


  65. Using Off-the-Shelf Reasoners for Reasoning over Distributed ABoxes. [Citation Graph (, )][DBLP]


  66. Efficient Query Answering Through Approximation. [Citation Graph (, )][DBLP]


  67. DL_clog: A Hybrid System Integrating Rules and Description Logics with Circumscription. [Citation Graph (, )][DBLP]


  68. Exploiting Conjunctive Queries in Description Logic Programs. [Citation Graph (, )][DBLP]


  69. EXPTIME Tableaux for ALC Using Sound Global Caching. [Citation Graph (, )][DBLP]


  70. Conjunctive Query Entailment for SHOQ. [Citation Graph (, )][DBLP]


  71. Modal vs. Propositional Reasoning for model checking with Description Logics. [Citation Graph (, )][DBLP]


  72. Complexity of Reasoning in Entity Relationship Models. [Citation Graph (, )][DBLP]


  73. Measuring Inconsistency for Description Logics Based on Paraconsistent Semantics. [Citation Graph (, )][DBLP]


  74. Exploiting Description Logic Reasoners in Inductive Logic Programming Systems: An Experience within the Semantic Web Area. [Citation Graph (, )][DBLP]


  75. A General Framework for Covering Concepts using Terminologies. [Citation Graph (, )][DBLP]

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