Skip to content
View dcarralma's full-sized avatar
1 follower · 0 following

Achievements

Achievement: Pull Shark

Achievements

Achievement: Pull Shark

Block or report dcarralma

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse

Popular repositories

  1. ELVlogDeprecated ELVlogDeprecated Public

    Implementation of the very efficient ELVn reasoner ELVLog (ELVn is a Description Logics fragment which loosely corresponds to OWL EL extended with nominal schemas).

    Java

  2. SWRLRulesToOWLAxioms SWRLRulesToOWLAxioms Public

    Implementation of a procedure to transform SWRL rules into equivalent OWL axioms (see more info at the web link).

    Java

  3. OntologyNormalizer OntologyNormalizer Public

    Implementation of a normalization algorithm for OWL ontologies.

    Java

  4. combined-approach-horn_alchoiq combined-approach-horn_alchoiq Public

    the proof of concept implementation of a combined-approach algorithm for Horn-ALCHOIQ fragment, and experiments comparing its performance to Konclude.

    Java

  5. existential-rule-sets-with-equality existential-rule-sets-with-equality Public

    This repo contains the rule sets used in the evaluation of https://iccl.inf.tu-dresden.de/web/Article3057/en

  6. ELVLog ELVLog Public

    Java