ResearchBib Share Your Research, Maximize Your Social Impacts
Sign for Notice Everyday Sign up >> Login

DL 2014 - 27th International Workshop on Description Logics (DL)

Date2014-07-17 - 2014-07-20

Deadline2014-03-01

VenueVienna, Austria 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.

Last modified: 2013-05-19 22:18:44