Update README.md

README.md

@@ -1,2 +1,51 @@
-# contrastive_explanations
-Adding java based abduction reasoning methodology code
+# README: contrastive_explanations with Pellet Reasoner
+## Overview
+This program uses abduction reasoning with OWL ontologies to explain why an individual satisfies a query and identifies missing axioms needed for another individual to satisfy the same query. The process leverages the **Pellet reasoner** for ontology reasoning and explanation generation.
+
+## Features
+1. **Ontology Loading:** Reads an OWL ontology file for reasoning.
+2. **Query Parsing:** Supports parsing OWL class expressions with logical operators (`and`, `or`, `not`, `some`, `only`, `exactly`).
+3. **Explanation Generation:** Provides explanations for why an individual satisfies a class expression query.
+4. **Abduction Reasoning:** Identifies and outputs missing axioms for another individual to meet the query.
+
+## Input File Format
+- **Ontology Path:** Specifies the local path to the OWL ontology file.
+- **Namespace:** Defines the namespace IRI for ontology terms.
+- **Query:** Contains the OWL class expression to reason over.
+- **Individuals:**
+  - **`individual_with_explanation`:** Individual that satisfies the query.
+  - **`individual_without_explanation`:** Individual for which missing axioms are computed.
+
+### Example Input File
+```
+ontology=/path/to/ontology.owl
+namespace=http://example.org/ontology#
+query=(ClassA and (propertyA some ClassB))
+individual_with_explanation=Individual1
+individual_without_explanation=Individual2
+```
+
+## How to Use
+1. **Prepare the Input File:** Ensure the file is formatted as shown above.
+2. **Run the Program:**
+   - Compile the program using required dependencies.
+   - Execute the program and provide the input file path when prompted.
+3. **View the Output:**
+   - Query results and explanations for the selected individual.
+   - Missing axioms required for the second individual.
+
+## Output Details
+- **Query:** The parsed class expression for reasoning.
+- **Explanations:** A list of shared axioms that justify why the first individual satisfies the query.
+- **Missing Axioms:** Axioms needed for the second individual to satisfy the query.
+- **Execution Time:** Time taken for reasoning and explanation generation.
+
+## Requirements
+- **Java 8 or Higher**
+- **Pellet Reasoner Library**
+- **OWLAPI v3.5 or Higher**
+- An ontology file in OWL format.
+
+## Notes
+- The ontology must include the individuals specified in the input file.
+- Ensure all required libraries are included in the classpath during compilation and execution.