Learn More
This paper reports on a pragmatic query language for Racer. The abstract syntax and semantics of this query language is defined. Next, the practical relevance of this query language is shown, applying the query answering algorithms to the problem of consistency maintenance between object-oriented design models. 1 Motivation Practical description logic (DL)(More)
The OWLlink interface provides an implementation-neutral mechanism for accessing OWL reasoner functionality. In contrast to its DL-oriented predecessor DIG, OWLlink relies on OWL 2 for the prim-itives of the modelling language, and is thus fully compatible with the forthcoming incarnation of OWL. The OWLlink core introduced in this document covers (i) basic(More)
Practical description logic systems play an ever-growing role for knowledge representation and reasoning research even in distributed environments. In particular, the on-tology layer of the often-discussed semantic web is based on description logics (DLs) and defines important challenges for current system implementations. The article introduces and(More)
We discuss a family of DLs called ALCI RCC which are suitable for qualitative spatial reasoning on various levels of granularity. In contrast to our previous work where we investigated concept satisfiability in the basic description logic ALC in combination with composition–based role inclusion axioms of the form S • T R 1 · · · R n and role disjointness,(More)
Motivated by the growing interconnection between online platforms, we examine the dynamic interplay between social buzz and contribution behavior in the crowdfunding context. Since the utility of crowdfunding projects is usually difficult to ascertain, prospective backers draw on quality signals, such as social buzz and prior-contribution behavior, to make(More)
We summarize the results we obtained on the extensions of ALC with composition-based role inclusion axioms of the form ST v R 1 t tR n. A set of these role axioms is called a role box. The original motivation for this work was to develop a description logic suitable for qualitative spatial reasoning problems. We quickly deene and discuss the DLs ALC RA ,(More)
A description logic (DL) is a knowledge representation formalism which may provide interesting inference services for diverse application areas. This paper first gives an overview of the benefits which a DL may provide for Computer Vision. The main body of the paper presents recent work at Hamburg University on extending DLs to handle spatial reasoning and(More)