Search filters

List of works by Rafael Peñaloza

A Decidable Very Expressive Description Logic for Databases

scientific article published at ISWC 2017

A Generic Approach for Large-Scale Ontological Reasoning in the Presence of Access Restrictions to the Ontology's Axioms

scientific article published in ISWC 2009

Automata can show PSpace results for description logics

Automata-Based Axiom Pinpointing

Context-dependent views to axioms and consequences of Semantic Web ontologies

On the Decidability Status of Fuzzy A ℒ C $\mathcal {A}\mathcal {L}\mathcal {C}$ with General Concept Inclusions

SATPin: Axiom Pinpointing for Lightweight Description Logics Through Incremental SAT

scientific article published in 2020

Understanding the complexity of axiom pinpointing in lightweight description logics

scientific article published in 2017

Paulina is supported by:

About Paulina

Help