Create your own awesome maps

Even on the go

with our free apps for iPhone, iPad and Android

Get Started

Already have an account?
Log In

State of Reasoning Research in Rudiverse by Mind Map: State of Reasoning Research in
0.0 stars - reviews range from 0 to 5

State of Reasoning Research in Rudiverse

Edit this at:


Where do we actually need reasoning??? Is it really completely useless?

The added value is to small to justify complexity and loss of speed

Reasoning research really not motivated from application areas!

Is the combination of retrieval and reasoning the future?

Do we need completely new kinds of reasoning?

Application Areas

"Case Worker System"

Simply reasoning for materialization in databases

Narrow, specific problems e.g. in Chemistry (*not* web scale)

Concretely: Reasoning in SMW for IT service management

Tensions and tradeoffs

For one application we can create a specific well suited reasoning - but this usually still has to be created

For OWL we have a lot of tooling, but often this does not match to a domain of interest

Language complexity vs. scalability vs. correctness and completeness

Language complexity vs. understandability

Pick your formalism for your problem

which kind of reasoning for which problem / application

Reasoning to support ontology development

non-standard reasoning tasks

Applied Reasoning Research

OWL for image recognition

Reasoning for ontology revision

Research Areas

Stream Reasoning

Inremental Materialization

Analog Reasoning

Abductive Reasoning

Epistemic Reasoning

Temporal Reasoning

Approximate Reasoning for large scale data

Paralell and distributed Computation Techniques for Ontology Reasoning

? CSP also belongs under reasoning and has many application areas (and DL is more general than CSP)

Modularization of Ontologies

Wishes & Ideas & Observations

Collaboration between "traditional" and temporal reasoning people

Linked Data vs. OWL people

How do we bridge this gap?

OWL profiles one way to bridge this gap


Many have doubts but we are not hopeless

We have applications

Business Rules


Ontoprise is still living and apparently thriving

but for some reason we are too far from that?

Spectrum of formalisms and reasoners

Complexity, Understandability, Completeness & Correctness, Scalability

Where are the experts for understanding the application of reasoners to specific problems?

Thinks we want convey:

We need to discuss reasoning for linked data, We will OWL YOU!

Studienarbeit: Application areas for reasoning?

Many Research areas