Learn 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)
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)
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)
We report about some preliminary issues from the DFG project " Description Logics and Spatial Reasoning " (" DLS " , DFG Grant NE 279/8-1), one of whose goals is to develop a prototypical deductive hybrid Geographic Information System (GIS) with a DL-component. In this paper we discuss the multi-dimensionality of the space of design decisions from a(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)