We have collection of more than 1 Million open source products ranging from Enterprise product to
small libraries in all platforms. We aggregate information from all open source repositories.
Search and find the best for your needs. Check out projects section.
ELOG is a reasoner for log-linear description logics The theoretical foundations of the reasoner and some experimental results are presented in the paper "Log-Linear Description Logics" (accepted for presentation at IJCAI 2011; download here Bibtex) Installation instructions and user manual for ELOGThe following documents describe the necessary steps to make ELOG work: Installation instructions: InstallationInstructions User manual for ELOG: Manual Instructions for annotating input ontologies: O
Combinatorial Optimization for Data Integration CODI provides a declarative framework for the alignment of individuals, concepts, and properties of two heterogeneous ontologies. CODI leverages both logical schema information and lexical similarity measures with a well-defined semantics for A-Box and T-Box matching. The alignments are computed by solving corresponding combinatorial optimization problems. For further information read the paper. Installation Instructions The following documents des