Now showing items 1-10 of 39
Conceptual blending in EL++
The cognitive theory of conceptual blending models human creativity as a mental process that combines two mental spaces into a new mental space, called a blend. According to this theory, a blend is constructed by taking ...
The Orchestration Stack: The Impossible Task of Designing Software for Unknown Future Post-CMOS Hardware
Future systems based on post-CMOS technologies will be wildly heterogeneous, with properties largely unknown today. This paper presents our design of a new hardware/software stack to address the challenge of preparing ...
Lean Kernels in Description Logics
Lean kernels (LKs) are an effective optimization for deriving the causes of unsatisfiability of a propositional formula. Interestingly, no analogous notion exists for explaining consequences of description logic (DL) ...
Decidability and Complexity of Fuzzy Description Logics
Fuzzy description logics (FDLs) have been introduced to represent concepts for which membership cannot be determined in a precise way, i.e., where instead of providing a strict border between being a member and not being ...
Answering EL Queries in the Presence of Preferences
Bayesian Description Logics
We present Bayesian Description Logics (BDLs): an extension of Description Logics (DLs) with contextual probabilities encoded in a Bayesian network (BN). Classical DL reasoning tasks are extended to consider also the ...
Fuzzy Ontologies over Lattices with T-norms
PSPACE Automata for Description Logics
Tree automata are often used for satisfiability testing in the area of description logics, which usually yields ExpTime complexity results. We examine conditions under which this result can be improved, and we define two ...
Axiom Pinpointing is Hard
We investigate the complexity of several decision, enumeration and counting problems in axiom pinpointing in Description Logics. We prove hardness results that already hold for the propositional Horn fragment. We show that ...
DeaLing with Ontologies using CODs
A major challenge in knowledge representation is to manage the access to knowledge: users should not be presented with knowledge that is irrelevant to their topic of interest, or have no right to access. Two general ...