Conference Information
DL 2019: International Workshop on Description Logics
http://dl2019.ifi.uio.no/home.htmlSubmission Date: |
2019-03-22 |
Notification Date: |
2019-05-03 |
Conference Date: |
2019-06-18 |
Location: |
Oslo, Norway |
Years: |
32 |
QUALIS: b1 Viewed: 7847 Tracked: 0 Attend: 0
Call For Papers
The DL workshop is the major annual event of the description logic research community. It is the forum at which those interested in description logics, both from academia and industry, meet to discuss ideas, share information and compare experiences. The 32nd edition will be held in Oslo, Norway from June 18th to June 21st, 2019. Workshop Scope We invite contributions on all aspects of description logics, including but not limited to: Foundations of description logics: decidability and complexity of reasoning, expressive power, novel inference problems, inconsistency management, reasoning techniques, and modularity aspects Extensions of description logics: closed-world and nonmonotonic reasoning, epistemic reasoning, temporal and spatial reasoning, procedural knowledge, query answering, reasoning over dynamic information Integration of description logics with other formalisms: object-oriented representation languages, database query languages, constraint-based programming, logic programming, and rule-based systems Applications and use areas of description logics: ontology engineering, ontology languages, databases, ontology-based data access, semi-structured data, graph structured data, linked data, document management, natural language, learning, planning, Semantic Web, cloud computing, conceptual modelling, web services, business processes Systems and tools around description logics: reasoners, software tools for and using description logic reasoning (e.g. ontology editors, database schema design, query optimisation, and data integration tools), implementation and optimisation techniques, benchmarking, evaluation, modelling
Last updated by Dou Sun in 2019-01-12
Related Conferences
Short | Full Name | Submission | Conference |
---|---|---|---|
AIVR | IEEE International Conference on Artificial Intelligence and Virtual Reality | 2020-07-24 | 2020-12-14 |
VECIMS | International Conference on Virtual Environments, Human-Computer Interfaces and Measurement Systems | 2012-04-15 | 2012-07-02 |
iStar | International i* Workshop | 2020-05-15 | 2020-09-01 |
CPM | Annual Symposium on Combinatorial Pattern Matching | 2015-02-02 | 2015-06-28 |
ai4i | IEEE International Conference on Artificial Intelligence for Industries | 2020-07-24 | 2020-09-21 |
COLING | International Conference on Computational Linguistics | 2020-07-01 | 2020-12-08 |
SODA | ACM-SIAM Symposium on Discrete Algorithms | 2020-07-08 | 2021-01-10 |
ICAIF | ACM International Conference on AI in Finance | 2020-05-29 | 2020-10-15 |
AlCoB | International Conference on Algorithms for Computational Biology | 2019-01-12 | 2019-05-28 |
ICCAI | International Conference on Computing and Applied Informatics | 2019-11-08 | 2019-11-26 |
Related Journals
CCF | Full Name | Impact Factor | Publisher | ISSN |
---|---|---|---|---|
International Journal of Systems Science: Operations & Logistics | Taylor & Francis | 2330-2674 | ||
Electronics | 1.764 | MDPI | 2079-9292 | |
Microelectronic Engineering | 1.654 | Elsevier | 0167-9317 | |
b | Computational Linguistics | 0.721 | MIT Press | 0891-2017 |
Telecommunications Policy | 2.000 | Elsevier | 0308-5961 | |
Design Studies | 2.780 | Elsevier | 0142-694X | |
b | IEEE Transaction on Communications | 1.365 | IEEE | 0090-6778 |
Journal of Heuristics | 1.471 | Springer | 1381-1231 | |
c | Connection Science | 0.673 | Taylor & Francis | 0954-0091 |
Combinatorica | 3.165 | Springer | 0209-9683 |
Full Name | Impact Factor | Publisher |
---|---|---|
International Journal of Systems Science: Operations & Logistics | Taylor & Francis | |
Electronics | 1.764 | MDPI |
Microelectronic Engineering | 1.654 | Elsevier |
Computational Linguistics | 0.721 | MIT Press |
Telecommunications Policy | 2.000 | Elsevier |
Design Studies | 2.780 | Elsevier |
IEEE Transaction on Communications | 1.365 | IEEE |
Journal of Heuristics | 1.471 | Springer |
Connection Science | 0.673 | Taylor & Francis |
Combinatorica | 3.165 | Springer |
Recommendation