Search
Now showing items 4150 of 51

Towards Instance Query Answering for Concepts Relaxed by Similarity Measures
(IIIACSIC, 2013)In Description Logics (DL) knowledge bases (KBs) information is typically captured by crisp concept descriptions. However, for many practical applications querying the KB by crisp concepts is too restrictive. A controlled ... 
Roledepth Bounded Least Common Subsumers by Completion for EL and ProbELTBoxes
(CEUR, 2010)The least common subsumer (lcs) w.r.t general ELTBoxes does not need to exists in general due to cyclic axioms. In this paper we present an algorithm for computing roledepth bounded ELlcs based on the completion algorithm ... 
Coherence, Similarity, and Concept Generalisation
(CEURWS.org, 2017)We address the problem of analysing the joint coherence of a number of concepts with respect to a background ontology. To address this problem, we explore the applicability of Paul Thagard's computational theory of coherence, ... 
Debugging EL+ Ontologies through Horn MUS Enumeration
(CEURWS.org, 2017)In description logics (DLs), axiom pinpointing refers to the problem of enumerating the minimal subsets of axioms from an ontology that entail a given consequence. Recent developments on axiom pinpointing for the lightweight ... 
Understanding the complexity of axiom pinpointing in lightweight description logics
(2017)Lightweight description logics are knowledge representation formalisms characterised by the low complexity of their standard reasoning tasks. They have been successfully employed for constructing large ontologies that model ... 
Towards Statistical Reasoning in Description Logics over Finite Domains
(Springer, 2017)We present a probabilistic extension of the description logic ALC for reasoning about statistical knowledge. We consider conditional statements over proportions of the domain and are interested in the probabilisticlogical ... 
A Hardware/Software Stack for Heterogeneous Systems
(2018)Plenty of novel emerging technologies are being proposed and evaluated today, mostly at the device and circuit levels. It is unclear what the impact of different new technologies at the system level will be. What is clear, ... 
Two applications of concept refinement
(CEURWS, 2018)We describe two applications of refinement operators that can generalise and specialise concepts expressed in the ALC description logic language. The first application addresses the problem of analysing the joint coherence ... 
Repairing Ontologies via Axiom Weakening
(AAAI press, 2018)Ontology engineering is a hard and errorprone task, in which small changes may lead to errors, or even produce an inconsistent ontology. As ontologies grow in size, the need for automated methods for repairing inconsistencies ... 
ConsequenceBased Axiom Pinpointing
(Springer, 2018)Axiom pinpointing refers to the problem of finding the axioms in an ontology that are relevant for understanding a given entailment or consequence. One approach for axiom pinpointing, known as glassbox, is to modify a ...