dcarralma
I am a postdoctoral scholar at the Knowledge-Based Systems group at TU-Dresden. For more info, check out my webpage below.
TU DresdenDresden, Germany
Pinned Repositories
combined-approach-horn_alchoiq
the proof of concept implementation of a combined-approach algorithm for Horn-ALCHOIQ fragment, and experiments comparing its performance to Konclude.
ELVLog
ELVlogDeprecated
Implementation of the very efficient ELVn reasoner ELVLog (ELVn is a Description Logics fragment which loosely corresponds to OWL EL extended with nominal schemas).
existential-rule-sets-with-equality
This repo contains the rule sets used in the evaluation of https://iccl.inf.tu-dresden.de/web/Article3057/en
OntologyNormalizer
Implementation of a normalization algorithm for OWL ontologies.
SWRLRulesToOWLAxioms
Implementation of a procedure to transform SWRL rules into equivalent OWL axioms (see more info at the web link).
dcarralma's Repositories
dcarralma/combined-approach-horn_alchoiq
the proof of concept implementation of a combined-approach algorithm for Horn-ALCHOIQ fragment, and experiments comparing its performance to Konclude.
dcarralma/ELVLog
dcarralma/ELVlogDeprecated
Implementation of the very efficient ELVn reasoner ELVLog (ELVn is a Description Logics fragment which loosely corresponds to OWL EL extended with nominal schemas).
dcarralma/existential-rule-sets-with-equality
This repo contains the rule sets used in the evaluation of https://iccl.inf.tu-dresden.de/web/Article3057/en
dcarralma/OntologyNormalizer
Implementation of a normalization algorithm for OWL ontologies.
dcarralma/SWRLRulesToOWLAxioms
Implementation of a procedure to transform SWRL rules into equivalent OWL axioms (see more info at the web link).