
The Probabilistic Description Logic ℬ𝒜ℒ𝒞
Description logics (DLs) are wellknown knowledge representation formali...
read it

Reasoning with Contextual Knowledge and Influence Diagrams
Influence diagrams (IDs) are wellknown formalisms extending Bayesian ne...
read it

Axiom Pinpointing
Axiom pinpointing refers to the task of finding the specific axioms in a...
read it

Provenance for the Description Logic ELHr
We address the problem of handling provenance information in ELHr ontolo...
read it

Enriching Ontologybased Data Access with Provenance (Extended Version)
Ontologybased data access (OBDA) is a popular paradigm for querying het...
read it

Probabilistic Temporal Logic over Finite Traces (Technical Report)
Temporal logics over finite traces have recently gained attention due to...
read it

Cutting Diamonds: Temporal DLs with Probabilistic Distributions over Data
Recent work has studied a probabilistic extension of the temporal logic ...
read it

Query Answering for Rough EL Ontologies (Extended Technical Report)
Querying large datasets with incomplete and vague data is still a challe...
read it

Repairing Description Logic Ontologies by Weakening Axioms
The classical approach for repairing a Description Logic ontology O in t...
read it

ConsequenceBased Axiom Pinpointing
Axiom pinpointing refers to the problem of finding the axioms in an onto...
read it

Repairing Ontologies via Axiom Weakening
Ontology engineering is a hard and errorprone task, in which small chan...
read it

A Decidable Very Expressive Description Logic for Databases (Extended Version)
We introduce DLR^+, an extension of the nary propositionally closed des...
read it

Towards Statistical Reasoning in Description Logics over Finite Domains (Full Version)
We present a probabilistic extension of the description logic ALC for re...
read it

Probabilistic Reasoning in the Description Logic ALCP with the Principle of Maximum Entropy (Full Version)
A central question for knowledge representation is how to encode and han...
read it

Reasoning in Infinitely Valued GIALCQ
Fuzzy Description Logics (FDLs) are logicbased formalisms used to repre...
read it

Answering Fuzzy Conjunctive Queries over Finitely Valued Fuzzy Ontologies
Fuzzy Description Logics (DLs) provide a means for representing vague kn...
read it
Rafael Penaloza
is this you? claim profile