DL 2014 - 27th International Workshop on Description Logics (DL)
Date2014-07-17 - 2014-07-20
Deadline2014-03-01
VenueVienna, Austria
Keywords
Websitehttps://vsl2014.at/
Topics/Call fo Papers
We invite contributions on all aspects of description logics,such as:
foundations of description logics, including expressive power, decidability and complexity of reasoning, novel inference problems, and reasoning techniques for solving these problems;
extensions of description logics, including, but not limited to, closed-world and nonmonotonic reasoning, defaults, epistemic reasoning, temporal and spatial reasoning, procedural knowledge, and query languages;
integration of description logics with other formalisms, such as object-oriented representation languages, database query languages, constraint-based programming, logic programming, and rule-based systems;
use of description logics in applications or areas such as ontology engineering, ontology languages, databases, semi-structured data, document management, natural language, learning, planning, semantic web, and grid computing;
building systems based on description logics, with special emphasis on optimization and implementation techniques; and
tools that exploit description logic reasoning, such as ontology editors, database schema design, query optimization, and data integration tools.
foundations of description logics, including expressive power, decidability and complexity of reasoning, novel inference problems, and reasoning techniques for solving these problems;
extensions of description logics, including, but not limited to, closed-world and nonmonotonic reasoning, defaults, epistemic reasoning, temporal and spatial reasoning, procedural knowledge, and query languages;
integration of description logics with other formalisms, such as object-oriented representation languages, database query languages, constraint-based programming, logic programming, and rule-based systems;
use of description logics in applications or areas such as ontology engineering, ontology languages, databases, semi-structured data, document management, natural language, learning, planning, semantic web, and grid computing;
building systems based on description logics, with special emphasis on optimization and implementation techniques; and
tools that exploit description logic reasoning, such as ontology editors, database schema design, query optimization, and data integration tools.
Other CFPs
- 14th International Conference on Principles of Knowledge Representation and Reasoning (KR)
- 17th International Conference on Theory and Applications of Satisfiability Testing (SAT)
- 12th International Conference on Typed Lambda Calculi and Applications (TLCA)
- 25th International Conference on Rewriting Techniques and Applications (RTA)
- 23rd EACSL Annual Conference on Computer Science Logic (CSL)
Last modified: 2013-05-19 22:18:44