Now showing items 1-10 of 52
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 ...
Certain Answers in a Rough World
Upward Refinement Operators for Conceptual Blending in the Description Logic EL++
Conceptual blending is a mental process that serves a variety of cognitive purposes, including human creativity. In this line of thinking, human creativity is modeled as a process that takes different mental spaces as input ...
Mary, What's Like All Cats?
Brave and Cautious Reasoning in EL
Developing and maintaining ontologies is an expensive and error-prone task. After an error is detected, users may have to wait for a long time before a corrected version of the ontology is available. In the meantime, one ...
COBRA, a Demo
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 ...
Correcting Access Restrictions to a Consequence More Flexibly
Recent research has shown that labeling ontologies can be useful for restricting the access to some of the axioms and their implicit consequences. However, the labeling of the axioms is an error-prone and highly sensible ...