Pinned Repositories
abox-repairs-wrt-static-tbox
born
Bayesian Ontology Reasoner
evee
Library and Protégé plugin for generating Description Logic explanations
fcalib
FCA library
jcel
Reasoner for the description logic EL+.
jproblog
Java adapter for ProbLog
lat-scala-dl-tools
A collection of utility methods for dealing with OWL/DL constructs in Scala and Java
meteor-proofs
An extension of the MeTeoR DatalogMTL reasoner for proof generation with concrete domains
ontocomp
Protégé plugin for completing OWL ontologies
uel
Tool for finding unifiers in the description logic EL
de-tu-dresden-inf-lat's Repositories
de-tu-dresden-inf-lat/evee
Library and Protégé plugin for generating Description Logic explanations
de-tu-dresden-inf-lat/lat-scala-dl-tools
A collection of utility methods for dealing with OWL/DL constructs in Scala and Java
de-tu-dresden-inf-lat/meteor-proofs
An extension of the MeTeoR DatalogMTL reasoner for proof generation with concrete domains
de-tu-dresden-inf-lat/abox-repairs-wrt-static-tbox
de-tu-dresden-inf-lat/born
Bayesian Ontology Reasoner
de-tu-dresden-inf-lat/cel
A lightweight Description Logic reasoner for large-scale biomedical ontologies
de-tu-dresden-inf-lat/evee-evaluation
Evaluation code for the proof generators of evee
de-tu-dresden-inf-lat/fcalib
FCA library
de-tu-dresden-inf-lat/gel
Generalization algorithms for the description logics EL and extensions.
de-tu-dresden-inf-lat/jcel
Reasoner for the description logic EL+.
de-tu-dresden-inf-lat/jproblog
Java adapter for ProbLog
de-tu-dresden-inf-lat/ontocomp
Protégé plugin for completing OWL ontologies
de-tu-dresden-inf-lat/uel
Tool for finding unifiers in the description logic EL
de-tu-dresden-inf-lat/ontocomplib
Ontology Completion Library
de-tu-dresden-inf-lat/quelk
A prototypical temporal OMQA system