Ontology 'Litigation_Ontology_1' exported to History.
Ontology Analysis Report
Ontology 'Litigation_Ontology_1' exported to History.
Ontology Information
File:
Litigation_Ontology_1.owl
IRI:
Not available
Ontology Statistics
12
Classes
6
Object Properties
0
Data Properties
0
Individuals
Consistency Check
Consistent
The ontology is logically consistent. No contradictions were found.
Reasoning Methodology
Reasoners Used:
- Pellet
Reasoning Tasks:
- Consistency
- Classification
- Realization
Theoretical Guarantees:
| Property | Status |
|---|---|
| Decidability | Decidable for OWL DL ontologies |
| Completeness | Complete for SROIQ(D) description logic |
| Soundness | Sound for standard description logics |
Limitations:
- May time out on very large ontologies
- OWL Full constructs not supported
- Resolution is limited to standard tableaux algorithm capabilities
Performance:
Reasoning Time: 1704 ms
Start Time: 2025-06-06T20:17:52.944602
End Time: 2025-06-06T20:17:54.649045
Axioms
| Type | Description |
|---|---|
| SubClassOf | LegalEntity ⊑ Thing |
| SubClassOf | LegalRepresentative ⊑ Thing |
| SubClassOf | LegalParty ⊑ Thing |
| SubClassOf | CaseEvidence ⊑ Thing |
| SubClassOf | Trial ⊑ Thing |
| SubClassOf | Evidence ⊑ Thing |
| SubClassOf | JudicialDecision ⊑ Thing |
| SubClassOf | LegalVerdict ⊑ Thing |
| SubClassOf | Courtroom ⊑ Thing |
| SubClassOf | LegalRepresentation ⊑ Thing |
| SubClassOf | Verdict ⊑ Thing |
| SubClassOf | Judge ⊑ Thing |
| Type | Description |
|---|---|
| SubClassOf | LegalEntity ⊑ Thing |
| SubClassOf | LegalRepresentative ⊑ Thing |
| SubClassOf | LegalParty ⊑ Thing |
| SubClassOf | CaseEvidence ⊑ Thing |
| SubClassOf | Trial ⊑ Thing |
| SubClassOf | Evidence ⊑ Thing |
| SubClassOf | JudicialDecision ⊑ Thing |
| SubClassOf | LegalVerdict ⊑ Thing |
| SubClassOf | Courtroom ⊑ Thing |
| SubClassOf | LegalRepresentation ⊑ Thing |
| SubClassOf | Verdict ⊑ Thing |
| SubClassOf | Judge ⊑ Thing |
| Type | Description |
|---|
| Type | Description |
|---|
Inferred Axioms
| Type | Description |
|---|---|
| No inferred axioms available | |
No inferred axioms found.
Derivation Trace
This visualization shows how inferences were derived during reasoning:
No derivation steps are available for this ontology. This could be because:
- No inferences were made during reasoning
- The ontology was analyzed using a method that doesn't track derivations
- The reasoner encountered an error during the inference process
First-Order Logic Premises
The following FOL premises have been generated from the ontology axioms:
| Type | FOL Formula | Description |
|---|---|---|
| class | instance_of(x, LegalEntity, t) |
Entities that are instances of LegalEntity |
| class | instance_of(x, LegalRepresentative, t) |
Entities that are instances of LegalRepresentative |
| class | instance_of(x, LegalParty, t) |
Entities that are instances of LegalParty |
| class | instance_of(x, CaseEvidence, t) |
Entities that are instances of CaseEvidence |
| class | instance_of(x, Trial, t) |
Entities that are instances of Trial |
| class | instance_of(x, Evidence, t) |
Entities that are instances of Evidence |
| class | instance_of(x, JudicialDecision, t) |
Entities that are instances of JudicialDecision |
| class | instance_of(x, LegalVerdict, t) |
Entities that are instances of LegalVerdict |
| class | instance_of(x, Courtroom, t) |
Entities that are instances of Courtroom |
| class | instance_of(x, LegalRepresentation, t) |
Entities that are instances of LegalRepresentation |
| class | instance_of(x, Verdict, t) |
Entities that are instances of Verdict |
| class | instance_of(x, Judge, t) |
Entities that are instances of Judge |
| property | involvesParty(x, y, t) |
Relation involvesParty between entities |
| property | hasVerdict(x, y, t) |
Relation hasVerdict between entities |
| property | isHeldAt(x, y, t) |
Relation isHeldAt between entities |
| property | involvesProcedure(x, y, t) |
Relation involvesProcedure between entities |
| property | isPresidedOverBy(x, y, t) |
Relation isPresidedOverBy between entities |
| property | involvesEvidence(x, y, t) |
Relation involvesEvidence between entities |
Ontology Entities
- LegalParty
- JudicialDecision
- LegalEntity
- LegalRepresentative
- Trial
- Verdict
- LegalVerdict
- CaseEvidence
- Judge
- Courtroom
- Evidence
- LegalRepresentation
- involvesParty
- hasVerdict
- isHeldAt
- involvesProcedure
- isPresidedOverBy
- involvesEvidence
No data properties found.
No individuals found.
Discover Real-World Implications
Generate concrete real-world examples that demonstrate how your ontology's logical rules apply in practical situations.
Using AI, we'll analyze your ontology's First-Order Logic premises and create meaningful scenarios that illustrate the implications of your ontological structures.