• 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. • Java 11 or later • Neo4J 4.x or later • Maven or Gradle (for dependency management) - Clone the Repository
git clone https://github.com/jrcalgo/knowleJ.git cd knowleJ - Build the Project
If you're using Maven:
mvn clean install If you're using Gradle:
gradle build - 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' Contributions are welcome! Please read the CONTRIBUTING.md file for details on how to contribute to this project.
This project is licensed under the MIT License - see the LICENSE file for details.
For any questions or feedback, please reach out to jacksonr121@outlook.com.