In the last decade a substantial amount of work has been carried out in the context of Description Logics (DLs). DLs are a logical reconstruction of the so-called framebased knowledge representation languages, with the aim of providing a simple wellestablished Tarski-style declarative semantics to capture the meaning of the most popular features of structured representation of knowledge. A main...

To investigate neural processes underlying temporal credit assignment in the striatum, we recorded neuronal activity in the dorsomedial and dorsolateral striatum (DMS and DLS, respectively) of rats performing a dynamic foraging task in which a choice has to be remembered until its outcome is revealed for correct credit assignment. Choice signals appeared sequentially, initially in the DMS and t...

Description Logics (DLs) under Rational Closure (RC) is a well-known framework for non-monotonic reasoning in DLs. In this paper, we address the concept subsumption decisionproblem under RC for nominal safeELO⊥, a notable and practically important DL represen-tative of the OWL 2 profile OWL 2 EL.Our contribution here is to define a polynomial time subsumption procedure for n...

In this contribution we investigate the use of description logics (DLs) for information retrieval in a multiagent scenario. We first describe two advanced DLs and present the relevant reasoning services provided for information retrieval, in particular instance retrieval, instance checking and example-based instance retrieval. Complete and sound algorithms exist for each of these tasks in both ...

With the advent of the Internet came the promise of global information access. In keeping with this promise, Digital Libraries (DLs) began to emerge across the world as a method of providing structured information to their users. These DLs are often created using proprietary monolithic software that is usually difficult to customise and extend. The Open Digital Library (ODL) project was created...

Description Logics (DLs) are gaining more popularity as the foundation of ontology languages for the Semantic Web. On the other hand, uncertainty is a form of deficiency or imperfection commonly found in the real-world information/data. In recent years, there has been an increasing interest in extending the expressive power of DLs to support uncertainty, for which a number of frameworks have be...