The Projection Problem for EL Actions

Our definition of concept patterns deviate from the one used in the literature with respect to the following features: (i) our definition of concept patterns is more liberal in

A similar situation is found in the plurivaluationistic semantics for other vague predicates besides our example of tall: typically, the class of admissible fuzzy models P can

it relies on tableau expansion rules working together with an integer programming solver (e.g., simplex solver) and comes with a double exponential worst case complexity. However,

In particular, we show how to invert the subs predicate (either subs el or subs aln ), so that not only it can check for the existence of subsumption relations between ground

In order to show the feasibility of such an integrated constructive reasoning ap- proach, we here present a prototype implementation in Logic Programming solving Least Common

In this paper, we describe the Knowledge Organisation Sys- tem Implicit Mapping (KOSIMap) framework, which differs from exist- ing ontology mapping approaches by using description

Starting with a set N con of concept names and a set N role of role names, EL-concept terms are built using the concept constructors top concept (>), conjunction (u), and

There are many differences between argumentative DLs and four-valued DLs as follows: (1) argumentative DLs directly employs the reasoning system of DLs to im- plement