knowleJ, a propositional logic knowledge graph library

knowleJ is a Java library for managing knowledge graphs using Neo4J. It is designed to store propositional inference and deduction chains, facilitating the representation, memory, and proof of system processes. The library provides robust methods for inputting, proving, storing, and reusing propositional logic representations.

Features

 •	Propositional Inference and Deduction: Supports storing and manipulating chains of propositional inferences and equivalencies.
 •	Neo4J Integration: Utilizes Neo4J as the backend for efficient storage and querying of knowledge graphs.
 •	Proof Checking: Provides tools for verifying the validity of inference chains and logical equivalencies.
 •	Flexible API: Offers methods for inputting and managing propositional logic representations.

Getting Started

Prerequisites

 •	Java 11 or later
 •	Neo4J 4.x or later
 •	Maven or Gradle (for dependency management)

Installation

1. Clone the Repository

git clone https://github.com/jrcalgo/knowleJ.git
cd knowleJ

2. Build the Project

If you're using Maven:

mvn clean install

If you're using Gradle:

gradle build

3. Add Dependency to Your Project

For Maven:

<dependency>
    <groupId>ai.knowlej</groupId>
    <artifactId>knowleJ</artifactId>
    <version>1.0.0</version>
</dependency>

For Gradle:

implementation 'com.example:knowleJ:1.0.0'

Contributing

Contributions are welcome! Please read the CONTRIBUTING.md file for details on how to contribute to this project.

License

This project is licensed under the MIT License - see the LICENSE file for details.

Contact

For any questions or feedback, please reach out to jacksonr121@outlook.com.